diff options
| -rw-r--r-- | assignments/assignment2/RivestSchapire_WMethod_full.dot | 72 | ||||
| -rw-r--r-- | assignments/assignment2/RivestSchapire_WPMethod.run.txt | 29 |
2 files changed, 83 insertions, 18 deletions
diff --git a/assignments/assignment2/RivestSchapire_WMethod_full.dot b/assignments/assignment2/RivestSchapire_WMethod_full.dot new file mode 100644 index 0000000..3c119a7 --- /dev/null +++ b/assignments/assignment2/RivestSchapire_WMethod_full.dot @@ -0,0 +1,72 @@ +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"]; + s5 [shape="circle" label="5"]; + s6 [shape="circle" label="6"]; + s7 [shape="circle" label="7"]; + s8 [shape="circle" label="8"]; + s9 [shape="circle" label="9"]; + s10 [shape="circle" label="10"]; + s0 -> s2 [label="5ct / OK"]; + s0 -> s1 [label="10ct / OK"]; + s0 -> s0 [label="mars / NOK"]; + s0 -> s0 [label="snickers / NOK"]; + s0 -> s0 [label="twix / NOK"]; + s1 -> s3 [label="5ct / OK"]; + s1 -> s4 [label="10ct / OK"]; + s1 -> s0 [label="mars / OK"]; + s1 -> s1 [label="snickers / NOK"]; + s1 -> s1 [label="twix / NOK"]; + s2 -> s1 [label="5ct / OK"]; + s2 -> s3 [label="10ct / OK"]; + s2 -> s2 [label="mars / NOK"]; + s2 -> s2 [label="snickers / NOK"]; + s2 -> s2 [label="twix / NOK"]; + s3 -> s4 [label="5ct / OK"]; + s3 -> s7 [label="10ct / OK"]; + s3 -> s2 [label="mars / OK"]; + s3 -> s3 [label="snickers / NOK"]; + s3 -> s0 [label="twix / OK"]; + s4 -> s7 [label="5ct / OK"]; + s4 -> s5 [label="10ct / OK"]; + s4 -> s1 [label="mars / OK"]; + s4 -> s4 [label="snickers / NOK"]; + s4 -> s2 [label="twix / OK"]; + s5 -> s6 [label="5ct / OK"]; + s5 -> s9 [label="10ct / OK"]; + s5 -> s4 [label="mars / OK"]; + s5 -> s2 [label="snickers / OK"]; + s5 -> s3 [label="twix / OK"]; + s6 -> s6 [label="5ct / NOK"]; + s6 -> s6 [label="10ct / NOK"]; + s6 -> s7 [label="mars / OK"]; + s6 -> s1 [label="snickers / OK"]; + s6 -> s4 [label="twix / OK"]; + s7 -> s5 [label="5ct / OK"]; + s7 -> s8 [label="10ct / OK"]; + s7 -> s3 [label="mars / OK"]; + s7 -> s0 [label="snickers / OK"]; + s7 -> s1 [label="twix / OK"]; + s8 -> s9 [label="5ct / OK"]; + s8 -> s10 [label="10ct / OK"]; + s8 -> s7 [label="mars / OK"]; + s8 -> s1 [label="snickers / OK"]; + s8 -> s4 [label="twix / OK"]; + s9 -> s9 [label="5ct / NOK"]; + s9 -> s9 [label="10ct / NOK"]; + s9 -> s5 [label="mars / OK"]; + s9 -> s3 [label="snickers / OK"]; + s9 -> s7 [label="twix / OK"]; + s10 -> s10 [label="5ct / NOK"]; + s10 -> s10 [label="10ct / NOK"]; + s10 -> s8 [label="mars / OK"]; + s10 -> s4 [label="snickers / OK"]; + s10 -> s5 [label="twix / OK"]; + +__start0 -> s0; +} diff --git a/assignments/assignment2/RivestSchapire_WPMethod.run.txt b/assignments/assignment2/RivestSchapire_WPMethod.run.txt index eaa9318..f06aeff 100644 --- a/assignments/assignment2/RivestSchapire_WPMethod.run.txt +++ b/assignments/assignment2/RivestSchapire_WPMethod.run.txt @@ -1,54 +1,47 @@ - -driver INFO Listening on 127.0.0.1:9714 -1508845477746 geckodriver::marionette INFO Starting browser /usr/bin/firefox with args ["-marionette"] -1508845478574 Marionette INFO Listening on port 38809 -1508845478669 Marionette WARN TLS certificate errors will be ignored for this session -Oct 24, 2017 1:44:39 PM org.openqa.selenium.remote.ProtocolHandshake createSession -INFO: Detected dialect: W3C model size 1 -0: Tue Oct 24 13:44:40 CEST 2017 +0: Tue Oct 24 20:50:08 CEST 2017 Hypothesis size: 1 states learning queries/symbols: 5/5(5/5 this learning round) testing queries/symbols: 22/34(17/29 this testing round) model size 2 -1: Tue Oct 24 13:44:44 CEST 2017 +1: Tue Oct 24 20:50:12 CEST 2017 Hypothesis size: 2 states learning queries/symbols: 41/73(19/39 this learning round) testing queries/symbols: 52/101(11/28 this testing round) model size 3 -2: Tue Oct 24 13:44:49 CEST 2017 +2: Tue Oct 24 20:50:20 CEST 2017 Hypothesis size: 3 states learning queries/symbols: 81/188(29/87 this learning round) testing queries/symbols: 177/558(96/370 this testing round) model size 4 -3: Tue Oct 24 13:45:15 CEST 2017 +3: Tue Oct 24 20:50:53 CEST 2017 Hypothesis size: 4 states learning queries/symbols: 217/733(40/175 this learning round) testing queries/symbols: 344/1263(127/530 this testing round) model size 5 -4: Tue Oct 24 13:45:50 CEST 2017 +4: Tue Oct 24 20:51:39 CEST 2017 Hypothesis size: 5 states learning queries/symbols: 394/1475(50/212 this learning round) testing queries/symbols: 532/2022(138/547 this testing round) model size 7 -5: Tue Oct 24 13:46:41 CEST 2017 +5: Tue Oct 24 20:52:45 CEST 2017 Hypothesis size: 7 states learning queries/symbols: 622/2551(90/529 this learning round) testing queries/symbols: 636/2594(14/43 this testing round) model size 8 -6: Tue Oct 24 13:46:59 CEST 2017 +6: Tue Oct 24 20:53:07 CEST 2017 Hypothesis size: 8 states learning queries/symbols: 710/2939(74/345 this learning round) testing queries/symbols: 1513/7096(803/4157 this testing round) model size 9 -7: Tue Oct 24 13:50:40 CEST 2017 +7: Tue Oct 24 20:57:48 CEST 2017 Hypothesis size: 9 states learning queries/symbols: 1598/7587(85/491 this learning round) ************************* @@ -60,16 +53,16 @@ Full stack: testing queries/symbols: 2598/13051(1000/5464 this testing round) model size 10 -8: Tue Oct 24 13:55:58 CEST 2017 +8: Tue Oct 24 21:04:39 CEST 2017 Hypothesis size: 10 states learning queries/symbols: 2694/13676(96/625 this learning round) testing queries/symbols: 3870/20326(1176/6650 this testing round) model size 11 -9: Tue Oct 24 14:03:07 CEST 2017 +9: Tue Oct 24 21:14:05 CEST 2017 Hypothesis size: 11 states learning queries/symbols: 3976/21079(106/753 this learning round) testing queries/symbols: 10566/65428(6590/44349 this testing round) Finished learning! -Learning the complete method took: 4681 seconds. +Done: Tue Oct 24 22:29:24 CEST 2017 |