From 4b2ff4fbc734b8849b58730a52281938c7d5c7e5 Mon Sep 17 00:00:00 2001
From: Erin van der Veen
Date: Mon, 16 Oct 2017 15:14:00 +0200
Subject: Move assignment1 to own dir; Setup assignment2.tex; Add 4 hypotheses
 of Rivest Shapir

---
 .../assignment2/RivestShapir_counterexamples.txt   | 43 ++++++++++++++++++++++
 1 file changed, 43 insertions(+)
 create mode 100644 assignments/assignment2/RivestShapir_counterexamples.txt

(limited to 'assignments/assignment2/RivestShapir_counterexamples.txt')

diff --git a/assignments/assignment2/RivestShapir_counterexamples.txt b/assignments/assignment2/RivestShapir_counterexamples.txt
new file mode 100644
index 0000000..ef7ae0b
--- /dev/null
+++ b/assignments/assignment2/RivestShapir_counterexamples.txt
@@ -0,0 +1,43 @@
+1508158844825	geckodriver	INFO	Listening on 127.0.0.1:31696
+1508158845131	geckodriver::marionette	INFO	Starting browser /usr/bin/firefox with args ["-marionette"]
+1508158845954	Marionette	INFO	Listening on port 39433
+1508158846041	Marionette	WARN	TLS certificate errors will be ignored for this session
+Oct 16, 2017 3:00:47 PM org.openqa.selenium.remote.ProtocolHandshake createSession
+INFO: Detected dialect: W3C
+model size 1
+0: Mon Oct 16 15:00:47 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 mars
+SUL output: OK OK
+
+testing queries/symbols: 6/7(1/2 this testing round)
+
+model size 2
+1: Mon Oct 16 15:00:55 CEST 2017
+Hypothesis size: 2 states
+learning queries/symbols: 25/46(19/39 this learning round)
+Enter space-separated input sequence to try as a counter-example, or 'stop' to stop learning
+10ct 10ct 5ct snickers
+SUL output: OK OK OK OK
+
+testing queries/symbols: 26/50(1/4 this testing round)
+
+model size 3
+2: Mon Oct 16 15:01:31 CEST 2017
+Hypothesis size: 3 states
+learning queries/symbols: 55/155(29/105 this learning round)
+Enter space-separated input sequence to try as a counter-example, or 'stop' to stop learning
+10ct 10ct 10ct 10ct 5ct
+SUL output: OK OK OK OK NOK
+
+testing queries/symbols: 56/160(1/5 this testing round)
+
+model size 5
+3: Mon Oct 16 15:06:38 CEST 2017
+Hypothesis size: 5 states
+learning queries/symbols: 115/463(59/303 this learning round)
+Enter space-separated input sequence to try as a counter-example, or 'stop' to stop learning
+
+Process finished with exit code 130 (interrupted by signal 2: SIGINT)
-- 
cgit v1.2.3