1508159843675	geckodriver	INFO	Listening on 127.0.0.1:28835
1508159844019	geckodriver::marionette	INFO	Starting browser /usr/bin/firefox with args ["-marionette"]
1508159844827	Marionette	INFO	Listening on port 44047
1508159844935	Marionette	WARN	TLS certificate errors will be ignored for this session
Oct 16, 2017 3:17:25 PM org.openqa.selenium.remote.ProtocolHandshake createSession
INFO: Detected dialect: W3C
model size 1
0: Mon Oct 16 15:17:26 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:17:46 CEST 2017
Hypothesis size: 2 states
learning queries/symbols: 20/40(14/33 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: 21/44(1/4 this testing round)

model size 4
2: Mon Oct 16 15:18:41 CEST 2017
Hypothesis size: 4 states
learning queries/symbols: 62/210(41/166 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: 63/215(1/5 this testing round)

model size 6
3: Mon Oct 16 15:19:04 CEST 2017
Hypothesis size: 6 states
learning queries/symbols: 121/530(58/315 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)