model size 1
0: Mon Oct 23 21:12:17 CEST 2017
Hypothesis size: 1 states
learning queries/symbols: 5/5(5/5 this learning round)
testing queries/symbols: 6/15(1/10 this testing round)

model size 10
1: Mon Oct 23 21:12:59 CEST 2017
Hypothesis size: 10 states
learning queries/symbols: 107/800(101/785 this learning round)
testing queries/symbols: 136/1100(29/300 this testing round)

Finished learning!
Done: Mon Oct 23 21:13:13 CEST 2017