argc=5
-M 256
file2=30_select_Case6.99_starter_15_
checking files mod 256 from 0 to 255
case_no=111 label=Case6.99 nb_sol=0 ticks=218844 tps=100 nb_sec=2188
case_no=111 label=Case6.99 nb_sol=0 ticks=253383 tps=100 nb_sec=2533
case_no=111 label=Case6.99 nb_sol=0 ticks=166402 tps=100 nb_sec=1664
case_no=111 label=Case6.99 nb_sol=0 ticks=234382 tps=100 nb_sec=2343
case_no=111 label=Case6.99 nb_sol=0 ticks=182436 tps=100 nb_sec=1824
case_no=111 label=Case6.99 nb_sol=0 ticks=168753 tps=100 nb_sec=1687
case_no=111 label=Case6.99 nb_sol=0 ticks=226056 tps=100 nb_sec=2260
case_no=111 label=Case6.99 nb_sol=0 ticks=160072 tps=100 nb_sec=1600
case_no=111 label=Case6.99 nb_sol=0 ticks=304435 tps=100 nb_sec=3044
case_no=111 label=Case6.99 nb_sol=0 ticks=209743 tps=100 nb_sec=2097
case_no=111 label=Case6.99 nb_sol=0 ticks=265374 tps=100 nb_sec=2653
case_no=111 label=Case6.99 nb_sol=0 ticks=257481 tps=100 nb_sec=2574
case_no=111 label=Case6.99 nb_sol=0 ticks=192480 tps=100 nb_sec=1924
case_no=111 label=Case6.99 nb_sol=0 ticks=198207 tps=100 nb_sec=1982
case_no=111 label=Case6.99 nb_sol=0 ticks=223815 tps=100 nb_sec=2238
case_no=111 label=Case6.99 nb_sol=0 ticks=136360 tps=100 nb_sec=1363
case_no=111 label=Case6.99 nb_sol=0 ticks=289066 tps=100 nb_sec=2890
case_no=111 label=Case6.99 nb_sol=0 ticks=218829 tps=100 nb_sec=2188
case_no=111 label=Case6.99 nb_sol=0 ticks=245840 tps=100 nb_sec=2458
case_no=111 label=Case6.99 nb_sol=0 ticks=230979 tps=100 nb_sec=2309
case_no=111 label=Case6.99 nb_sol=0 ticks=225037 tps=100 nb_sec=2250
case_no=111 label=Case6.99 nb_sol=0 ticks=258350 tps=100 nb_sec=2583
case_no=111 label=Case6.99 nb_sol=0 ticks=99904 tps=100 nb_sec=999
case_no=111 label=Case6.99 nb_sol=0 ticks=192267 tps=100 nb_sec=1922
case_no=111 label=Case6.99 nb_sol=0 ticks=263828 tps=100 nb_sec=2638
case_no=111 label=Case6.99 nb_sol=0 ticks=179645 tps=100 nb_sec=1796
case_no=111 label=Case6.99 nb_sol=0 ticks=214157 tps=100 nb_sec=2141
case_no=111 label=Case6.99 nb_sol=0 ticks=228402 tps=100 nb_sec=2284
case_no=111 label=Case6.99 nb_sol=0 ticks=246737 tps=100 nb_sec=2467
case_no=111 label=Case6.99 nb_sol=0 ticks=227759 tps=100 nb_sec=2277
case_no=111 label=Case6.99 nb_sol=0 ticks=265088 tps=100 nb_sec=2650
case_no=111 label=Case6.99 nb_sol=0 ticks=237028 tps=100 nb_sec=2370
case_no=111 label=Case6.99 nb_sol=0 ticks=320597 tps=100 nb_sec=3205
case_no=111 label=Case6.99 nb_sol=0 ticks=196862 tps=100 nb_sec=1968
case_no=111 label=Case6.99 nb_sol=0 ticks=274195 tps=100 nb_sec=2741
case_no=111 label=Case6.99 nb_sol=0 ticks=251999 tps=100 nb_sec=2519
case_no=111 label=Case6.99 nb_sol=0 ticks=288949 tps=100 nb_sec=2889
case_no=111 label=Case6.99 nb_sol=0 ticks=177417 tps=100 nb_sec=1774
case_no=111 label=Case6.99 nb_sol=0 ticks=319307 tps=100 nb_sec=3193
case_no=111 label=Case6.99 nb_sol=0 ticks=203350 tps=100 nb_sec=2033
case_no=111 label=Case6.99 nb_sol=0 ticks=251419 tps=100 nb_sec=2514
case_no=111 label=Case6.99 nb_sol=0 ticks=199051 tps=100 nb_sec=1990
case_no=111 label=Case6.99 nb_sol=0 ticks=316730 tps=100 nb_sec=3167
case_no=111 label=Case6.99 nb_sol=0 ticks=173985 tps=100 nb_sec=1739
case_no=111 label=Case6.99 nb_sol=0 ticks=215172 tps=100 nb_sec=2151
case_no=111 label=Case6.99 nb_sol=0 ticks=156725 tps=100 nb_sec=1567
case_no=111 label=Case6.99 nb_sol=0 ticks=260867 tps=100 nb_sec=2608
case_no=111 label=Case6.99 nb_sol=0 ticks=188946 tps=100 nb_sec=1889
case_no=111 label=Case6.99 nb_sol=0 ticks=177401 tps=100 nb_sec=1774
case_no=111 label=Case6.99 nb_sol=0 ticks=198509 tps=100 nb_sec=1985
case_no=111 label=Case6.99 nb_sol=0 ticks=211367 tps=100 nb_sec=2113
case_no=111 label=Case6.99 nb_sol=0 ticks=216581 tps=100 nb_sec=2165
case_no=111 label=Case6.99 nb_sol=0 ticks=202988 tps=100 nb_sec=2029
case_no=111 label=Case6.99 nb_sol=0 ticks=286058 tps=100 nb_sec=2860
case_no=111 label=Case6.99 nb_sol=0 ticks=196963 tps=100 nb_sec=1969
case_no=111 label=Case6.99 nb_sol=0 ticks=209810 tps=100 nb_sec=2098
case_no=111 label=Case6.99 nb_sol=0 ticks=196309 tps=100 nb_sec=1963
case_no=111 label=Case6.99 nb_sol=0 ticks=165664 tps=100 nb_sec=1656
case_no=111 label=Case6.99 nb_sol=0 ticks=262681 tps=100 nb_sec=2626
case_no=111 label=Case6.99 nb_sol=0 ticks=168169 tps=100 nb_sec=1681
case_no=111 label=Case6.99 nb_sol=0 ticks=261687 tps=100 nb_sec=2616
case_no=111 label=Case6.99 nb_sol=0 ticks=207551 tps=100 nb_sec=2075
case_no=111 label=Case6.99 nb_sol=0 ticks=164318 tps=100 nb_sec=1643
case_no=111 label=Case6.99 nb_sol=0 ticks=196193 tps=100 nb_sec=1961
case_no=111 label=Case6.99 nb_sol=0 ticks=260912 tps=100 nb_sec=2609
case_no=111 label=Case6.99 nb_sol=0 ticks=207326 tps=100 nb_sec=2073
case_no=111 label=Case6.99 nb_sol=0 ticks=190961 tps=100 nb_sec=1909
case_no=111 label=Case6.99 nb_sol=0 ticks=163794 tps=100 nb_sec=1637
case_no=111 label=Case6.99 nb_sol=0 ticks=167717 tps=100 nb_sec=1677
case_no=111 label=Case6.99 nb_sol=0 ticks=220544 tps=100 nb_sec=2205
case_no=111 label=Case6.99 nb_sol=0 ticks=177251 tps=100 nb_sec=1772
case_no=111 label=Case6.99 nb_sol=0 ticks=139078 tps=100 nb_sec=1390
case_no=111 label=Case6.99 nb_sol=0 ticks=221047 tps=100 nb_sec=2210
case_no=111 label=Case6.99 nb_sol=0 ticks=201139 tps=100 nb_sec=2011
case_no=111 label=Case6.99 nb_sol=0 ticks=249443 tps=100 nb_sec=2494
case_no=111 label=Case6.99 nb_sol=0 ticks=262860 tps=100 nb_sec=2628
case_no=111 label=Case6.99 nb_sol=0 ticks=247277 tps=100 nb_sec=2472
case_no=111 label=Case6.99 nb_sol=0 ticks=201734 tps=100 nb_sec=2017
case_no=111 label=Case6.99 nb_sol=0 ticks=248581 tps=100 nb_sec=2485
case_no=111 label=Case6.99 nb_sol=0 ticks=158938 tps=100 nb_sec=1589
case_no=111 label=Case6.99 nb_sol=0 ticks=226358 tps=100 nb_sec=2263
case_no=111 label=Case6.99 nb_sol=0 ticks=125334 tps=100 nb_sec=1253
case_no=111 label=Case6.99 nb_sol=0 ticks=225853 tps=100 nb_sec=2258
case_no=111 label=Case6.99 nb_sol=0 ticks=122349 tps=100 nb_sec=1223
case_no=111 label=Case6.99 nb_sol=0 ticks=219899 tps=100 nb_sec=2198
case_no=111 label=Case6.99 nb_sol=0 ticks=294758 tps=100 nb_sec=2947
case_no=111 label=Case6.99 nb_sol=0 ticks=270693 tps=100 nb_sec=2706
case_no=111 label=Case6.99 nb_sol=0 ticks=138532 tps=100 nb_sec=1385
case_no=111 label=Case6.99 nb_sol=0 ticks=233290 tps=100 nb_sec=2332
case_no=111 label=Case6.99 nb_sol=0 ticks=225641 tps=100 nb_sec=2256
case_no=111 label=Case6.99 nb_sol=0 ticks=331316 tps=100 nb_sec=3313
case_no=111 label=Case6.99 nb_sol=0 ticks=168925 tps=100 nb_sec=1689
case_no=111 label=Case6.99 nb_sol=0 ticks=282004 tps=100 nb_sec=2820
case_no=111 label=Case6.99 nb_sol=0 ticks=262864 tps=100 nb_sec=2628
case_no=111 label=Case6.99 nb_sol=0 ticks=234712 tps=100 nb_sec=2347
case_no=111 label=Case6.99 nb_sol=0 ticks=220235 tps=100 nb_sec=2202
case_no=111 label=Case6.99 nb_sol=0 ticks=233560 tps=100 nb_sec=2335
case_no=111 label=Case6.99 nb_sol=0 ticks=136330 tps=100 nb_sec=1363
case_no=111 label=Case6.99 nb_sol=0 ticks=175477 tps=100 nb_sec=1754
case_no=111 label=Case6.99 nb_sol=0 ticks=92816 tps=100 nb_sec=928
case_no=111 label=Case6.99 nb_sol=0 ticks=201678 tps=100 nb_sec=2016
case_no=111 label=Case6.99 nb_sol=0 ticks=124790 tps=100 nb_sec=1247
case_no=111 label=Case6.99 nb_sol=0 ticks=353217 tps=100 nb_sec=3532
case_no=111 label=Case6.99 nb_sol=0 ticks=120782 tps=100 nb_sec=1207
case_no=111 label=Case6.99 nb_sol=0 ticks=243721 tps=100 nb_sec=2437
case_no=111 label=Case6.99 nb_sol=0 ticks=149778 tps=100 nb_sec=1497
case_no=111 label=Case6.99 nb_sol=0 ticks=255943 tps=100 nb_sec=2559
case_no=111 label=Case6.99 nb_sol=0 ticks=156902 tps=100 nb_sec=1569
case_no=111 label=Case6.99 nb_sol=0 ticks=162915 tps=100 nb_sec=1629
case_no=111 label=Case6.99 nb_sol=0 ticks=108027 tps=100 nb_sec=1080
case_no=111 label=Case6.99 nb_sol=0 ticks=218167 tps=100 nb_sec=2181
case_no=111 label=Case6.99 nb_sol=0 ticks=113148 tps=100 nb_sec=1131
case_no=111 label=Case6.99 nb_sol=0 ticks=145817 tps=100 nb_sec=1458
case_no=111 label=Case6.99 nb_sol=0 ticks=179325 tps=100 nb_sec=1793
case_no=111 label=Case6.99 nb_sol=0 ticks=171896 tps=100 nb_sec=1718
case_no=111 label=Case6.99 nb_sol=0 ticks=124864 tps=100 nb_sec=1248
case_no=111 label=Case6.99 nb_sol=0 ticks=217688 tps=100 nb_sec=2176
case_no=111 label=Case6.99 nb_sol=0 ticks=125286 tps=100 nb_sec=1252
case_no=111 label=Case6.99 nb_sol=0 ticks=270011 tps=100 nb_sec=2700
case_no=111 label=Case6.99 nb_sol=0 ticks=145572 tps=100 nb_sec=1455
case_no=111 label=Case6.99 nb_sol=0 ticks=186238 tps=100 nb_sec=1862
case_no=111 label=Case6.99 nb_sol=0 ticks=199184 tps=100 nb_sec=1991
case_no=111 label=Case6.99 nb_sol=0 ticks=224698 tps=100 nb_sec=2246
case_no=111 label=Case6.99 nb_sol=0 ticks=250758 tps=100 nb_sec=2507
case_no=111 label=Case6.99 nb_sol=0 ticks=180362 tps=100 nb_sec=1803
case_no=111 label=Case6.99 nb_sol=0 ticks=205308 tps=100 nb_sec=2053
case_no=111 label=Case6.99 nb_sol=0 ticks=325346 tps=100 nb_sec=3253
case_no=111 label=Case6.99 nb_sol=0 ticks=168757 tps=100 nb_sec=1687
case_no=111 label=Case6.99 nb_sol=0 ticks=219556 tps=100 nb_sec=2195
case_no=111 label=Case6.99 nb_sol=0 ticks=166894 tps=100 nb_sec=1668
case_no=111 label=Case6.99 nb_sol=0 ticks=176308 tps=100 nb_sec=1763
case_no=111 label=Case6.99 nb_sol=0 ticks=264766 tps=100 nb_sec=2647
case_no=111 label=Case6.99 nb_sol=0 ticks=188411 tps=100 nb_sec=1884
case_no=111 label=Case6.99 nb_sol=0 ticks=223879 tps=100 nb_sec=2238
case_no=111 label=Case6.99 nb_sol=0 ticks=246967 tps=100 nb_sec=2469
case_no=111 label=Case6.99 nb_sol=0 ticks=194814 tps=100 nb_sec=1948
case_no=111 label=Case6.99 nb_sol=0 ticks=118362 tps=100 nb_sec=1183
case_no=111 label=Case6.99 nb_sol=0 ticks=188583 tps=100 nb_sec=1885
case_no=111 label=Case6.99 nb_sol=0 ticks=221569 tps=100 nb_sec=2215
case_no=111 label=Case6.99 nb_sol=0 ticks=220817 tps=100 nb_sec=2208
case_no=111 label=Case6.99 nb_sol=0 ticks=107845 tps=100 nb_sec=1078
case_no=111 label=Case6.99 nb_sol=0 ticks=319369 tps=100 nb_sec=3193
case_no=111 label=Case6.99 nb_sol=0 ticks=137675 tps=100 nb_sec=1376
case_no=111 label=Case6.99 nb_sol=0 ticks=285707 tps=100 nb_sec=2857
case_no=111 label=Case6.99 nb_sol=0 ticks=117818 tps=100 nb_sec=1178
case_no=111 label=Case6.99 nb_sol=0 ticks=202471 tps=100 nb_sec=2024
case_no=111 label=Case6.99 nb_sol=0 ticks=67758 tps=100 nb_sec=677
case_no=111 label=Case6.99 nb_sol=0 ticks=110560 tps=100 nb_sec=1105
case_no=111 label=Case6.99 nb_sol=0 ticks=231039 tps=100 nb_sec=2310
case_no=111 label=Case6.99 nb_sol=0 ticks=232063 tps=100 nb_sec=2320
case_no=111 label=Case6.99 nb_sol=0 ticks=250226 tps=100 nb_sec=2502
case_no=111 label=Case6.99 nb_sol=0 ticks=156425 tps=100 nb_sec=1564
case_no=111 label=Case6.99 nb_sol=0 ticks=267759 tps=100 nb_sec=2677
case_no=111 label=Case6.99 nb_sol=0 ticks=151524 tps=100 nb_sec=1515
case_no=111 label=Case6.99 nb_sol=0 ticks=202721 tps=100 nb_sec=2027
case_no=111 label=Case6.99 nb_sol=0 ticks=244195 tps=100 nb_sec=2441
case_no=111 label=Case6.99 nb_sol=0 ticks=155520 tps=100 nb_sec=1555
case_no=111 label=Case6.99 nb_sol=0 ticks=245141 tps=100 nb_sec=2451
case_no=111 label=Case6.99 nb_sol=0 ticks=139747 tps=100 nb_sec=1397
case_no=111 label=Case6.99 nb_sol=0 ticks=73485 tps=100 nb_sec=734
case_no=111 label=Case6.99 nb_sol=0 ticks=121184 tps=100 nb_sec=1211
case_no=111 label=Case6.99 nb_sol=0 ticks=126581 tps=100 nb_sec=1265
case_no=111 label=Case6.99 nb_sol=0 ticks=187872 tps=100 nb_sec=1878
case_no=111 label=Case6.99 nb_sol=0 ticks=108124 tps=100 nb_sec=1081
case_no=111 label=Case6.99 nb_sol=0 ticks=186974 tps=100 nb_sec=1869
case_no=111 label=Case6.99 nb_sol=0 ticks=121744 tps=100 nb_sec=1217
case_no=111 label=Case6.99 nb_sol=0 ticks=187679 tps=100 nb_sec=1876
case_no=111 label=Case6.99 nb_sol=0 ticks=173148 tps=100 nb_sec=1731
case_no=111 label=Case6.99 nb_sol=0 ticks=152266 tps=100 nb_sec=1522
case_no=111 label=Case6.99 nb_sol=0 ticks=215931 tps=100 nb_sec=2159
case_no=111 label=Case6.99 nb_sol=0 ticks=175107 tps=100 nb_sec=1751
case_no=111 label=Case6.99 nb_sol=0 ticks=228608 tps=100 nb_sec=2286
case_no=111 label=Case6.99 nb_sol=0 ticks=301186 tps=100 nb_sec=3011
case_no=111 label=Case6.99 nb_sol=0 ticks=141033 tps=100 nb_sec=1410
case_no=111 label=Case6.99 nb_sol=0 ticks=271721 tps=100 nb_sec=2717
case_no=111 label=Case6.99 nb_sol=0 ticks=235117 tps=100 nb_sec=2351
case_no=111 label=Case6.99 nb_sol=0 ticks=145895 tps=100 nb_sec=1458
case_no=111 label=Case6.99 nb_sol=0 ticks=208321 tps=100 nb_sec=2083
case_no=111 label=Case6.99 nb_sol=0 ticks=161444 tps=100 nb_sec=1614
case_no=111 label=Case6.99 nb_sol=0 ticks=139720 tps=100 nb_sec=1397
case_no=111 label=Case6.99 nb_sol=0 ticks=213067 tps=100 nb_sec=2130
case_no=111 label=Case6.99 nb_sol=0 ticks=91867 tps=100 nb_sec=918
case_no=111 label=Case6.99 nb_sol=0 ticks=168921 tps=100 nb_sec=1689
case_no=111 label=Case6.99 nb_sol=0 ticks=252130 tps=100 nb_sec=2521
case_no=111 label=Case6.99 nb_sol=0 ticks=158828 tps=100 nb_sec=1588
case_no=111 label=Case6.99 nb_sol=0 ticks=205096 tps=100 nb_sec=2050
case_no=111 label=Case6.99 nb_sol=0 ticks=216825 tps=100 nb_sec=2168
case_no=111 label=Case6.99 nb_sol=0 ticks=201622 tps=100 nb_sec=2016
case_no=111 label=Case6.99 nb_sol=0 ticks=252844 tps=100 nb_sec=2528
case_no=111 label=Case6.99 nb_sol=0 ticks=144697 tps=100 nb_sec=1446
case_no=111 label=Case6.99 nb_sol=0 ticks=109621 tps=100 nb_sec=1096
case_no=111 label=Case6.99 nb_sol=0 ticks=182876 tps=100 nb_sec=1828
case_no=111 label=Case6.99 nb_sol=0 ticks=51895 tps=100 nb_sec=518
case_no=111 label=Case6.99 nb_sol=0 ticks=140964 tps=100 nb_sec=1409
case_no=111 label=Case6.99 nb_sol=0 ticks=162816 tps=100 nb_sec=1628
case_no=111 label=Case6.99 nb_sol=0 ticks=195394 tps=100 nb_sec=1953
case_no=111 label=Case6.99 nb_sol=0 ticks=146693 tps=100 nb_sec=1466
case_no=111 label=Case6.99 nb_sol=0 ticks=175352 tps=100 nb_sec=1753
case_no=111 label=Case6.99 nb_sol=0 ticks=125877 tps=100 nb_sec=1258
case_no=111 label=Case6.99 nb_sol=0 ticks=204323 tps=100 nb_sec=2043
case_no=111 label=Case6.99 nb_sol=0 ticks=119619 tps=100 nb_sec=1196
case_no=111 label=Case6.99 nb_sol=0 ticks=163163 tps=100 nb_sec=1631
case_no=111 label=Case6.99 nb_sol=0 ticks=137205 tps=100 nb_sec=1372
case_no=111 label=Case6.99 nb_sol=0 ticks=227044 tps=100 nb_sec=2270
case_no=111 label=Case6.99 nb_sol=0 ticks=172067 tps=100 nb_sec=1720
case_no=111 label=Case6.99 nb_sol=0 ticks=144160 tps=100 nb_sec=1441
case_no=111 label=Case6.99 nb_sol=0 ticks=134094 tps=100 nb_sec=1340
case_no=111 label=Case6.99 nb_sol=0 ticks=233558 tps=100 nb_sec=2335
case_no=111 label=Case6.99 nb_sol=0 ticks=193959 tps=100 nb_sec=1939
case_no=111 label=Case6.99 nb_sol=0 ticks=211637 tps=100 nb_sec=2116
case_no=111 label=Case6.99 nb_sol=0 ticks=164850 tps=100 nb_sec=1648
case_no=111 label=Case6.99 nb_sol=0 ticks=248049 tps=100 nb_sec=2480
case_no=111 label=Case6.99 nb_sol=0 ticks=192661 tps=100 nb_sec=1926
case_no=111 label=Case6.99 nb_sol=0 ticks=251353 tps=100 nb_sec=2513
case_no=111 label=Case6.99 nb_sol=0 ticks=242871 tps=100 nb_sec=2428
case_no=111 label=Case6.99 nb_sol=0 ticks=158448 tps=100 nb_sec=1584
case_no=111 label=Case6.99 nb_sol=0 ticks=107627 tps=100 nb_sec=1076
case_no=111 label=Case6.99 nb_sol=0 ticks=138231 tps=100 nb_sec=1382
case_no=111 label=Case6.99 nb_sol=0 ticks=155908 tps=100 nb_sec=1559
case_no=111 label=Case6.99 nb_sol=0 ticks=223398 tps=100 nb_sec=2233
case_no=111 label=Case6.99 nb_sol=0 ticks=195725 tps=100 nb_sec=1957
case_no=111 label=Case6.99 nb_sol=0 ticks=166302 tps=100 nb_sec=1663
case_no=111 label=Case6.99 nb_sol=0 ticks=168885 tps=100 nb_sec=1688
case_no=111 label=Case6.99 nb_sol=0 ticks=97735 tps=100 nb_sec=977
case_no=111 label=Case6.99 nb_sol=0 ticks=254582 tps=100 nb_sec=2545
case_no=111 label=Case6.99 nb_sol=0 ticks=248209 tps=100 nb_sec=2482
case_no=111 label=Case6.99 nb_sol=0 ticks=185975 tps=100 nb_sec=1859
case_no=111 label=Case6.99 nb_sol=0 ticks=172943 tps=100 nb_sec=1729
case_no=111 label=Case6.99 nb_sol=0 ticks=170006 tps=100 nb_sec=1700
case_no=111 label=Case6.99 nb_sol=0 ticks=179988 tps=100 nb_sec=1799
case_no=111 label=Case6.99 nb_sol=0 ticks=174935 tps=100 nb_sec=1749
case_no=111 label=Case6.99 nb_sol=0 ticks=212363 tps=100 nb_sec=2123
case_no=111 label=Case6.99 nb_sol=0 ticks=135715 tps=100 nb_sec=1357
case_no=111 label=Case6.99 nb_sol=0 ticks=160666 tps=100 nb_sec=1606
case_no=111 label=Case6.99 nb_sol=0 ticks=170570 tps=100 nb_sec=1705
case_no=111 label=Case6.99 nb_sol=0 ticks=236392 tps=100 nb_sec=2363
case_no=111 label=Case6.99 nb_sol=0 ticks=216734 tps=100 nb_sec=2167
case_no=111 label=Case6.99 nb_sol=0 ticks=162121 tps=100 nb_sec=1621
case_no=111 label=Case6.99 nb_sol=0 ticks=158529 tps=100 nb_sec=1585
case_no=111 label=Case6.99 nb_sol=0 ticks=211412 tps=100 nb_sec=2114
case_no=111 label=Case6.99 nb_sol=0 ticks=241865 tps=100 nb_sec=2418
case_no=111 label=Case6.99 nb_sol=0 ticks=189623 tps=100 nb_sec=1896
case_no=111 label=Case6.99 nb_sol=0 ticks=128365 tps=100 nb_sec=1283
case_no=111 label=Case6.99 nb_sol=0 ticks=148725 tps=100 nb_sec=1487
case_no=111 label=Case6.99 nb_sol=0 ticks=257075 tps=100 nb_sec=2570
case_no=111 label=Case6.99 nb_sol=0 ticks=236972 tps=100 nb_sec=2369
case_no=111 label=Case6.99 nb_sol=0 ticks=262535 tps=100 nb_sec=2625
case_no=111 label=Case6.99 nb_sol=0 ticks=173084 tps=100 nb_sec=1730
case_no=111 label=Case6.99 nb_sol=0 ticks=238629 tps=100 nb_sec=2386
case_no=111 label=Case6.99 nb_sol=0 ticks=56428 tps=100 nb_sec=564
case_no=111 label=Case6.99 nb_sol=0 ticks=236968 tps=100 nb_sec=2369
case_no=111 label=Case6.99 nb_sol=0 ticks=141360 tps=100 nb_sec=1413
case_no=111 label=Case6.99 nb_sol=0 ticks=188178 tps=100 nb_sec=1881
case_no=111 label=Case6.99 nb_sol=0 ticks=83985 tps=100 nb_sec=839
case_no=111 label=Case6.99 nb_sol=0 ticks=223357 tps=100 nb_sec=2233
case_no=111 label=Case6.99 nb_sol=0 ticks=211087 tps=100 nb_sec=2110
Nb_sol=0
Nb_sec=504350
5-20:5:50 or 140 hours
missing cases:
none