diff options
| author | Erin van der Veen | 2017-10-16 15:34:04 +0200 |
|---|---|---|
| committer | Erin van der Veen | 2017-10-16 15:34:04 +0200 |
| commit | ee8b45aa091a45792bb694e0cf1f46cd81ff8c0f (patch) | |
| tree | 5964c5c9fa3f2a84e7fbe8e1e2dd58c25bf45284 /assignments/assignment2/Twice_counterexamples.txt | |
| parent | Fix typo in Shapir (diff) | |
Add counterexamples and hypotheses of same counterexample twice
Diffstat (limited to 'assignments/assignment2/Twice_counterexamples.txt')
| -rw-r--r-- | assignments/assignment2/Twice_counterexamples.txt | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/assignments/assignment2/Twice_counterexamples.txt b/assignments/assignment2/Twice_counterexamples.txt new file mode 100644 index 0000000..9ba77f1 --- /dev/null +++ b/assignments/assignment2/Twice_counterexamples.txt @@ -0,0 +1,38 @@ +driver INFO Listening on 127.0.0.1:1044 +1508160582696 geckodriver::marionette INFO Starting browser /usr/bin/firefox with args ["-marionette"] +1508160583602 Marionette INFO Listening on port 38035 +1508160583730 Marionette WARN TLS certificate errors will be ignored for this session +Oct 16, 2017 3:29:44 PM org.openqa.selenium.remote.ProtocolHandshake createSession +INFO: Detected dialect: W3C +model size 1 +0: Mon Oct 16 15:29:45 CEST 2017 +Hypothesis size: 1 states +learning queries/symbols: 5/5(5/5 this learning round) +Enter space-separated input sequence to try as a counter-example, or 'stop' to stop learning +10ct 10ct 5ct 10ct 5ct snickers twix 5ct mars +SUL output: OK OK OK OK OK OK OK OK NOK + +testing queries/symbols: 6/14(1/9 this testing round) + +model size 7 +1: Mon Oct 16 15:30:28 CEST 2017 +Hypothesis size: 7 states +learning queries/symbols: 77/424(71/410 this learning round) +Enter space-separated input sequence to try as a counter-example, or 'stop' to stop learning +10ct 10ct 5ct 10ct 5ct snickers twix 5ct mars +SUL output: OK OK OK OK OK OK OK OK NOK + +testing queries/symbols: 78/433(1/9 this testing round) + +model size 8 +2: Mon Oct 16 15:30:42 CEST 2017 +Hypothesis size: 8 states +learning queries/symbols: 135/677(57/244 this learning round) +Enter space-separated input sequence to try as a counter-example, or 'stop' to stop learning +stop +testing queries/symbols: 135/677(0/0 this testing round) + +Finished learning! +Learning the complete method took: 60 seconds. + +Process finished with exit code 0 |