model size 1 0: Mon Oct 23 21:14:23 CEST 2017 Hypothesis size: 1 states learning queries/symbols: 5/5(5/5 this learning round) testing queries/symbols: 20/32(15/27 this testing round) model size 2 1: Mon Oct 23 21:14:28 CEST 2017 Hypothesis size: 2 states learning queries/symbols: 39/71(19/39 this learning round) testing queries/symbols: 41/76(2/5 this testing round) model size 3 2: Mon Oct 23 21:14:34 CEST 2017 Hypothesis size: 3 states learning queries/symbols: 70/163(29/87 this learning round) testing queries/symbols: 150/481(80/318 this testing round) model size 4 3: Mon Oct 23 21:15:03 CEST 2017 Hypothesis size: 4 states learning queries/symbols: 190/656(40/175 this learning round) testing queries/symbols: 299/1124(109/468 this testing round) model size 5 4: Mon Oct 23 21:15:41 CEST 2017 Hypothesis size: 5 states learning queries/symbols: 348/1330(49/206 this learning round) testing queries/symbols: 438/1733(90/403 this testing round) model size 7 5: Mon Oct 23 21:16:34 CEST 2017 Hypothesis size: 7 states learning queries/symbols: 528/2262(90/529 this learning round) testing queries/symbols: 542/2305(14/43 this testing round) model size 8 6: Mon Oct 23 21:16:56 CEST 2017 Hypothesis size: 8 states learning queries/symbols: 616/2650(74/345 this learning round) testing queries/symbols: 1275/6111(659/3461 this testing round) model size 9 7: Mon Oct 23 21:20:41 CEST 2017 Hypothesis size: 9 states learning queries/symbols: 1360/6602(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: 2234/11456(874/4854 this testing round) model size 10 8: Mon Oct 23 21:26:35 CEST 2017 Hypothesis size: 10 states learning queries/symbols: 2329/12072(95/616 this learning round) testing queries/symbols: 3309/17707(980/5635 this testing round) model size 11 9: Mon Oct 23 21:34:20 CEST 2017 Hypothesis size: 11 states learning queries/symbols: 3415/18460(106/753 this learning round) testing queries/symbols: 18535/127060(15120/108600 this testing round) Finished learning! Done: Tue Oct 24 01:26:57 CEST 2017