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)