more learned models added and relearned models with new adapter

[tt2015.git] / a4 / tcp / results / learnedModel.partial.RS.wm.384sec.dot

diff --git a/a4/tcp/results/learnedModel.full.LStar.wm.2686sec.dot b/a4/tcp/results/learnedModel.partial.RS.wm.384sec.dot
similarity index 55%
rename from a4/tcp/results/learnedModel.full.LStar.wm.2686sec.dot
rename to a4/tcp/results/learnedModel.partial.RS.wm.384sec.dot
index 2c5e774..65a17e4 100644 (file)
--- a/a4/tcp/results/learnedModel.full.LStar.wm.2686sec.dot
+++ b/a4/tcp/results/learnedModel.partial.RS.wm.384sec.dot
@@ -5,32 +5,18 @@ __start0 [label="" shape="none"];
        s1 [shape="circle" label="1"];
        s2 [shape="circle" label="2"];
        s3 [shape="circle" label="3"];
-       s4 [shape="circle" label="4"];
        s0 -> s1 [label="SYN / SYN-ACK"];
        s0 -> s2 [label="ACK / ERR"];
        s0 -> s2 [label="DAT / ERR"];
-       s0 -> s2 [label="RST / ERR"];
-       s0 -> s2 [label="FIN / ERR"];
        s1 -> s2 [label="SYN / ERR"];
        s1 -> s2 [label="ACK / ERR"];
        s1 -> s3 [label="DAT / ACK"];
-       s1 -> s0 [label="RST / Reset"];
-       s1 -> s4 [label="FIN / ACK"];
        s2 -> s2 [label="SYN / ERR"];
        s2 -> s2 [label="ACK / ERR"];
        s2 -> s2 [label="DAT / ERR"];
-       s2 -> s2 [label="RST / ERR"];
-       s2 -> s2 [label="FIN / ERR"];
        s3 -> s2 [label="SYN / ERR"];
        s3 -> s2 [label="ACK / ERR"];
        s3 -> s3 [label="DAT / DATA"];
-       s3 -> s0 [label="RST / Reset"];
-       s3 -> s4 [label="FIN / ACK"];
-       s4 -> s4 [label="SYN / Closed"];
-       s4 -> s4 [label="ACK / Closed"];
-       s4 -> s4 [label="DAT / Closed"];
-       s4 -> s4 [label="RST / Closed"];
-       s4 -> s4 [label="FIN / Closed"];
 
 __start0 -> s0;
 }