Enabling debug mode...
Starting threads... 0.02s
Learning...
 Block[#]{# satisfying traces, # falsifying traces}
 Block[0]{9, 1991} 123
 Block[1]{12, 1988} 123
 Block[2]{13, 1987} 123
 Block[3]{11, 1989} 123
 Block[4]{16, 1984} 123
 Block[5]{12, 1988} 123
 Block[6]{21, 1979} 123
 Block[7]{14, 1986} 123
 Block[8]{31, 1969} 123
 Block[9]{28, 1972} 123
 Block[10]{32, 1968} 123
 Block[11]{52, 1948} 123
 Block[12]{53, 1947} 123
 Block[13]{70, 1930} 123
 Block[14]{85, 1915} 123
 Block[15]{124, 1876} 123
 Block[16]{129, 1871} 123
 Block[17]{156, 1844} 123
 Block[18]{273, 1727} 123
 Block[19]{284, 1716} 123
 Block[20]{349, 1651} 123
 Block[21]{450, 1550} 123
 Block[22]{506, 1494} 123
 Block[23]{570, 1430} 123
 Block[24]{659, 1341} 123
 Block[25]{772, 1228} 123
 Block[26]{855, 1145} 123
 Block[27]{938, 1062} 123
 Block[28]{1001, 999} 123
 Block[29]{1074, 926} 123
 Block[30]{1126, 874} 123
 Block[31]{1201, 799} 123
 Block[32]{1270, 730} 123
 Block[33]{1337, 663} 123
 Block[34]{1374, 626} 123
 Block[35]{1446, 554} 123
 Block[36]{1490, 510} 123
 Block[37]{1564, 436} 123
 Block[38]{1609, 391} 123
 Block[39]{1581, 419} 123
 Block[40]{1613, 387} 123
 Block[41]{1644, 356} 123
 Block[42]{1688, 312} 123
 Block[43]{1727, 273} 123
 Block[44]{1728, 272} 123
 Block[45]{1758, 242} 123
 Block[46]{1771, 229} 123
 Block[47]{1784, 216} 123
 Block[48]{1810, 190} 123
 Block[49]{1829, 171} 123
 Block[50]{1832, 168} 123
 Block[51]{1821, 179} 123
 Block[52]{1858, 142} 123
 Block[53]{1860, 140} 123
 Block[54]{1885, 115} 123
 Block[55]{1866, 134} 123
 Block[56]{1878, 122} 123
 Block[57]{1906, 94} 123
 Block[58]{1872, 128} 123
 Block[59]{1917, 83} 123
 Block[60]{1906, 94} 123
 Block[61]{1932, 68} 123
 Block[62]{1910, 90} 123
 Block[63]{1922, 78} 123
 Block[64]{1914, 86} 123
 Block[65]{1929, 71} 123
 Block[66]{1921, 79} 123
 Block[67]{1916, 84} 123
 Block[68]{1920, 80} 123
 Block[69]{1918, 82} 123
 Block[70]{1929, 71} 123
 Block[71]{1940, 60} 123
 Block[72]{1930, 70} 123
 Block[73]{1939, 61} 123
 Block[74]{1921, 79} 123
 Block[75]{1921, 79} 123
 Block[76]{1924, 76} 123
 Block[77]{1916, 84} 123
 Block[78]{1941, 59} 123
 Block[79]{1929, 71} 123
 Block[80]{1930, 70} 123
 Block[81]{1932, 68} 123
 Block[82]{1924, 76} 123
 Block[83]{1944, 56} 123
 Block[84]{1942, 58} 123
 Block[85]{1939, 61} 123
 Block[86]{1925, 75} 123
 Block[87]{1944, 56} 123
 Block[88]{1945, 55} 123
 Block[89]{1934, 66} 123
 Block[90]{1930, 70} 123
 Block[91]{1942, 58} 123
 Block[92]{1935, 65} 123
 Block[93]{1925, 75} 123
 Block[94]{1945, 55} 123
 Block[95]{1934, 66} 123
 Block[96]{1938, 62} 123
 Block[97]{1934, 66} 123
 Block[98]{1931, 69} 123
 Block[99]{1932, 68} 123

Learning: 1047.776s, Policy update: 10.305s
Calculating deterministic policy... 12.573s
Starting SMC... 0.16s
Thread profiling information
 - Thread[#]{generating, checking, rewarding}
 - Thread[0]{960.778s, 14.119s, 11.592s}
 - Thread[1]{950.023s, 18.031s, 7.917s}
 - Thread[2]{992.452s, 10.445s, 8.304s}
 - Thread[3]{916.554s, 14.024s, 7.099s}
 - Thread[4]{920.885s, 13.923s, 12.082s}
 - Thread[5]{963.868s, 14.566s, 7.728s}
 - Thread[6]{967.544s, 30.247s, 12.342s}
 - Thread[7]{925.467s, 18.337s, 7.993s}
 - Thread[8]{915.992s, 9.834s, 11.544s}
 - Thread[9]{853.19s, 13.863s, 7.288s}
 - Thread[10]{948.205s, 14.087s, 12.236s}
 - Thread[11]{896.642s, 9.766s, 7.98s}
 - Thread[12]{978.792s, 18.139s, 20.549s}
 - Thread[13]{923.728s, 14.141s, 16.435s}
 - Thread[14]{960.931s, 22.869s, 16.257s}
 - Thread[15]{994.585s, 9.95s, 12.683s}
 - Thread[16]{955.685s, 18.065s, 7.898s}
 - Thread[17]{892.199s, 21.906s, 11.358s}
 - Thread[18]{902.178s, 18.187s, 15.962s}
 - Thread[19]{991.159s, 14.349s, 7.932s}
Stopping threads...
*** Hypothesis Testing Results ***
 - Accepted: ALTERNATIVE hypothesis
 - Bayes Factor of: 1406.8022303767148
 - Number of satisfied traces/total number of traces: 8/8
 - Policy has 2379192 states
 - Total run time: 1060.532s
