driver	INFO	Listening on 127.0.0.1:9714
1508845477746	geckodriver::marionette	INFO	Starting browser /usr/bin/firefox with args ["-marionette"]
1508845478574	Marionette	INFO	Listening on port 38809
1508845478669	Marionette	WARN	TLS certificate errors will be ignored for this session
Oct 24, 2017 1:44:39 PM org.openqa.selenium.remote.ProtocolHandshake createSession
INFO: Detected dialect: W3C
model size 1
0: Tue Oct 24 13:44:40 CEST 2017
Hypothesis size: 1 states
learning queries/symbols: 5/5(5/5 this learning round)
testing queries/symbols: 22/34(17/29 this testing round)

model size 2
1: Tue Oct 24 13:44:44 CEST 2017
Hypothesis size: 2 states
learning queries/symbols: 41/73(19/39 this learning round)
testing queries/symbols: 52/101(11/28 this testing round)

model size 3
2: Tue Oct 24 13:44:49 CEST 2017
Hypothesis size: 3 states
learning queries/symbols: 81/188(29/87 this learning round)
testing queries/symbols: 177/558(96/370 this testing round)

model size 4
3: Tue Oct 24 13:45:15 CEST 2017
Hypothesis size: 4 states
learning queries/symbols: 217/733(40/175 this learning round)
testing queries/symbols: 344/1263(127/530 this testing round)

model size 5
4: Tue Oct 24 13:45:50 CEST 2017
Hypothesis size: 5 states
learning queries/symbols: 394/1475(50/212 this learning round)
testing queries/symbols: 532/2022(138/547 this testing round)

model size 7
5: Tue Oct 24 13:46:41 CEST 2017
Hypothesis size: 7 states
learning queries/symbols: 622/2551(90/529 this learning round)
testing queries/symbols: 636/2594(14/43 this testing round)

model size 8
6: Tue Oct 24 13:46:59 CEST 2017
Hypothesis size: 8 states
learning queries/symbols: 710/2939(74/345 this learning round)
testing queries/symbols: 1513/7096(803/4157 this testing round)

model size 9
7: Tue Oct 24 13:50:40 CEST 2017
Hypothesis size: 9 states
learning queries/symbols: 1598/7587(85/491 this learning round)
*************************
A coding exception was thrown and uncaught in a Task.

Full message: TypeError: NetworkError when attempting to fetch resource.
Full stack: 
*************************
testing queries/symbols: 2598/13051(1000/5464 this testing round)

model size 10
8: Tue Oct 24 13:55:58 CEST 2017
Hypothesis size: 10 states
learning queries/symbols: 2694/13676(96/625 this learning round)
testing queries/symbols: 3870/20326(1176/6650 this testing round)

model size 11
9: Tue Oct 24 14:03:07 CEST 2017
Hypothesis size: 11 states
learning queries/symbols: 3976/21079(106/753 this learning round)
testing queries/symbols: 10566/65428(6590/44349 this testing round)

Finished learning!
Learning the complete method took: 4681 seconds.