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