repositories / tt2015.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 6455255)
all uptodate models added
authorcharlie <charlie@gerhardus.com>
Tue, 26 Jan 2016 11:52:07 +0000 (12:52 +0100)
committercharlie <charlie@gerhardus.com>
Tue, 26 Jan 2016 11:52:07 +0000 (12:52 +0100)
21 files changed:
a4/tcp/results/learnedModel.full.LStar.rand.46sec.dot [new file with mode: 0644] patch | blob
a4/tcp/results/learnedModel.full.LStar.wm.2686sec.dot [new file with mode: 0644] patch | blob
a4/tcp/results/learnedModel.full.TTT.rand.26sec.dot [new file with mode: 0644] patch | blob
a4/tcp/results/learnedModel.full.TTT.wm.2673sec.dot [new file with mode: 0644] patch | blob
a4/tcp/results/learnedModel.partial.LStar.rand.18sec.dot [new file with mode: 0644] patch | blob
a4/tcp/results/learnedModel.partial.LStar.wm.388sec.dot [new file with mode: 0644] patch | blob
a4/tcp/results/learnedModel.partial.TTT.rand.16sec.dot [new file with mode: 0644] patch | blob
a4/tcp/results/learnedModel.partial.TTT.wm.391sec.dot [new file with mode: 0644] patch | blob
a4/tcp/results/learnedModel.small.KV.rand.5sec.dot [new file with mode: 0644] patch | blob
a4/tcp/results/learnedModel.small.KV.wm.33sec.dot [new file with mode: 0644] patch | blob
a4/tcp/results/learnedModel.small.KV.wpm.32sec.dot [new file with mode: 0644] patch | blob
a4/tcp/results/learnedModel.small.LStar.rand.8sec.dot [new file with mode: 0644] patch | blob
a4/tcp/results/learnedModel.small.LStar.rand.9sec.dot [new file with mode: 0644] patch | blob
a4/tcp/results/learnedModel.small.LStar.wm.35sec.dot [new file with mode: 0644] patch | blob
a4/tcp/results/learnedModel.small.LStar.wpm.35sec.dot [new file with mode: 0644] patch | blob
a4/tcp/results/learnedModel.small.RS.rand.6sec.dot [new file with mode: 0644] patch | blob
a4/tcp/results/learnedModel.small.RS.wm.33sec.dot [new file with mode: 0644] patch | blob
a4/tcp/results/learnedModel.small.RS.wpm.33sec.dot [new file with mode: 0644] patch | blob
a4/tcp/results/learnedModel.small.TTT.rand.5sec.dot [new file with mode: 0644] patch | blob
a4/tcp/results/learnedModel.small.TTT.wm.33sec.dot [new file with mode: 0644] patch | blob
a4/tcp/results/learnedModel.small.TTT.wpm.33sec.dot [new file with mode: 0644] patch | blob

diff --git a/a4/tcp/results/learnedModel.full.LStar.rand.46sec.dot b/a4/tcp/results/learnedModel.full.LStar.rand.46sec.dot
new file mode 100644 (file)
index 0000000..2c5e774
--- /dev/null
+++ b/a4/tcp/results/learnedModel.full.LStar.rand.46sec.dot
@@ -0,0 +1,36 @@
+digraph g {
+__start0 [label="" shape="none"];
+
+       s0 [shape="circle" label="0"];
+       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;
+}
diff --git a/a4/tcp/results/learnedModel.full.LStar.wm.2686sec.dot b/a4/tcp/results/learnedModel.full.LStar.wm.2686sec.dot
new file mode 100644 (file)
index 0000000..2c5e774
--- /dev/null
+++ b/a4/tcp/results/learnedModel.full.LStar.wm.2686sec.dot
@@ -0,0 +1,36 @@
+digraph g {
+__start0 [label="" shape="none"];
+
+       s0 [shape="circle" label="0"];
+       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;
+}
diff --git a/a4/tcp/results/learnedModel.full.TTT.rand.26sec.dot b/a4/tcp/results/learnedModel.full.TTT.rand.26sec.dot
new file mode 100644 (file)
index 0000000..4557d45
--- /dev/null
+++ b/a4/tcp/results/learnedModel.full.TTT.rand.26sec.dot
@@ -0,0 +1,36 @@
+digraph g {
+__start0 [label="" shape="none"];
+
+       s0 [shape="circle" label="s0"];
+       s1 [shape="circle" label="s1"];
+       s2 [shape="circle" label="s2"];
+       s3 [shape="circle" label="s3"];
+       s4 [shape="circle" label="s4"];
+       s0 -> s2 [label="SYN / SYN-ACK"];
+       s0 -> s1 [label="ACK / ERR"];
+       s0 -> s1 [label="DAT / ERR"];
+       s0 -> s1 [label="RST / ERR"];
+       s0 -> s1 [label="FIN / ERR"];
+       s1 -> s1 [label="SYN / ERR"];
+       s1 -> s1 [label="ACK / ERR"];
+       s1 -> s1 [label="DAT / ERR"];
+       s1 -> s1 [label="RST / ERR"];
+       s1 -> s1 [label="FIN / ERR"];
+       s2 -> s1 [label="SYN / ERR"];
+       s2 -> s1 [label="ACK / ERR"];
+       s2 -> s4 [label="DAT / ACK"];
+       s2 -> s0 [label="RST / Reset"];
+       s2 -> s3 [label="FIN / ACK"];
+       s3 -> s3 [label="SYN / Closed"];
+       s3 -> s3 [label="ACK / Closed"];
+       s3 -> s3 [label="DAT / Closed"];
+       s3 -> s3 [label="RST / Closed"];
+       s3 -> s3 [label="FIN / Closed"];
+       s4 -> s1 [label="SYN / ERR"];
+       s4 -> s1 [label="ACK / ERR"];
+       s4 -> s4 [label="DAT / DATA"];
+       s4 -> s0 [label="RST / Reset"];
+       s4 -> s3 [label="FIN / ACK"];
+
+__start0 -> s0;
+}
diff --git a/a4/tcp/results/learnedModel.full.TTT.wm.2673sec.dot b/a4/tcp/results/learnedModel.full.TTT.wm.2673sec.dot
new file mode 100644 (file)
index 0000000..5db1c7b
--- /dev/null
+++ b/a4/tcp/results/learnedModel.full.TTT.wm.2673sec.dot
@@ -0,0 +1,36 @@
+digraph g {
+__start0 [label="" shape="none"];
+
+       s0 [shape="circle" label="s0"];
+       s1 [shape="circle" label="s1"];
+       s2 [shape="circle" label="s2"];
+       s3 [shape="circle" label="s3"];
+       s4 [shape="circle" label="s4"];
+       s0 -> s1 [label="SYN / SYN-ACK"];
+       s0 -> s3 [label="ACK / ERR"];
+       s0 -> s3 [label="DAT / ERR"];
+       s0 -> s3 [label="RST / ERR"];
+       s0 -> s3 [label="FIN / ERR"];
+       s1 -> s3 [label="SYN / ERR"];
+       s1 -> s3 [label="ACK / ERR"];
+       s1 -> s4 [label="DAT / ACK"];
+       s1 -> s0 [label="RST / Reset"];
+       s1 -> s2 [label="FIN / ACK"];
+       s2 -> s2 [label="SYN / Closed"];
+       s2 -> s2 [label="ACK / Closed"];
+       s2 -> s2 [label="DAT / Closed"];
+       s2 -> s2 [label="RST / Closed"];
+       s2 -> s2 [label="FIN / Closed"];
+       s3 -> s3 [label="SYN / ERR"];
+       s3 -> s3 [label="ACK / ERR"];
+       s3 -> s3 [label="DAT / ERR"];
+       s3 -> s3 [label="RST / ERR"];
+       s3 -> s3 [label="FIN / ERR"];
+       s4 -> s3 [label="SYN / ERR"];
+       s4 -> s3 [label="ACK / ERR"];
+       s4 -> s4 [label="DAT / DATA"];
+       s4 -> s0 [label="RST / Reset"];
+       s4 -> s2 [label="FIN / ACK"];
+
+__start0 -> s0;
+}
diff --git a/a4/tcp/results/learnedModel.partial.LStar.rand.18sec.dot b/a4/tcp/results/learnedModel.partial.LStar.rand.18sec.dot
new file mode 100644 (file)
index 0000000..65a17e4
--- /dev/null
+++ b/a4/tcp/results/learnedModel.partial.LStar.rand.18sec.dot
@@ -0,0 +1,22 @@
+digraph g {
+__start0 [label="" shape="none"];
+
+       s0 [shape="circle" label="0"];
+       s1 [shape="circle" label="1"];
+       s2 [shape="circle" label="2"];
+       s3 [shape="circle" label="3"];
+       s0 -> s1 [label="SYN / SYN-ACK"];
+       s0 -> s2 [label="ACK / ERR"];
+       s0 -> s2 [label="DAT / ERR"];
+       s1 -> s2 [label="SYN / ERR"];
+       s1 -> s2 [label="ACK / ERR"];
+       s1 -> s3 [label="DAT / ACK"];
+       s2 -> s2 [label="SYN / ERR"];
+       s2 -> s2 [label="ACK / ERR"];
+       s2 -> s2 [label="DAT / ERR"];
+       s3 -> s2 [label="SYN / ERR"];
+       s3 -> s2 [label="ACK / ERR"];
+       s3 -> s3 [label="DAT / DATA"];
+
+__start0 -> s0;
+}
diff --git a/a4/tcp/results/learnedModel.partial.LStar.wm.388sec.dot b/a4/tcp/results/learnedModel.partial.LStar.wm.388sec.dot
new file mode 100644 (file)
index 0000000..65a17e4
--- /dev/null
+++ b/a4/tcp/results/learnedModel.partial.LStar.wm.388sec.dot
@@ -0,0 +1,22 @@
+digraph g {
+__start0 [label="" shape="none"];
+
+       s0 [shape="circle" label="0"];
+       s1 [shape="circle" label="1"];
+       s2 [shape="circle" label="2"];
+       s3 [shape="circle" label="3"];
+       s0 -> s1 [label="SYN / SYN-ACK"];
+       s0 -> s2 [label="ACK / ERR"];
+       s0 -> s2 [label="DAT / ERR"];
+       s1 -> s2 [label="SYN / ERR"];
+       s1 -> s2 [label="ACK / ERR"];
+       s1 -> s3 [label="DAT / ACK"];
+       s2 -> s2 [label="SYN / ERR"];
+       s2 -> s2 [label="ACK / ERR"];
+       s2 -> s2 [label="DAT / ERR"];
+       s3 -> s2 [label="SYN / ERR"];
+       s3 -> s2 [label="ACK / ERR"];
+       s3 -> s3 [label="DAT / DATA"];
+
+__start0 -> s0;
+}
diff --git a/a4/tcp/results/learnedModel.partial.TTT.rand.16sec.dot b/a4/tcp/results/learnedModel.partial.TTT.rand.16sec.dot
new file mode 100644 (file)
index 0000000..7387589
--- /dev/null
+++ b/a4/tcp/results/learnedModel.partial.TTT.rand.16sec.dot
@@ -0,0 +1,22 @@
+digraph g {
+__start0 [label="" shape="none"];
+
+       s0 [shape="circle" label="s0"];
+       s1 [shape="circle" label="s1"];
+       s2 [shape="circle" label="s2"];
+       s3 [shape="circle" label="s3"];
+       s0 -> s2 [label="SYN / SYN-ACK"];
+       s0 -> s1 [label="ACK / ERR"];
+       s0 -> s1 [label="DAT / ERR"];
+       s1 -> s1 [label="SYN / ERR"];
+       s1 -> s1 [label="ACK / ERR"];
+       s1 -> s1 [label="DAT / ERR"];
+       s2 -> s1 [label="SYN / ERR"];
+       s2 -> s1 [label="ACK / ERR"];
+       s2 -> s3 [label="DAT / ACK"];
+       s3 -> s1 [label="SYN / ERR"];
+       s3 -> s1 [label="ACK / ERR"];
+       s3 -> s3 [label="DAT / DATA"];
+
+__start0 -> s0;
+}
diff --git a/a4/tcp/results/learnedModel.partial.TTT.wm.391sec.dot b/a4/tcp/results/learnedModel.partial.TTT.wm.391sec.dot
new file mode 100644 (file)
index 0000000..3eab61f
--- /dev/null
+++ b/a4/tcp/results/learnedModel.partial.TTT.wm.391sec.dot
@@ -0,0 +1,22 @@
+digraph g {
+__start0 [label="" shape="none"];
+
+       s0 [shape="circle" label="s0"];
+       s1 [shape="circle" label="s1"];
+       s2 [shape="circle" label="s2"];
+       s3 [shape="circle" label="s3"];
+       s0 -> s1 [label="SYN / SYN-ACK"];
+       s0 -> s2 [label="ACK / ERR"];
+       s0 -> s2 [label="DAT / ERR"];
+       s1 -> s2 [label="SYN / ERR"];
+       s1 -> s2 [label="ACK / ERR"];
+       s1 -> s3 [label="DAT / ACK"];
+       s2 -> s2 [label="SYN / ERR"];
+       s2 -> s2 [label="ACK / ERR"];
+       s2 -> s2 [label="DAT / ERR"];
+       s3 -> s2 [label="SYN / ERR"];
+       s3 -> s2 [label="ACK / ERR"];
+       s3 -> s3 [label="DAT / DATA"];
+
+__start0 -> s0;
+}
diff --git a/a4/tcp/results/learnedModel.small.KV.rand.5sec.dot b/a4/tcp/results/learnedModel.small.KV.rand.5sec.dot
new file mode 100644 (file)
index 0000000..aa691bf
--- /dev/null
+++ b/a4/tcp/results/learnedModel.small.KV.rand.5sec.dot
@@ -0,0 +1,12 @@
+digraph g {
+__start0 [label="" shape="none"];
+
+       s0 [shape="circle" label="0"];
+       s1 [shape="circle" label="1"];
+       s0 -> s1 [label="SYN / SYN-ACK"];
+       s0 -> s1 [label="ACK / ERR"];
+       s1 -> s1 [label="SYN / ERR"];
+       s1 -> s1 [label="ACK / ERR"];
+
+__start0 -> s0;
+}
diff --git a/a4/tcp/results/learnedModel.small.KV.wm.33sec.dot b/a4/tcp/results/learnedModel.small.KV.wm.33sec.dot
new file mode 100644 (file)
index 0000000..aa691bf
--- /dev/null
+++ b/a4/tcp/results/learnedModel.small.KV.wm.33sec.dot
@@ -0,0 +1,12 @@
+digraph g {
+__start0 [label="" shape="none"];
+
+       s0 [shape="circle" label="0"];
+       s1 [shape="circle" label="1"];
+       s0 -> s1 [label="SYN / SYN-ACK"];
+       s0 -> s1 [label="ACK / ERR"];
+       s1 -> s1 [label="SYN / ERR"];
+       s1 -> s1 [label="ACK / ERR"];
+
+__start0 -> s0;
+}
diff --git a/a4/tcp/results/learnedModel.small.KV.wpm.32sec.dot b/a4/tcp/results/learnedModel.small.KV.wpm.32sec.dot
new file mode 100644 (file)
index 0000000..aa691bf
--- /dev/null
+++ b/a4/tcp/results/learnedModel.small.KV.wpm.32sec.dot
@@ -0,0 +1,12 @@
+digraph g {
+__start0 [label="" shape="none"];
+
+       s0 [shape="circle" label="0"];
+       s1 [shape="circle" label="1"];
+       s0 -> s1 [label="SYN / SYN-ACK"];
+       s0 -> s1 [label="ACK / ERR"];
+       s1 -> s1 [label="SYN / ERR"];
+       s1 -> s1 [label="ACK / ERR"];
+
+__start0 -> s0;
+}
diff --git a/a4/tcp/results/learnedModel.small.LStar.rand.8sec.dot b/a4/tcp/results/learnedModel.small.LStar.rand.8sec.dot
new file mode 100644 (file)
index 0000000..aa691bf
--- /dev/null
+++ b/a4/tcp/results/learnedModel.small.LStar.rand.8sec.dot
@@ -0,0 +1,12 @@
+digraph g {
+__start0 [label="" shape="none"];
+
+       s0 [shape="circle" label="0"];
+       s1 [shape="circle" label="1"];
+       s0 -> s1 [label="SYN / SYN-ACK"];
+       s0 -> s1 [label="ACK / ERR"];
+       s1 -> s1 [label="SYN / ERR"];
+       s1 -> s1 [label="ACK / ERR"];
+
+__start0 -> s0;
+}
diff --git a/a4/tcp/results/learnedModel.small.LStar.rand.9sec.dot b/a4/tcp/results/learnedModel.small.LStar.rand.9sec.dot
new file mode 100644 (file)
index 0000000..aa691bf
--- /dev/null
+++ b/a4/tcp/results/learnedModel.small.LStar.rand.9sec.dot
@@ -0,0 +1,12 @@
+digraph g {
+__start0 [label="" shape="none"];
+
+       s0 [shape="circle" label="0"];
+       s1 [shape="circle" label="1"];
+       s0 -> s1 [label="SYN / SYN-ACK"];
+       s0 -> s1 [label="ACK / ERR"];
+       s1 -> s1 [label="SYN / ERR"];
+       s1 -> s1 [label="ACK / ERR"];
+
+__start0 -> s0;
+}
diff --git a/a4/tcp/results/learnedModel.small.LStar.wm.35sec.dot b/a4/tcp/results/learnedModel.small.LStar.wm.35sec.dot
new file mode 100644 (file)
index 0000000..aa691bf
--- /dev/null
+++ b/a4/tcp/results/learnedModel.small.LStar.wm.35sec.dot
@@ -0,0 +1,12 @@
+digraph g {
+__start0 [label="" shape="none"];
+
+       s0 [shape="circle" label="0"];
+       s1 [shape="circle" label="1"];
+       s0 -> s1 [label="SYN / SYN-ACK"];
+       s0 -> s1 [label="ACK / ERR"];
+       s1 -> s1 [label="SYN / ERR"];
+       s1 -> s1 [label="ACK / ERR"];
+
+__start0 -> s0;
+}
diff --git a/a4/tcp/results/learnedModel.small.LStar.wpm.35sec.dot b/a4/tcp/results/learnedModel.small.LStar.wpm.35sec.dot
new file mode 100644 (file)
index 0000000..aa691bf
--- /dev/null
+++ b/a4/tcp/results/learnedModel.small.LStar.wpm.35sec.dot
@@ -0,0 +1,12 @@
+digraph g {
+__start0 [label="" shape="none"];
+
+       s0 [shape="circle" label="0"];
+       s1 [shape="circle" label="1"];
+       s0 -> s1 [label="SYN / SYN-ACK"];
+       s0 -> s1 [label="ACK / ERR"];
+       s1 -> s1 [label="SYN / ERR"];
+       s1 -> s1 [label="ACK / ERR"];
+
+__start0 -> s0;
+}
diff --git a/a4/tcp/results/learnedModel.small.RS.rand.6sec.dot b/a4/tcp/results/learnedModel.small.RS.rand.6sec.dot
new file mode 100644 (file)
index 0000000..aa691bf
--- /dev/null
+++ b/a4/tcp/results/learnedModel.small.RS.rand.6sec.dot
@@ -0,0 +1,12 @@
+digraph g {
+__start0 [label="" shape="none"];
+
+       s0 [shape="circle" label="0"];
+       s1 [shape="circle" label="1"];
+       s0 -> s1 [label="SYN / SYN-ACK"];
+       s0 -> s1 [label="ACK / ERR"];
+       s1 -> s1 [label="SYN / ERR"];
+       s1 -> s1 [label="ACK / ERR"];
+
+__start0 -> s0;
+}
diff --git a/a4/tcp/results/learnedModel.small.RS.wm.33sec.dot b/a4/tcp/results/learnedModel.small.RS.wm.33sec.dot
new file mode 100644 (file)
index 0000000..aa691bf
--- /dev/null
+++ b/a4/tcp/results/learnedModel.small.RS.wm.33sec.dot
@@ -0,0 +1,12 @@
+digraph g {
+__start0 [label="" shape="none"];
+
+       s0 [shape="circle" label="0"];
+       s1 [shape="circle" label="1"];
+       s0 -> s1 [label="SYN / SYN-ACK"];
+       s0 -> s1 [label="ACK / ERR"];
+       s1 -> s1 [label="SYN / ERR"];
+       s1 -> s1 [label="ACK / ERR"];
+
+__start0 -> s0;
+}
diff --git a/a4/tcp/results/learnedModel.small.RS.wpm.33sec.dot b/a4/tcp/results/learnedModel.small.RS.wpm.33sec.dot
new file mode 100644 (file)
index 0000000..aa691bf
--- /dev/null
+++ b/a4/tcp/results/learnedModel.small.RS.wpm.33sec.dot
@@ -0,0 +1,12 @@
+digraph g {
+__start0 [label="" shape="none"];
+
+       s0 [shape="circle" label="0"];
+       s1 [shape="circle" label="1"];
+       s0 -> s1 [label="SYN / SYN-ACK"];
+       s0 -> s1 [label="ACK / ERR"];
+       s1 -> s1 [label="SYN / ERR"];
+       s1 -> s1 [label="ACK / ERR"];
+
+__start0 -> s0;
+}
diff --git a/a4/tcp/results/learnedModel.small.TTT.rand.5sec.dot b/a4/tcp/results/learnedModel.small.TTT.rand.5sec.dot
new file mode 100644 (file)
index 0000000..568e7a2
--- /dev/null
+++ b/a4/tcp/results/learnedModel.small.TTT.rand.5sec.dot
@@ -0,0 +1,12 @@
+digraph g {
+__start0 [label="" shape="none"];
+
+       s0 [shape="circle" label="s0"];
+       s1 [shape="circle" label="s1"];
+       s0 -> s1 [label="SYN / SYN-ACK"];
+       s0 -> s1 [label="ACK / ERR"];
+       s1 -> s1 [label="SYN / ERR"];
+       s1 -> s1 [label="ACK / ERR"];
+
+__start0 -> s0;
+}
diff --git a/a4/tcp/results/learnedModel.small.TTT.wm.33sec.dot b/a4/tcp/results/learnedModel.small.TTT.wm.33sec.dot
new file mode 100644 (file)
index 0000000..568e7a2
--- /dev/null
+++ b/a4/tcp/results/learnedModel.small.TTT.wm.33sec.dot
@@ -0,0 +1,12 @@
+digraph g {
+__start0 [label="" shape="none"];
+
+       s0 [shape="circle" label="s0"];
+       s1 [shape="circle" label="s1"];
+       s0 -> s1 [label="SYN / SYN-ACK"];
+       s0 -> s1 [label="ACK / ERR"];
+       s1 -> s1 [label="SYN / ERR"];
+       s1 -> s1 [label="ACK / ERR"];
+
+__start0 -> s0;
+}
diff --git a/a4/tcp/results/learnedModel.small.TTT.wpm.33sec.dot b/a4/tcp/results/learnedModel.small.TTT.wpm.33sec.dot
new file mode 100644 (file)
index 0000000..568e7a2
--- /dev/null
+++ b/a4/tcp/results/learnedModel.small.TTT.wpm.33sec.dot
@@ -0,0 +1,12 @@
+digraph g {
+__start0 [label="" shape="none"];
+
+       s0 [shape="circle" label="s0"];
+       s1 [shape="circle" label="s1"];
+       s0 -> s1 [label="SYN / SYN-ACK"];
+       s0 -> s1 [label="ACK / ERR"];
+       s1 -> s1 [label="SYN / ERR"];
+       s1 -> s1 [label="ACK / ERR"];
+
+__start0 -> s0;
+}
Unnamed repository; edit this file 'description' to name the repository.