From b6e45be61de16fd45a5e714f57809b0e3f5437da Mon Sep 17 00:00:00 2001 From: charlie Date: Tue, 26 Jan 2016 12:52:07 +0100 Subject: [PATCH] all uptodate models added --- .../learnedModel.full.LStar.rand.46sec.dot | 36 +++++++++++++++++++ .../learnedModel.full.LStar.wm.2686sec.dot | 36 +++++++++++++++++++ .../learnedModel.full.TTT.rand.26sec.dot | 36 +++++++++++++++++++ .../learnedModel.full.TTT.wm.2673sec.dot | 36 +++++++++++++++++++ .../learnedModel.partial.LStar.rand.18sec.dot | 22 ++++++++++++ .../learnedModel.partial.LStar.wm.388sec.dot | 22 ++++++++++++ .../learnedModel.partial.TTT.rand.16sec.dot | 22 ++++++++++++ .../learnedModel.partial.TTT.wm.391sec.dot | 22 ++++++++++++ .../learnedModel.small.KV.rand.5sec.dot | 12 +++++++ .../learnedModel.small.KV.wm.33sec.dot | 12 +++++++ .../learnedModel.small.KV.wpm.32sec.dot | 12 +++++++ .../learnedModel.small.LStar.rand.8sec.dot | 12 +++++++ .../learnedModel.small.LStar.rand.9sec.dot | 12 +++++++ .../learnedModel.small.LStar.wm.35sec.dot | 12 +++++++ .../learnedModel.small.LStar.wpm.35sec.dot | 12 +++++++ .../learnedModel.small.RS.rand.6sec.dot | 12 +++++++ .../learnedModel.small.RS.wm.33sec.dot | 12 +++++++ .../learnedModel.small.RS.wpm.33sec.dot | 12 +++++++ .../learnedModel.small.TTT.rand.5sec.dot | 12 +++++++ .../learnedModel.small.TTT.wm.33sec.dot | 12 +++++++ .../learnedModel.small.TTT.wpm.33sec.dot | 12 +++++++ 21 files changed, 388 insertions(+) create mode 100644 a4/tcp/results/learnedModel.full.LStar.rand.46sec.dot create mode 100644 a4/tcp/results/learnedModel.full.LStar.wm.2686sec.dot create mode 100644 a4/tcp/results/learnedModel.full.TTT.rand.26sec.dot create mode 100644 a4/tcp/results/learnedModel.full.TTT.wm.2673sec.dot create mode 100644 a4/tcp/results/learnedModel.partial.LStar.rand.18sec.dot create mode 100644 a4/tcp/results/learnedModel.partial.LStar.wm.388sec.dot create mode 100644 a4/tcp/results/learnedModel.partial.TTT.rand.16sec.dot create mode 100644 a4/tcp/results/learnedModel.partial.TTT.wm.391sec.dot create mode 100644 a4/tcp/results/learnedModel.small.KV.rand.5sec.dot create mode 100644 a4/tcp/results/learnedModel.small.KV.wm.33sec.dot create mode 100644 a4/tcp/results/learnedModel.small.KV.wpm.32sec.dot create mode 100644 a4/tcp/results/learnedModel.small.LStar.rand.8sec.dot create mode 100644 a4/tcp/results/learnedModel.small.LStar.rand.9sec.dot create mode 100644 a4/tcp/results/learnedModel.small.LStar.wm.35sec.dot create mode 100644 a4/tcp/results/learnedModel.small.LStar.wpm.35sec.dot create mode 100644 a4/tcp/results/learnedModel.small.RS.rand.6sec.dot create mode 100644 a4/tcp/results/learnedModel.small.RS.wm.33sec.dot create mode 100644 a4/tcp/results/learnedModel.small.RS.wpm.33sec.dot create mode 100644 a4/tcp/results/learnedModel.small.TTT.rand.5sec.dot create mode 100644 a4/tcp/results/learnedModel.small.TTT.wm.33sec.dot create mode 100644 a4/tcp/results/learnedModel.small.TTT.wpm.33sec.dot 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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; +} -- 2.20.1