argc=5
-M 256
file2=30_select_Case6.66_starter_16_
checking files mod 256 from 0 to 255
case_no=78 label=Case6.66 nb_sol=0 ticks=167520 tps=100 nb_sec=1675
case_no=78 label=Case6.66 nb_sol=0 ticks=177869 tps=100 nb_sec=1778
case_no=78 label=Case6.66 nb_sol=0 ticks=130605 tps=100 nb_sec=1306
case_no=78 label=Case6.66 nb_sol=0 ticks=164739 tps=100 nb_sec=1647
case_no=78 label=Case6.66 nb_sol=0 ticks=132330 tps=100 nb_sec=1323
case_no=78 label=Case6.66 nb_sol=0 ticks=94934 tps=100 nb_sec=949
case_no=78 label=Case6.66 nb_sol=0 ticks=179483 tps=100 nb_sec=1794
case_no=78 label=Case6.66 nb_sol=0 ticks=143004 tps=100 nb_sec=1430
case_no=78 label=Case6.66 nb_sol=0 ticks=167135 tps=100 nb_sec=1671
case_no=78 label=Case6.66 nb_sol=0 ticks=136524 tps=100 nb_sec=1365
case_no=78 label=Case6.66 nb_sol=0 ticks=178568 tps=100 nb_sec=1785
case_no=78 label=Case6.66 nb_sol=0 ticks=177618 tps=100 nb_sec=1776
case_no=78 label=Case6.66 nb_sol=0 ticks=168508 tps=100 nb_sec=1685
case_no=78 label=Case6.66 nb_sol=0 ticks=114959 tps=100 nb_sec=1149
case_no=78 label=Case6.66 nb_sol=0 ticks=178952 tps=100 nb_sec=1789
case_no=78 label=Case6.66 nb_sol=0 ticks=166333 tps=100 nb_sec=1663
case_no=78 label=Case6.66 nb_sol=0 ticks=165110 tps=100 nb_sec=1651
case_no=78 label=Case6.66 nb_sol=0 ticks=186406 tps=100 nb_sec=1864
case_no=78 label=Case6.66 nb_sol=0 ticks=112371 tps=100 nb_sec=1123
case_no=78 label=Case6.66 nb_sol=0 ticks=82403 tps=100 nb_sec=824
case_no=78 label=Case6.66 nb_sol=0 ticks=170761 tps=100 nb_sec=1707
case_no=78 label=Case6.66 nb_sol=0 ticks=191003 tps=100 nb_sec=1910
case_no=78 label=Case6.66 nb_sol=0 ticks=184160 tps=100 nb_sec=1841
case_no=78 label=Case6.66 nb_sol=0 ticks=199936 tps=100 nb_sec=1999
case_no=78 label=Case6.66 nb_sol=0 ticks=151270 tps=100 nb_sec=1512
case_no=78 label=Case6.66 nb_sol=0 ticks=257200 tps=100 nb_sec=2572
case_no=78 label=Case6.66 nb_sol=0 ticks=184422 tps=100 nb_sec=1844
case_no=78 label=Case6.66 nb_sol=0 ticks=91634 tps=100 nb_sec=916
case_no=78 label=Case6.66 nb_sol=0 ticks=153940 tps=100 nb_sec=1539
case_no=78 label=Case6.66 nb_sol=0 ticks=167427 tps=100 nb_sec=1674
case_no=78 label=Case6.66 nb_sol=0 ticks=213372 tps=100 nb_sec=2133
case_no=78 label=Case6.66 nb_sol=0 ticks=190611 tps=100 nb_sec=1906
case_no=78 label=Case6.66 nb_sol=0 ticks=153138 tps=100 nb_sec=1531
case_no=78 label=Case6.66 nb_sol=0 ticks=167657 tps=100 nb_sec=1676
case_no=78 label=Case6.66 nb_sol=0 ticks=141782 tps=100 nb_sec=1417
case_no=78 label=Case6.66 nb_sol=0 ticks=148877 tps=100 nb_sec=1488
case_no=78 label=Case6.66 nb_sol=0 ticks=215290 tps=100 nb_sec=2152
case_no=78 label=Case6.66 nb_sol=0 ticks=185914 tps=100 nb_sec=1859
case_no=78 label=Case6.66 nb_sol=0 ticks=120300 tps=100 nb_sec=1203
case_no=78 label=Case6.66 nb_sol=0 ticks=153827 tps=100 nb_sec=1538
case_no=78 label=Case6.66 nb_sol=0 ticks=156995 tps=100 nb_sec=1569
case_no=78 label=Case6.66 nb_sol=0 ticks=213856 tps=100 nb_sec=2138
case_no=78 label=Case6.66 nb_sol=0 ticks=233970 tps=100 nb_sec=2339
case_no=78 label=Case6.66 nb_sol=0 ticks=167922 tps=100 nb_sec=1679
case_no=78 label=Case6.66 nb_sol=0 ticks=183998 tps=100 nb_sec=1839
case_no=78 label=Case6.66 nb_sol=0 ticks=191265 tps=100 nb_sec=1912
case_no=78 label=Case6.66 nb_sol=0 ticks=169821 tps=100 nb_sec=1698
case_no=78 label=Case6.66 nb_sol=0 ticks=233717 tps=100 nb_sec=2337
case_no=78 label=Case6.66 nb_sol=0 ticks=173629 tps=100 nb_sec=1736
case_no=78 label=Case6.66 nb_sol=0 ticks=149618 tps=100 nb_sec=1496
case_no=78 label=Case6.66 nb_sol=0 ticks=90679 tps=100 nb_sec=906
case_no=78 label=Case6.66 nb_sol=0 ticks=239171 tps=100 nb_sec=2391
case_no=78 label=Case6.66 nb_sol=0 ticks=83354 tps=100 nb_sec=833
case_no=78 label=Case6.66 nb_sol=0 ticks=154413 tps=100 nb_sec=1544
case_no=78 label=Case6.66 nb_sol=0 ticks=92844 tps=100 nb_sec=928
case_no=78 label=Case6.66 nb_sol=0 ticks=169587 tps=100 nb_sec=1695
case_no=78 label=Case6.66 nb_sol=0 ticks=191955 tps=100 nb_sec=1919
case_no=78 label=Case6.66 nb_sol=0 ticks=176201 tps=100 nb_sec=1762
case_no=78 label=Case6.66 nb_sol=0 ticks=156482 tps=100 nb_sec=1564
case_no=78 label=Case6.66 nb_sol=0 ticks=167510 tps=100 nb_sec=1675
case_no=78 label=Case6.66 nb_sol=0 ticks=202976 tps=100 nb_sec=2029
case_no=78 label=Case6.66 nb_sol=0 ticks=108885 tps=100 nb_sec=1088
case_no=78 label=Case6.66 nb_sol=0 ticks=187459 tps=100 nb_sec=1874
case_no=78 label=Case6.66 nb_sol=0 ticks=118119 tps=100 nb_sec=1181
case_no=78 label=Case6.66 nb_sol=0 ticks=120403 tps=100 nb_sec=1204
case_no=78 label=Case6.66 nb_sol=0 ticks=261608 tps=100 nb_sec=2616
case_no=78 label=Case6.66 nb_sol=0 ticks=142537 tps=100 nb_sec=1425
case_no=78 label=Case6.66 nb_sol=0 ticks=137380 tps=100 nb_sec=1373
case_no=78 label=Case6.66 nb_sol=0 ticks=156393 tps=100 nb_sec=1563
case_no=78 label=Case6.66 nb_sol=0 ticks=134258 tps=100 nb_sec=1342
case_no=78 label=Case6.66 nb_sol=0 ticks=81248 tps=100 nb_sec=812
case_no=78 label=Case6.66 nb_sol=0 ticks=215483 tps=100 nb_sec=2154
case_no=78 label=Case6.66 nb_sol=0 ticks=182408 tps=100 nb_sec=1824
case_no=78 label=Case6.66 nb_sol=0 ticks=143252 tps=100 nb_sec=1432
case_no=78 label=Case6.66 nb_sol=0 ticks=86356 tps=100 nb_sec=863
case_no=78 label=Case6.66 nb_sol=0 ticks=206869 tps=100 nb_sec=2068
case_no=78 label=Case6.66 nb_sol=0 ticks=183531 tps=100 nb_sec=1835
case_no=78 label=Case6.66 nb_sol=0 ticks=118739 tps=100 nb_sec=1187
case_no=78 label=Case6.66 nb_sol=0 ticks=296256 tps=100 nb_sec=2962
case_no=78 label=Case6.66 nb_sol=0 ticks=115088 tps=100 nb_sec=1150
case_no=78 label=Case6.66 nb_sol=0 ticks=164810 tps=100 nb_sec=1648
case_no=78 label=Case6.66 nb_sol=0 ticks=205192 tps=100 nb_sec=2051
case_no=78 label=Case6.66 nb_sol=0 ticks=156458 tps=100 nb_sec=1564
case_no=78 label=Case6.66 nb_sol=0 ticks=159527 tps=100 nb_sec=1595
case_no=78 label=Case6.66 nb_sol=0 ticks=175989 tps=100 nb_sec=1759
case_no=78 label=Case6.66 nb_sol=0 ticks=179312 tps=100 nb_sec=1793
case_no=78 label=Case6.66 nb_sol=0 ticks=186909 tps=100 nb_sec=1869
case_no=78 label=Case6.66 nb_sol=0 ticks=277868 tps=100 nb_sec=2778
case_no=78 label=Case6.66 nb_sol=0 ticks=161943 tps=100 nb_sec=1619
case_no=78 label=Case6.66 nb_sol=0 ticks=150329 tps=100 nb_sec=1503
case_no=78 label=Case6.66 nb_sol=0 ticks=187786 tps=100 nb_sec=1877
case_no=78 label=Case6.66 nb_sol=0 ticks=291834 tps=100 nb_sec=2918
case_no=78 label=Case6.66 nb_sol=0 ticks=169544 tps=100 nb_sec=1695
case_no=78 label=Case6.66 nb_sol=0 ticks=122567 tps=100 nb_sec=1225
case_no=78 label=Case6.66 nb_sol=0 ticks=155983 tps=100 nb_sec=1559
case_no=78 label=Case6.66 nb_sol=0 ticks=161289 tps=100 nb_sec=1612
case_no=78 label=Case6.66 nb_sol=0 ticks=251216 tps=100 nb_sec=2512
case_no=78 label=Case6.66 nb_sol=0 ticks=168369 tps=100 nb_sec=1683
case_no=78 label=Case6.66 nb_sol=0 ticks=91409 tps=100 nb_sec=914
case_no=78 label=Case6.66 nb_sol=0 ticks=154466 tps=100 nb_sec=1544
case_no=78 label=Case6.66 nb_sol=0 ticks=252503 tps=100 nb_sec=2525
case_no=78 label=Case6.66 nb_sol=0 ticks=155002 tps=100 nb_sec=1550
case_no=78 label=Case6.66 nb_sol=0 ticks=105408 tps=100 nb_sec=1054
case_no=78 label=Case6.66 nb_sol=0 ticks=159926 tps=100 nb_sec=1599
case_no=78 label=Case6.66 nb_sol=0 ticks=148140 tps=100 nb_sec=1481
case_no=78 label=Case6.66 nb_sol=0 ticks=225241 tps=100 nb_sec=2252
case_no=78 label=Case6.66 nb_sol=0 ticks=174695 tps=100 nb_sec=1746
case_no=78 label=Case6.66 nb_sol=0 ticks=281176 tps=100 nb_sec=2811
case_no=78 label=Case6.66 nb_sol=0 ticks=82574 tps=100 nb_sec=825
case_no=78 label=Case6.66 nb_sol=0 ticks=123886 tps=100 nb_sec=1238
case_no=78 label=Case6.66 nb_sol=0 ticks=142363 tps=100 nb_sec=1423
case_no=78 label=Case6.66 nb_sol=0 ticks=148011 tps=100 nb_sec=1480
case_no=78 label=Case6.66 nb_sol=0 ticks=186094 tps=100 nb_sec=1860
case_no=78 label=Case6.66 nb_sol=0 ticks=221494 tps=100 nb_sec=2214
case_no=78 label=Case6.66 nb_sol=0 ticks=177215 tps=100 nb_sec=1772
case_no=78 label=Case6.66 nb_sol=0 ticks=296490 tps=100 nb_sec=2964
case_no=78 label=Case6.66 nb_sol=0 ticks=150203 tps=100 nb_sec=1502
case_no=78 label=Case6.66 nb_sol=0 ticks=93844 tps=100 nb_sec=938
case_no=78 label=Case6.66 nb_sol=0 ticks=271486 tps=100 nb_sec=2714
case_no=78 label=Case6.66 nb_sol=0 ticks=177822 tps=100 nb_sec=1778
case_no=78 label=Case6.66 nb_sol=0 ticks=270354 tps=100 nb_sec=2703
case_no=78 label=Case6.66 nb_sol=0 ticks=160280 tps=100 nb_sec=1602
case_no=78 label=Case6.66 nb_sol=0 ticks=119808 tps=100 nb_sec=1198
case_no=78 label=Case6.66 nb_sol=0 ticks=150926 tps=100 nb_sec=1509
case_no=78 label=Case6.66 nb_sol=0 ticks=178331 tps=100 nb_sec=1783
case_no=78 label=Case6.66 nb_sol=0 ticks=176282 tps=100 nb_sec=1762
case_no=78 label=Case6.66 nb_sol=0 ticks=247845 tps=100 nb_sec=2478
case_no=78 label=Case6.66 nb_sol=0 ticks=86103 tps=100 nb_sec=861
case_no=78 label=Case6.66 nb_sol=0 ticks=122216 tps=100 nb_sec=1222
case_no=78 label=Case6.66 nb_sol=0 ticks=152708 tps=100 nb_sec=1527
case_no=78 label=Case6.66 nb_sol=0 ticks=107723 tps=100 nb_sec=1077
case_no=78 label=Case6.66 nb_sol=0 ticks=144368 tps=100 nb_sec=1443
case_no=78 label=Case6.66 nb_sol=0 ticks=211334 tps=100 nb_sec=2113
case_no=78 label=Case6.66 nb_sol=0 ticks=168090 tps=100 nb_sec=1680
case_no=78 label=Case6.66 nb_sol=0 ticks=250907 tps=100 nb_sec=2509
case_no=78 label=Case6.66 nb_sol=0 ticks=186584 tps=100 nb_sec=1865
case_no=78 label=Case6.66 nb_sol=0 ticks=197532 tps=100 nb_sec=1975
case_no=78 label=Case6.66 nb_sol=0 ticks=156571 tps=100 nb_sec=1565
case_no=78 label=Case6.66 nb_sol=0 ticks=168496 tps=100 nb_sec=1684
case_no=78 label=Case6.66 nb_sol=0 ticks=165413 tps=100 nb_sec=1654
case_no=78 label=Case6.66 nb_sol=0 ticks=199053 tps=100 nb_sec=1990
case_no=78 label=Case6.66 nb_sol=0 ticks=168292 tps=100 nb_sec=1682
case_no=78 label=Case6.66 nb_sol=0 ticks=170367 tps=100 nb_sec=1703
case_no=78 label=Case6.66 nb_sol=0 ticks=159101 tps=100 nb_sec=1591
case_no=78 label=Case6.66 nb_sol=0 ticks=171220 tps=100 nb_sec=1712
case_no=78 label=Case6.66 nb_sol=0 ticks=184330 tps=100 nb_sec=1843
case_no=78 label=Case6.66 nb_sol=0 ticks=166558 tps=100 nb_sec=1665
case_no=78 label=Case6.66 nb_sol=0 ticks=211283 tps=100 nb_sec=2112
case_no=78 label=Case6.66 nb_sol=0 ticks=167439 tps=100 nb_sec=1674
case_no=78 label=Case6.66 nb_sol=0 ticks=175929 tps=100 nb_sec=1759
case_no=78 label=Case6.66 nb_sol=0 ticks=161652 tps=100 nb_sec=1616
case_no=78 label=Case6.66 nb_sol=0 ticks=150882 tps=100 nb_sec=1508
case_no=78 label=Case6.66 nb_sol=0 ticks=168261 tps=100 nb_sec=1682
case_no=78 label=Case6.66 nb_sol=0 ticks=158003 tps=100 nb_sec=1580
case_no=78 label=Case6.66 nb_sol=0 ticks=169055 tps=100 nb_sec=1690
case_no=78 label=Case6.66 nb_sol=0 ticks=80244 tps=100 nb_sec=802
case_no=78 label=Case6.66 nb_sol=0 ticks=190531 tps=100 nb_sec=1905
case_no=78 label=Case6.66 nb_sol=0 ticks=161425 tps=100 nb_sec=1614
case_no=78 label=Case6.66 nb_sol=0 ticks=188589 tps=100 nb_sec=1885
case_no=78 label=Case6.66 nb_sol=0 ticks=198763 tps=100 nb_sec=1987
case_no=78 label=Case6.66 nb_sol=0 ticks=108446 tps=100 nb_sec=1084
case_no=78 label=Case6.66 nb_sol=0 ticks=169327 tps=100 nb_sec=1693
case_no=78 label=Case6.66 nb_sol=0 ticks=152050 tps=100 nb_sec=1520
case_no=78 label=Case6.66 nb_sol=0 ticks=172865 tps=100 nb_sec=1728
case_no=78 label=Case6.66 nb_sol=0 ticks=206061 tps=100 nb_sec=2060
case_no=78 label=Case6.66 nb_sol=0 ticks=166690 tps=100 nb_sec=1666
case_no=78 label=Case6.66 nb_sol=0 ticks=115769 tps=100 nb_sec=1157
case_no=78 label=Case6.66 nb_sol=0 ticks=188139 tps=100 nb_sec=1881
case_no=78 label=Case6.66 nb_sol=0 ticks=184907 tps=100 nb_sec=1849
case_no=78 label=Case6.66 nb_sol=0 ticks=170409 tps=100 nb_sec=1704
case_no=78 label=Case6.66 nb_sol=0 ticks=83942 tps=100 nb_sec=839
case_no=78 label=Case6.66 nb_sol=0 ticks=193856 tps=100 nb_sec=1938
case_no=78 label=Case6.66 nb_sol=0 ticks=175975 tps=100 nb_sec=1759
case_no=78 label=Case6.66 nb_sol=0 ticks=164653 tps=100 nb_sec=1646
case_no=78 label=Case6.66 nb_sol=0 ticks=101968 tps=100 nb_sec=1019
case_no=78 label=Case6.66 nb_sol=0 ticks=162751 tps=100 nb_sec=1627
case_no=78 label=Case6.66 nb_sol=0 ticks=193168 tps=100 nb_sec=1931
case_no=78 label=Case6.66 nb_sol=0 ticks=178439 tps=100 nb_sec=1784
case_no=78 label=Case6.66 nb_sol=0 ticks=115860 tps=100 nb_sec=1158
case_no=78 label=Case6.66 nb_sol=0 ticks=160458 tps=100 nb_sec=1604
case_no=78 label=Case6.66 nb_sol=0 ticks=182733 tps=100 nb_sec=1827
case_no=78 label=Case6.66 nb_sol=0 ticks=158489 tps=100 nb_sec=1584
case_no=78 label=Case6.66 nb_sol=0 ticks=166304 tps=100 nb_sec=1663
case_no=78 label=Case6.66 nb_sol=0 ticks=215758 tps=100 nb_sec=2157
case_no=78 label=Case6.66 nb_sol=0 ticks=106018 tps=100 nb_sec=1060
case_no=78 label=Case6.66 nb_sol=0 ticks=140028 tps=100 nb_sec=1400
case_no=78 label=Case6.66 nb_sol=0 ticks=145867 tps=100 nb_sec=1458
case_no=78 label=Case6.66 nb_sol=0 ticks=178630 tps=100 nb_sec=1786
case_no=78 label=Case6.66 nb_sol=0 ticks=90930 tps=100 nb_sec=909
case_no=78 label=Case6.66 nb_sol=0 ticks=169394 tps=100 nb_sec=1693
case_no=78 label=Case6.66 nb_sol=0 ticks=205549 tps=100 nb_sec=2055
case_no=78 label=Case6.66 nb_sol=0 ticks=144420 tps=100 nb_sec=1444
case_no=78 label=Case6.66 nb_sol=0 ticks=85501 tps=100 nb_sec=855
case_no=78 label=Case6.66 nb_sol=0 ticks=193834 tps=100 nb_sec=1938
case_no=78 label=Case6.66 nb_sol=0 ticks=107571 tps=100 nb_sec=1075
case_no=78 label=Case6.66 nb_sol=0 ticks=212970 tps=100 nb_sec=2129
case_no=78 label=Case6.66 nb_sol=0 ticks=165585 tps=100 nb_sec=1655
case_no=78 label=Case6.66 nb_sol=0 ticks=192574 tps=100 nb_sec=1925
case_no=78 label=Case6.66 nb_sol=0 ticks=178206 tps=100 nb_sec=1782
case_no=78 label=Case6.66 nb_sol=0 ticks=111131 tps=100 nb_sec=1111
case_no=78 label=Case6.66 nb_sol=0 ticks=192039 tps=100 nb_sec=1920
case_no=78 label=Case6.66 nb_sol=0 ticks=138252 tps=100 nb_sec=1382
case_no=78 label=Case6.66 nb_sol=0 ticks=161370 tps=100 nb_sec=1613
case_no=78 label=Case6.66 nb_sol=0 ticks=84668 tps=100 nb_sec=846
case_no=78 label=Case6.66 nb_sol=0 ticks=192714 tps=100 nb_sec=1927
case_no=78 label=Case6.66 nb_sol=0 ticks=183343 tps=100 nb_sec=1833
case_no=78 label=Case6.66 nb_sol=0 ticks=134013 tps=100 nb_sec=1340
case_no=78 label=Case6.66 nb_sol=0 ticks=143078 tps=100 nb_sec=1430
case_no=78 label=Case6.66 nb_sol=0 ticks=104714 tps=100 nb_sec=1047
case_no=78 label=Case6.66 nb_sol=0 ticks=237181 tps=100 nb_sec=2371
case_no=78 label=Case6.66 nb_sol=0 ticks=131894 tps=100 nb_sec=1318
case_no=78 label=Case6.66 nb_sol=0 ticks=125938 tps=100 nb_sec=1259
case_no=78 label=Case6.66 nb_sol=0 ticks=105103 tps=100 nb_sec=1051
case_no=78 label=Case6.66 nb_sol=0 ticks=238153 tps=100 nb_sec=2381
case_no=78 label=Case6.66 nb_sol=0 ticks=170990 tps=100 nb_sec=1709
case_no=78 label=Case6.66 nb_sol=0 ticks=142943 tps=100 nb_sec=1429
case_no=78 label=Case6.66 nb_sol=0 ticks=185667 tps=100 nb_sec=1856
case_no=78 label=Case6.66 nb_sol=0 ticks=80305 tps=100 nb_sec=803
case_no=78 label=Case6.66 nb_sol=0 ticks=191624 tps=100 nb_sec=1916
case_no=78 label=Case6.66 nb_sol=0 ticks=163571 tps=100 nb_sec=1635
case_no=78 label=Case6.66 nb_sol=0 ticks=162499 tps=100 nb_sec=1624
case_no=78 label=Case6.66 nb_sol=0 ticks=154489 tps=100 nb_sec=1544
case_no=78 label=Case6.66 nb_sol=0 ticks=211172 tps=100 nb_sec=2111
case_no=78 label=Case6.66 nb_sol=0 ticks=183603 tps=100 nb_sec=1836
case_no=78 label=Case6.66 nb_sol=0 ticks=130841 tps=100 nb_sec=1308
case_no=78 label=Case6.66 nb_sol=0 ticks=120573 tps=100 nb_sec=1205
case_no=78 label=Case6.66 nb_sol=0 ticks=176011 tps=100 nb_sec=1760
case_no=78 label=Case6.66 nb_sol=0 ticks=233362 tps=100 nb_sec=2333
case_no=78 label=Case6.66 nb_sol=0 ticks=133127 tps=100 nb_sec=1331
case_no=78 label=Case6.66 nb_sol=0 ticks=142819 tps=100 nb_sec=1428
case_no=78 label=Case6.66 nb_sol=0 ticks=242671 tps=100 nb_sec=2426
case_no=78 label=Case6.66 nb_sol=0 ticks=191700 tps=100 nb_sec=1917
case_no=78 label=Case6.66 nb_sol=0 ticks=142596 tps=100 nb_sec=1425
case_no=78 label=Case6.66 nb_sol=0 ticks=174071 tps=100 nb_sec=1740
case_no=78 label=Case6.66 nb_sol=0 ticks=154182 tps=100 nb_sec=1541
case_no=78 label=Case6.66 nb_sol=0 ticks=240631 tps=100 nb_sec=2406
case_no=78 label=Case6.66 nb_sol=0 ticks=177585 tps=100 nb_sec=1775
case_no=78 label=Case6.66 nb_sol=0 ticks=111451 tps=100 nb_sec=1114
case_no=78 label=Case6.66 nb_sol=0 ticks=98648 tps=100 nb_sec=986
case_no=78 label=Case6.66 nb_sol=0 ticks=235723 tps=100 nb_sec=2357
case_no=78 label=Case6.66 nb_sol=0 ticks=170274 tps=100 nb_sec=1702
case_no=78 label=Case6.66 nb_sol=0 ticks=104145 tps=100 nb_sec=1041
case_no=78 label=Case6.66 nb_sol=0 ticks=189880 tps=100 nb_sec=1898
case_no=78 label=Case6.66 nb_sol=0 ticks=177419 tps=100 nb_sec=1774
case_no=78 label=Case6.66 nb_sol=0 ticks=188154 tps=100 nb_sec=1881
case_no=78 label=Case6.66 nb_sol=0 ticks=80018 tps=100 nb_sec=800
case_no=78 label=Case6.66 nb_sol=0 ticks=181805 tps=100 nb_sec=1818
case_no=78 label=Case6.66 nb_sol=0 ticks=200738 tps=100 nb_sec=2007
case_no=78 label=Case6.66 nb_sol=0 ticks=160739 tps=100 nb_sec=1607
case_no=78 label=Case6.66 nb_sol=0 ticks=81436 tps=100 nb_sec=814
case_no=78 label=Case6.66 nb_sol=0 ticks=169146 tps=100 nb_sec=1691
case_no=78 label=Case6.66 nb_sol=0 ticks=173802 tps=100 nb_sec=1738
case_no=78 label=Case6.66 nb_sol=0 ticks=110630 tps=100 nb_sec=1106
case_no=78 label=Case6.66 nb_sol=0 ticks=164850 tps=100 nb_sec=1648
case_no=78 label=Case6.66 nb_sol=0 ticks=95890 tps=100 nb_sec=958
case_no=78 label=Case6.66 nb_sol=0 ticks=191311 tps=100 nb_sec=1913
Nb_sol=0
Nb_sec=423042
4-21:30:42 or 117 hours
missing cases:
none