From b6c8cacadd0d18db3182ee81126e2c585455a325 Mon Sep 17 00:00:00 2001 From: Erin van der Veen Date: Tue, 24 Oct 2017 15:22:09 +0200 Subject: Add Randomwalk and WPMethod full runs --- .../assignment2/RivestSchapire_RandomWalk_full.dot | 66 +++++++++++++++++++ .../assignment2/RivestSchapire_RandomWalk_full.txt | 22 +++++++ .../assignment2/RivestSchapire_WPMethod.run.txt | 75 ++++++++++++++++++++++ .../assignment2/RivestSchapire_WPMethod_full.dot | 72 +++++++++++++++++++++ 4 files changed, 235 insertions(+) create mode 100644 assignments/assignment2/RivestSchapire_RandomWalk_full.dot create mode 100644 assignments/assignment2/RivestSchapire_RandomWalk_full.txt create mode 100644 assignments/assignment2/RivestSchapire_WPMethod.run.txt create mode 100644 assignments/assignment2/RivestSchapire_WPMethod_full.dot diff --git a/assignments/assignment2/RivestSchapire_RandomWalk_full.dot b/assignments/assignment2/RivestSchapire_RandomWalk_full.dot new file mode 100644 index 0000000..b436cd5 --- /dev/null +++ b/assignments/assignment2/RivestSchapire_RandomWalk_full.dot @@ -0,0 +1,66 @@ +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"]; + s0 -> s1 [label="5ct / OK"]; + s0 -> s2 [label="10ct / OK"]; + s0 -> s0 [label="mars / NOK"]; + s0 -> s0 [label="snickers / NOK"]; + s0 -> s0 [label="twix / NOK"]; + s1 -> s2 [label="5ct / OK"]; + s1 -> s3 [label="10ct / OK"]; + s1 -> s1 [label="mars / NOK"]; + s1 -> s1 [label="snickers / NOK"]; + s1 -> s1 [label="twix / NOK"]; + s2 -> s3 [label="5ct / OK"]; + s2 -> s4 [label="10ct / OK"]; + s2 -> s0 [label="mars / OK"]; + s2 -> s2 [label="snickers / NOK"]; + s2 -> s2 [label="twix / NOK"]; + s3 -> s4 [label="5ct / OK"]; + s3 -> s5 [label="10ct / OK"]; + s3 -> s1 [label="mars / OK"]; + s3 -> s3 [label="snickers / NOK"]; + s3 -> s0 [label="twix / OK"]; + s4 -> s5 [label="5ct / OK"]; + s4 -> s6 [label="10ct / OK"]; + s4 -> s2 [label="mars / OK"]; + s4 -> s4 [label="snickers / NOK"]; + s4 -> s1 [label="twix / OK"]; + s5 -> s6 [label="5ct / OK"]; + s5 -> s7 [label="10ct / OK"]; + s5 -> s3 [label="mars / OK"]; + s5 -> s0 [label="snickers / OK"]; + s5 -> s2 [label="twix / OK"]; + s6 -> s7 [label="5ct / OK"]; + s6 -> s8 [label="10ct / OK"]; + s6 -> s4 [label="mars / OK"]; + s6 -> s1 [label="snickers / OK"]; + s6 -> s3 [label="twix / OK"]; + s7 -> s8 [label="5ct / OK"]; + s7 -> s9 [label="10ct / OK"]; + s7 -> s5 [label="mars / OK"]; + s7 -> s2 [label="snickers / OK"]; + s7 -> s4 [label="twix / OK"]; + s8 -> s8 [label="5ct / NOK"]; + s8 -> s8 [label="10ct / NOK"]; + s8 -> s6 [label="mars / OK"]; + s8 -> s3 [label="snickers / OK"]; + s8 -> s5 [label="twix / OK"]; + s9 -> s9 [label="5ct / NOK"]; + s9 -> s9 [label="10ct / NOK"]; + s9 -> s7 [label="mars / OK"]; + s9 -> s4 [label="snickers / OK"]; + s9 -> s6 [label="twix / OK"]; + +__start0 -> s0; +} diff --git a/assignments/assignment2/RivestSchapire_RandomWalk_full.txt b/assignments/assignment2/RivestSchapire_RandomWalk_full.txt new file mode 100644 index 0000000..056baed --- /dev/null +++ b/assignments/assignment2/RivestSchapire_RandomWalk_full.txt @@ -0,0 +1,22 @@ +driver INFO Listening on 127.0.0.1:22679 +1508756642717 geckodriver::marionette INFO Starting browser /usr/bin/firefox with args ["-marionette"] +1508756643545 Marionette INFO Listening on port 43395 +1508756643630 Marionette WARN TLS certificate errors will be ignored for this session +Oct 23, 2017 1:04:04 PM org.openqa.selenium.remote.ProtocolHandshake createSession +INFO: Detected dialect: W3C +model size 1 +0: Mon Oct 23 13:04:05 CEST 2017 +Hypothesis size: 1 states +learning queries/symbols: 5/5(5/5 this learning round) +testing queries/symbols: 6/15(1/10 this testing round) + +model size 10 +1: Mon Oct 23 13:04:37 CEST 2017 +Hypothesis size: 10 states +learning queries/symbols: 107/800(101/785 this learning round) +testing queries/symbols: 136/1100(29/300 this testing round) + +Finished learning! +Learning the complete method took: 43 seconds. + +Process finished with exit code 0 diff --git a/assignments/assignment2/RivestSchapire_WPMethod.run.txt b/assignments/assignment2/RivestSchapire_WPMethod.run.txt new file mode 100644 index 0000000..eaa9318 --- /dev/null +++ b/assignments/assignment2/RivestSchapire_WPMethod.run.txt @@ -0,0 +1,75 @@ + +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 +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 +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 +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 +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 +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 +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 +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 +Hypothesis size: 9 states +learning queries/symbols: 1598/7587(85/491 this learning round) +************************* +A coding exception was thrown and uncaught in a Task. + +Full message: TypeError: NetworkError when attempting to fetch resource. +Full stack: +************************* +testing queries/symbols: 2598/13051(1000/5464 this testing round) + +model size 10 +8: Tue Oct 24 13:55:58 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 +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. diff --git a/assignments/assignment2/RivestSchapire_WPMethod_full.dot b/assignments/assignment2/RivestSchapire_WPMethod_full.dot new file mode 100644 index 0000000..3c119a7 --- /dev/null +++ b/assignments/assignment2/RivestSchapire_WPMethod_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; +} -- cgit v1.2.3