Enabling debug mode...
Starting threads... 0.025s
Learning...
 Block[#]{# satisfying traces, # falsifying traces}
 Block[0]{39, 1961} 123
 Block[1]{39, 1961} 123
 Block[2]{38, 1962} 123
 Block[3]{27, 1973} 123
 Block[4]{38, 1962} 123
 Block[5]{46, 1954} 123
 Block[6]{51, 1949} 123
 Block[7]{50, 1950} 123
 Block[8]{51, 1949} 123
 Block[9]{54, 1946} 123
 Block[10]{59, 1941} 123
 Block[11]{76, 1924} 123
 Block[12]{100, 1900} 123
 Block[13]{93, 1907} 123
 Block[14]{133, 1867} 123
 Block[15]{159, 1841} 123
 Block[16]{177, 1823} 123
 Block[17]{241, 1759} 123
 Block[18]{241, 1759} 123
 Block[19]{295, 1705} 123
 Block[20]{340, 1660} 123
 Block[21]{432, 1568} 123
 Block[22]{459, 1541} 123
 Block[23]{533, 1467} 123
 Block[24]{621, 1379} 123
 Block[25]{702, 1298} 123
 Block[26]{761, 1239} 123
 Block[27]{820, 1180} 123
 Block[28]{917, 1083} 123
 Block[29]{991, 1009} 123
 Block[30]{1062, 938} 123
 Block[31]{1125, 875} 123
 Block[32]{1190, 810} 123
 Block[33]{1244, 756} 123
 Block[34]{1301, 699} 123
 Block[35]{1407, 593} 123
 Block[36]{1435, 565} 123
 Block[37]{1472, 528} 123
 Block[38]{1509, 491} 123
 Block[39]{1561, 439} 123
 Block[40]{1618, 382} 123
 Block[41]{1648, 352} 123
 Block[42]{1680, 320} 123
 Block[43]{1664, 336} 123
 Block[44]{1697, 303} 123
 Block[45]{1743, 257} 123
 Block[46]{1747, 253} 123
 Block[47]{1739, 261} 123
 Block[48]{1784, 216} 123
 Block[49]{1805, 195} 123
 Block[50]{1839, 161} 123
 Block[51]{1850, 150} 123
 Block[52]{1842, 158} 123
 Block[53]{1860, 140} 123
 Block[54]{1878, 122} 123
 Block[55]{1854, 146} 123
 Block[56]{1878, 122} 123
 Block[57]{1895, 105} 123
 Block[58]{1899, 101} 123
 Block[59]{1885, 115} 123
 Block[60]{1893, 107} 123
 Block[61]{1895, 105} 123
 Block[62]{1906, 94} 123
 Block[63]{1909, 91} 123
 Block[64]{1928, 72} 123
 Block[65]{1930, 70} 123
 Block[66]{1924, 76} 123
 Block[67]{1917, 83} 123
 Block[68]{1935, 65} 123
 Block[69]{1927, 73} 123
 Block[70]{1931, 69} 123
 Block[71]{1936, 64} 123
 Block[72]{1946, 54} 123
 Block[73]{1931, 69} 123
 Block[74]{1934, 66} 123
 Block[75]{1941, 59} 123
 Block[76]{1935, 65} 123
 Block[77]{1935, 65} 123
 Block[78]{1949, 51} 123
 Block[79]{1965, 35} 123
 Block[80]{1941, 59} 123
 Block[81]{1948, 52} 123
 Block[82]{1952, 48} 123
 Block[83]{1946, 54} 123
 Block[84]{1924, 76} 123
 Block[85]{1953, 47} 123
 Block[86]{1939, 61} 123
 Block[87]{1965, 35} 123
 Block[88]{1955, 45} 123
 Block[89]{1946, 54} 123
 Block[90]{1942, 58} 123
 Block[91]{1943, 57} 123
 Block[92]{1962, 38} 123
 Block[93]{1947, 53} 123
 Block[94]{1942, 58} 123
 Block[95]{1945, 55} 123
 Block[96]{1958, 42} 123
 Block[97]{1941, 59} 123
 Block[98]{1954, 46} 123
 Block[99]{1937, 63} 123

Learning: 211.146s, Policy update: 5.723s
Calculating deterministic policy... 6.909s
Starting SMC... 0.045s
Thread profiling information
 - Thread[#]{generating, checking, rewarding}
 - Thread[0]{180.261s, 5.436s, 4.699s}
 - Thread[1]{169.121s, 5.566s, 4.159s}
 - Thread[2]{150.724s, 5.421s, 3.765s}
 - Thread[3]{177.472s, 5.826s, 4.355s}
 - Thread[4]{181.496s, 5.601s, 4.244s}
 - Thread[5]{172.922s, 5.327s, 4.057s}
 - Thread[6]{164.787s, 5.315s, 4.027s}
 - Thread[7]{166.35s, 5.595s, 3.893s}
 - Thread[8]{189.907s, 5.693s, 4.5s}
 - Thread[9]{170.958s, 5.597s, 4.227s}
 - Thread[10]{164.741s, 5.598s, 4.177s}
 - Thread[11]{167.425s, 5.734s, 4.318s}
 - Thread[12]{191.157s, 5.979s, 4.739s}
 - Thread[13]{163.464s, 5.607s, 4.293s}
 - Thread[14]{183.76s, 5.809s, 4.478s}
 - Thread[15]{183.665s, 5.557s, 4.351s}
 - Thread[16]{184.603s, 6.207s, 4.66s}
 - Thread[17]{158.446s, 5.361s, 4.09s}
 - Thread[18]{179.101s, 5.757s, 4.214s}
 - Thread[19]{187.986s, 5.776s, 4.835s}
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 2463471 states
 - Total run time: 218.131s
