argc=5
-M 256
file2=30_select_Case6.98_starter_15_
checking files mod 256 from 0 to 255
case_no=110 label=Case6.98 nb_sol=0 ticks=205744 tps=100 nb_sec=2057
case_no=110 label=Case6.98 nb_sol=0 ticks=133615 tps=100 nb_sec=1336
case_no=110 label=Case6.98 nb_sol=0 ticks=139599 tps=100 nb_sec=1395
case_no=110 label=Case6.98 nb_sol=0 ticks=138919 tps=100 nb_sec=1389
case_no=110 label=Case6.98 nb_sol=0 ticks=158851 tps=100 nb_sec=1588
case_no=110 label=Case6.98 nb_sol=0 ticks=112079 tps=100 nb_sec=1120
case_no=110 label=Case6.98 nb_sol=0 ticks=207168 tps=100 nb_sec=2071
case_no=110 label=Case6.98 nb_sol=0 ticks=160855 tps=100 nb_sec=1608
case_no=110 label=Case6.98 nb_sol=0 ticks=304466 tps=100 nb_sec=3044
case_no=110 label=Case6.98 nb_sol=0 ticks=183055 tps=100 nb_sec=1830
case_no=110 label=Case6.98 nb_sol=0 ticks=226847 tps=100 nb_sec=2268
case_no=110 label=Case6.98 nb_sol=0 ticks=209298 tps=100 nb_sec=2092
case_no=110 label=Case6.98 nb_sol=0 ticks=290758 tps=100 nb_sec=2907
case_no=110 label=Case6.98 nb_sol=0 ticks=217961 tps=100 nb_sec=2179
case_no=110 label=Case6.98 nb_sol=0 ticks=177109 tps=100 nb_sec=1771
case_no=110 label=Case6.98 nb_sol=0 ticks=199071 tps=100 nb_sec=1990
case_no=110 label=Case6.98 nb_sol=0 ticks=275260 tps=100 nb_sec=2752
case_no=110 label=Case6.98 nb_sol=0 ticks=264787 tps=100 nb_sec=2647
case_no=110 label=Case6.98 nb_sol=0 ticks=264306 tps=100 nb_sec=2643
case_no=110 label=Case6.98 nb_sol=0 ticks=225405 tps=100 nb_sec=2254
case_no=110 label=Case6.98 nb_sol=0 ticks=199982 tps=100 nb_sec=1999
case_no=110 label=Case6.98 nb_sol=0 ticks=193517 tps=100 nb_sec=1935
case_no=110 label=Case6.98 nb_sol=0 ticks=222015 tps=100 nb_sec=2220
case_no=110 label=Case6.98 nb_sol=0 ticks=196123 tps=100 nb_sec=1961
case_no=110 label=Case6.98 nb_sol=0 ticks=259222 tps=100 nb_sec=2592
case_no=110 label=Case6.98 nb_sol=0 ticks=217533 tps=100 nb_sec=2175
case_no=110 label=Case6.98 nb_sol=0 ticks=238031 tps=100 nb_sec=2380
case_no=110 label=Case6.98 nb_sol=0 ticks=237944 tps=100 nb_sec=2379
case_no=110 label=Case6.98 nb_sol=0 ticks=323730 tps=100 nb_sec=3237
case_no=110 label=Case6.98 nb_sol=0 ticks=179013 tps=100 nb_sec=1790
case_no=110 label=Case6.98 nb_sol=0 ticks=242703 tps=100 nb_sec=2427
case_no=110 label=Case6.98 nb_sol=0 ticks=202227 tps=100 nb_sec=2022
case_no=110 label=Case6.98 nb_sol=0 ticks=255095 tps=100 nb_sec=2550
case_no=110 label=Case6.98 nb_sol=0 ticks=169161 tps=100 nb_sec=1691
case_no=110 label=Case6.98 nb_sol=0 ticks=226434 tps=100 nb_sec=2264
case_no=110 label=Case6.98 nb_sol=0 ticks=279691 tps=100 nb_sec=2796
case_no=110 label=Case6.98 nb_sol=0 ticks=226869 tps=100 nb_sec=2268
case_no=110 label=Case6.98 nb_sol=0 ticks=171024 tps=100 nb_sec=1710
case_no=110 label=Case6.98 nb_sol=0 ticks=283442 tps=100 nb_sec=2834
case_no=110 label=Case6.98 nb_sol=0 ticks=202405 tps=100 nb_sec=2024
case_no=110 label=Case6.98 nb_sol=0 ticks=272395 tps=100 nb_sec=2723
case_no=110 label=Case6.98 nb_sol=0 ticks=165605 tps=100 nb_sec=1656
case_no=110 label=Case6.98 nb_sol=0 ticks=281724 tps=100 nb_sec=2817
case_no=110 label=Case6.98 nb_sol=0 ticks=200504 tps=100 nb_sec=2005
case_no=110 label=Case6.98 nb_sol=0 ticks=233252 tps=100 nb_sec=2332
case_no=110 label=Case6.98 nb_sol=0 ticks=161968 tps=100 nb_sec=1619
case_no=110 label=Case6.98 nb_sol=0 ticks=222375 tps=100 nb_sec=2223
case_no=110 label=Case6.98 nb_sol=0 ticks=215505 tps=100 nb_sec=2155
case_no=110 label=Case6.98 nb_sol=0 ticks=322532 tps=100 nb_sec=3225
case_no=110 label=Case6.98 nb_sol=0 ticks=234346 tps=100 nb_sec=2343
case_no=110 label=Case6.98 nb_sol=0 ticks=331188 tps=100 nb_sec=3311
case_no=110 label=Case6.98 nb_sol=0 ticks=142855 tps=100 nb_sec=1428
case_no=110 label=Case6.98 nb_sol=0 ticks=251497 tps=100 nb_sec=2514
case_no=110 label=Case6.98 nb_sol=0 ticks=206176 tps=100 nb_sec=2061
case_no=110 label=Case6.98 nb_sol=0 ticks=181199 tps=100 nb_sec=1811
case_no=110 label=Case6.98 nb_sol=0 ticks=205387 tps=100 nb_sec=2053
case_no=110 label=Case6.98 nb_sol=0 ticks=135501 tps=100 nb_sec=1355
case_no=110 label=Case6.98 nb_sol=0 ticks=160055 tps=100 nb_sec=1600
case_no=110 label=Case6.98 nb_sol=0 ticks=269426 tps=100 nb_sec=2694
case_no=110 label=Case6.98 nb_sol=0 ticks=187034 tps=100 nb_sec=1870
case_no=110 label=Case6.98 nb_sol=0 ticks=197121 tps=100 nb_sec=1971
case_no=110 label=Case6.98 nb_sol=0 ticks=217472 tps=100 nb_sec=2174
case_no=110 label=Case6.98 nb_sol=0 ticks=172896 tps=100 nb_sec=1728
case_no=110 label=Case6.98 nb_sol=0 ticks=148461 tps=100 nb_sec=1484
case_no=110 label=Case6.98 nb_sol=0 ticks=213202 tps=100 nb_sec=2132
case_no=110 label=Case6.98 nb_sol=0 ticks=124526 tps=100 nb_sec=1245
case_no=110 label=Case6.98 nb_sol=0 ticks=231577 tps=100 nb_sec=2315
case_no=110 label=Case6.98 nb_sol=0 ticks=220921 tps=100 nb_sec=2209
case_no=110 label=Case6.98 nb_sol=0 ticks=202400 tps=100 nb_sec=2024
case_no=110 label=Case6.98 nb_sol=0 ticks=234537 tps=100 nb_sec=2345
case_no=110 label=Case6.98 nb_sol=0 ticks=153261 tps=100 nb_sec=1532
case_no=110 label=Case6.98 nb_sol=0 ticks=157534 tps=100 nb_sec=1575
case_no=110 label=Case6.98 nb_sol=0 ticks=275049 tps=100 nb_sec=2750
case_no=110 label=Case6.98 nb_sol=0 ticks=153390 tps=100 nb_sec=1533
case_no=110 label=Case6.98 nb_sol=0 ticks=212227 tps=100 nb_sec=2122
case_no=110 label=Case6.98 nb_sol=0 ticks=191034 tps=100 nb_sec=1910
case_no=110 label=Case6.98 nb_sol=0 ticks=235069 tps=100 nb_sec=2350
case_no=110 label=Case6.98 nb_sol=0 ticks=197172 tps=100 nb_sec=1971
case_no=110 label=Case6.98 nb_sol=0 ticks=280051 tps=100 nb_sec=2800
case_no=110 label=Case6.98 nb_sol=0 ticks=135525 tps=100 nb_sec=1355
case_no=110 label=Case6.98 nb_sol=0 ticks=234951 tps=100 nb_sec=2349
case_no=110 label=Case6.98 nb_sol=0 ticks=207303 tps=100 nb_sec=2073
case_no=110 label=Case6.98 nb_sol=0 ticks=186200 tps=100 nb_sec=1862
case_no=110 label=Case6.98 nb_sol=0 ticks=140208 tps=100 nb_sec=1402
case_no=110 label=Case6.98 nb_sol=0 ticks=269141 tps=100 nb_sec=2691
case_no=110 label=Case6.98 nb_sol=0 ticks=319865 tps=100 nb_sec=3198
case_no=110 label=Case6.98 nb_sol=0 ticks=295766 tps=100 nb_sec=2957
case_no=110 label=Case6.98 nb_sol=0 ticks=197409 tps=100 nb_sec=1974
case_no=110 label=Case6.98 nb_sol=0 ticks=266352 tps=100 nb_sec=2663
case_no=110 label=Case6.98 nb_sol=0 ticks=255811 tps=100 nb_sec=2558
case_no=110 label=Case6.98 nb_sol=0 ticks=334563 tps=100 nb_sec=3345
case_no=110 label=Case6.98 nb_sol=0 ticks=250819 tps=100 nb_sec=2508
case_no=110 label=Case6.98 nb_sol=0 ticks=247143 tps=100 nb_sec=2471
case_no=110 label=Case6.98 nb_sol=0 ticks=255668 tps=100 nb_sec=2556
case_no=110 label=Case6.98 nb_sol=0 ticks=262106 tps=100 nb_sec=2621
case_no=110 label=Case6.98 nb_sol=0 ticks=129640 tps=100 nb_sec=1296
case_no=110 label=Case6.98 nb_sol=0 ticks=214153 tps=100 nb_sec=2141
case_no=110 label=Case6.98 nb_sol=0 ticks=184877 tps=100 nb_sec=1848
case_no=110 label=Case6.98 nb_sol=0 ticks=139459 tps=100 nb_sec=1394
case_no=110 label=Case6.98 nb_sol=0 ticks=97937 tps=100 nb_sec=979
case_no=110 label=Case6.98 nb_sol=0 ticks=195254 tps=100 nb_sec=1952
case_no=110 label=Case6.98 nb_sol=0 ticks=144358 tps=100 nb_sec=1443
case_no=110 label=Case6.98 nb_sol=0 ticks=285828 tps=100 nb_sec=2858
case_no=110 label=Case6.98 nb_sol=0 ticks=173161 tps=100 nb_sec=1731
case_no=110 label=Case6.98 nb_sol=0 ticks=252991 tps=100 nb_sec=2529
case_no=110 label=Case6.98 nb_sol=0 ticks=179022 tps=100 nb_sec=1790
case_no=110 label=Case6.98 nb_sol=0 ticks=120036 tps=100 nb_sec=1200
case_no=110 label=Case6.98 nb_sol=0 ticks=237889 tps=100 nb_sec=2378
case_no=110 label=Case6.98 nb_sol=0 ticks=149422 tps=100 nb_sec=1494
case_no=110 label=Case6.98 nb_sol=0 ticks=129982 tps=100 nb_sec=1299
case_no=110 label=Case6.98 nb_sol=0 ticks=288528 tps=100 nb_sec=2885
case_no=110 label=Case6.98 nb_sol=0 ticks=115668 tps=100 nb_sec=1156
case_no=110 label=Case6.98 nb_sol=0 ticks=241174 tps=100 nb_sec=2411
case_no=110 label=Case6.98 nb_sol=0 ticks=176802 tps=100 nb_sec=1768
case_no=110 label=Case6.98 nb_sol=0 ticks=224292 tps=100 nb_sec=2242
case_no=110 label=Case6.98 nb_sol=0 ticks=143153 tps=100 nb_sec=1431
case_no=110 label=Case6.98 nb_sol=0 ticks=238384 tps=100 nb_sec=2383
case_no=110 label=Case6.98 nb_sol=0 ticks=152208 tps=100 nb_sec=1522
case_no=110 label=Case6.98 nb_sol=0 ticks=151107 tps=100 nb_sec=1511
case_no=110 label=Case6.98 nb_sol=0 ticks=183614 tps=100 nb_sec=1836
case_no=110 label=Case6.98 nb_sol=0 ticks=166444 tps=100 nb_sec=1664
case_no=110 label=Case6.98 nb_sol=0 ticks=187868 tps=100 nb_sec=1878
case_no=110 label=Case6.98 nb_sol=0 ticks=260467 tps=100 nb_sec=2604
case_no=110 label=Case6.98 nb_sol=0 ticks=337722 tps=100 nb_sec=3377
case_no=110 label=Case6.98 nb_sol=0 ticks=196112 tps=100 nb_sec=1961
case_no=110 label=Case6.98 nb_sol=0 ticks=188376 tps=100 nb_sec=1883
case_no=110 label=Case6.98 nb_sol=0 ticks=240045 tps=100 nb_sec=2400
case_no=110 label=Case6.98 nb_sol=0 ticks=192613 tps=100 nb_sec=1926
case_no=110 label=Case6.98 nb_sol=0 ticks=155755 tps=100 nb_sec=1557
case_no=110 label=Case6.98 nb_sol=0 ticks=198304 tps=100 nb_sec=1983
case_no=110 label=Case6.98 nb_sol=0 ticks=175698 tps=100 nb_sec=1756
case_no=110 label=Case6.98 nb_sol=0 ticks=298434 tps=100 nb_sec=2984
case_no=110 label=Case6.98 nb_sol=0 ticks=206414 tps=100 nb_sec=2064
case_no=110 label=Case6.98 nb_sol=0 ticks=184787 tps=100 nb_sec=1847
case_no=110 label=Case6.98 nb_sol=0 ticks=213105 tps=100 nb_sec=2131
case_no=110 label=Case6.98 nb_sol=0 ticks=173749 tps=100 nb_sec=1737
case_no=110 label=Case6.98 nb_sol=0 ticks=218591 tps=100 nb_sec=2185
case_no=110 label=Case6.98 nb_sol=0 ticks=163873 tps=100 nb_sec=1638
case_no=110 label=Case6.98 nb_sol=0 ticks=180127 tps=100 nb_sec=1801
case_no=110 label=Case6.98 nb_sol=0 ticks=124059 tps=100 nb_sec=1240
case_no=110 label=Case6.98 nb_sol=0 ticks=94468 tps=100 nb_sec=944
case_no=110 label=Case6.98 nb_sol=0 ticks=237985 tps=100 nb_sec=2379
case_no=110 label=Case6.98 nb_sol=0 ticks=180208 tps=100 nb_sec=1802
case_no=110 label=Case6.98 nb_sol=0 ticks=182623 tps=100 nb_sec=1826
case_no=110 label=Case6.98 nb_sol=0 ticks=107736 tps=100 nb_sec=1077
case_no=110 label=Case6.98 nb_sol=0 ticks=153645 tps=100 nb_sec=1536
case_no=110 label=Case6.98 nb_sol=0 ticks=152924 tps=100 nb_sec=1529
case_no=110 label=Case6.98 nb_sol=0 ticks=225964 tps=100 nb_sec=2259
case_no=110 label=Case6.98 nb_sol=0 ticks=201806 tps=100 nb_sec=2018
case_no=110 label=Case6.98 nb_sol=0 ticks=244506 tps=100 nb_sec=2445
case_no=110 label=Case6.98 nb_sol=0 ticks=217229 tps=100 nb_sec=2172
case_no=110 label=Case6.98 nb_sol=0 ticks=120989 tps=100 nb_sec=1209
case_no=110 label=Case6.98 nb_sol=0 ticks=213178 tps=100 nb_sec=2131
case_no=110 label=Case6.98 nb_sol=0 ticks=175745 tps=100 nb_sec=1757
case_no=110 label=Case6.98 nb_sol=0 ticks=144876 tps=100 nb_sec=1448
case_no=110 label=Case6.98 nb_sol=0 ticks=188350 tps=100 nb_sec=1883
case_no=110 label=Case6.98 nb_sol=0 ticks=378853 tps=100 nb_sec=3788
case_no=110 label=Case6.98 nb_sol=0 ticks=229856 tps=100 nb_sec=2298
case_no=110 label=Case6.98 nb_sol=0 ticks=231094 tps=100 nb_sec=2310
case_no=110 label=Case6.98 nb_sol=0 ticks=129585 tps=100 nb_sec=1295
case_no=110 label=Case6.98 nb_sol=0 ticks=120422 tps=100 nb_sec=1204
case_no=110 label=Case6.98 nb_sol=0 ticks=192804 tps=100 nb_sec=1928
case_no=110 label=Case6.98 nb_sol=0 ticks=87728 tps=100 nb_sec=877
case_no=110 label=Case6.98 nb_sol=0 ticks=97713 tps=100 nb_sec=977
case_no=110 label=Case6.98 nb_sol=0 ticks=209814 tps=100 nb_sec=2098
case_no=110 label=Case6.98 nb_sol=0 ticks=108301 tps=100 nb_sec=1083
case_no=110 label=Case6.98 nb_sol=0 ticks=255298 tps=100 nb_sec=2552
case_no=110 label=Case6.98 nb_sol=0 ticks=135285 tps=100 nb_sec=1352
case_no=110 label=Case6.98 nb_sol=0 ticks=126761 tps=100 nb_sec=1267
case_no=110 label=Case6.98 nb_sol=0 ticks=165951 tps=100 nb_sec=1659
case_no=110 label=Case6.98 nb_sol=0 ticks=185174 tps=100 nb_sec=1851
case_no=110 label=Case6.98 nb_sol=0 ticks=266226 tps=100 nb_sec=2662
case_no=110 label=Case6.98 nb_sol=0 ticks=265064 tps=100 nb_sec=2650
case_no=110 label=Case6.98 nb_sol=0 ticks=238706 tps=100 nb_sec=2387
case_no=110 label=Case6.98 nb_sol=0 ticks=249079 tps=100 nb_sec=2490
case_no=110 label=Case6.98 nb_sol=0 ticks=233961 tps=100 nb_sec=2339
case_no=110 label=Case6.98 nb_sol=0 ticks=136948 tps=100 nb_sec=1369
case_no=110 label=Case6.98 nb_sol=0 ticks=223534 tps=100 nb_sec=2235
case_no=110 label=Case6.98 nb_sol=0 ticks=143780 tps=100 nb_sec=1437
case_no=110 label=Case6.98 nb_sol=0 ticks=77313 tps=100 nb_sec=773
case_no=110 label=Case6.98 nb_sol=0 ticks=227826 tps=100 nb_sec=2278
case_no=110 label=Case6.98 nb_sol=0 ticks=111329 tps=100 nb_sec=1113
case_no=110 label=Case6.98 nb_sol=0 ticks=204152 tps=100 nb_sec=2041
case_no=110 label=Case6.98 nb_sol=0 ticks=193139 tps=100 nb_sec=1931
case_no=110 label=Case6.98 nb_sol=0 ticks=185893 tps=100 nb_sec=1858
case_no=110 label=Case6.98 nb_sol=0 ticks=175295 tps=100 nb_sec=1752
case_no=110 label=Case6.98 nb_sol=0 ticks=188342 tps=100 nb_sec=1883
case_no=110 label=Case6.98 nb_sol=0 ticks=289098 tps=100 nb_sec=2890
case_no=110 label=Case6.98 nb_sol=0 ticks=189716 tps=100 nb_sec=1897
case_no=110 label=Case6.98 nb_sol=0 ticks=187719 tps=100 nb_sec=1877
case_no=110 label=Case6.98 nb_sol=0 ticks=117489 tps=100 nb_sec=1174
case_no=110 label=Case6.98 nb_sol=0 ticks=154071 tps=100 nb_sec=1540
case_no=110 label=Case6.98 nb_sol=0 ticks=72126 tps=100 nb_sec=721
case_no=110 label=Case6.98 nb_sol=0 ticks=194695 tps=100 nb_sec=1946
case_no=110 label=Case6.98 nb_sol=0 ticks=219640 tps=100 nb_sec=2196
case_no=110 label=Case6.98 nb_sol=0 ticks=222186 tps=100 nb_sec=2221
case_no=110 label=Case6.98 nb_sol=0 ticks=133914 tps=100 nb_sec=1339
case_no=110 label=Case6.98 nb_sol=0 ticks=145926 tps=100 nb_sec=1459
case_no=110 label=Case6.98 nb_sol=0 ticks=123785 tps=100 nb_sec=1237
case_no=110 label=Case6.98 nb_sol=0 ticks=172459 tps=100 nb_sec=1724
case_no=110 label=Case6.98 nb_sol=0 ticks=160676 tps=100 nb_sec=1606
case_no=110 label=Case6.98 nb_sol=0 ticks=165129 tps=100 nb_sec=1651
case_no=110 label=Case6.98 nb_sol=0 ticks=146033 tps=100 nb_sec=1460
case_no=110 label=Case6.98 nb_sol=0 ticks=166783 tps=100 nb_sec=1667
case_no=110 label=Case6.98 nb_sol=0 ticks=159037 tps=100 nb_sec=1590
case_no=110 label=Case6.98 nb_sol=0 ticks=157951 tps=100 nb_sec=1579
case_no=110 label=Case6.98 nb_sol=0 ticks=95425 tps=100 nb_sec=954
case_no=110 label=Case6.98 nb_sol=0 ticks=210533 tps=100 nb_sec=2105
case_no=110 label=Case6.98 nb_sol=0 ticks=167920 tps=100 nb_sec=1679
case_no=110 label=Case6.98 nb_sol=0 ticks=198000 tps=100 nb_sec=1980
case_no=110 label=Case6.98 nb_sol=0 ticks=116089 tps=100 nb_sec=1160
case_no=110 label=Case6.98 nb_sol=0 ticks=223786 tps=100 nb_sec=2237
case_no=110 label=Case6.98 nb_sol=0 ticks=238183 tps=100 nb_sec=2381
case_no=110 label=Case6.98 nb_sol=0 ticks=280694 tps=100 nb_sec=2806
case_no=110 label=Case6.98 nb_sol=0 ticks=239096 tps=100 nb_sec=2390
case_no=110 label=Case6.98 nb_sol=0 ticks=212686 tps=100 nb_sec=2126
case_no=110 label=Case6.98 nb_sol=0 ticks=144310 tps=100 nb_sec=1443
case_no=110 label=Case6.98 nb_sol=0 ticks=83987 tps=100 nb_sec=839
case_no=110 label=Case6.98 nb_sol=0 ticks=119704 tps=100 nb_sec=1197
case_no=110 label=Case6.98 nb_sol=0 ticks=242340 tps=100 nb_sec=2423
case_no=110 label=Case6.98 nb_sol=0 ticks=134388 tps=100 nb_sec=1343
case_no=110 label=Case6.98 nb_sol=0 ticks=82487 tps=100 nb_sec=824
case_no=110 label=Case6.98 nb_sol=0 ticks=77145 tps=100 nb_sec=771
case_no=110 label=Case6.98 nb_sol=0 ticks=147255 tps=100 nb_sec=1472
case_no=110 label=Case6.98 nb_sol=0 ticks=107342 tps=100 nb_sec=1073
case_no=110 label=Case6.98 nb_sol=0 ticks=265346 tps=100 nb_sec=2653
case_no=110 label=Case6.98 nb_sol=0 ticks=240459 tps=100 nb_sec=2404
case_no=110 label=Case6.98 nb_sol=0 ticks=206028 tps=100 nb_sec=2060
case_no=110 label=Case6.98 nb_sol=0 ticks=168685 tps=100 nb_sec=1686
case_no=110 label=Case6.98 nb_sol=0 ticks=176004 tps=100 nb_sec=1760
case_no=110 label=Case6.98 nb_sol=0 ticks=131275 tps=100 nb_sec=1312
case_no=110 label=Case6.98 nb_sol=0 ticks=186777 tps=100 nb_sec=1867
case_no=110 label=Case6.98 nb_sol=0 ticks=177261 tps=100 nb_sec=1772
case_no=110 label=Case6.98 nb_sol=0 ticks=180815 tps=100 nb_sec=1808
case_no=110 label=Case6.98 nb_sol=0 ticks=165506 tps=100 nb_sec=1655
case_no=110 label=Case6.98 nb_sol=0 ticks=201047 tps=100 nb_sec=2010
case_no=110 label=Case6.98 nb_sol=0 ticks=183938 tps=100 nb_sec=1839
case_no=110 label=Case6.98 nb_sol=0 ticks=142720 tps=100 nb_sec=1427
case_no=110 label=Case6.98 nb_sol=0 ticks=177718 tps=100 nb_sec=1777
case_no=110 label=Case6.98 nb_sol=0 ticks=253954 tps=100 nb_sec=2539
case_no=110 label=Case6.98 nb_sol=0 ticks=216043 tps=100 nb_sec=2160
case_no=110 label=Case6.98 nb_sol=0 ticks=176997 tps=100 nb_sec=1769
case_no=110 label=Case6.98 nb_sol=0 ticks=136752 tps=100 nb_sec=1367
case_no=110 label=Case6.98 nb_sol=0 ticks=172166 tps=100 nb_sec=1721
case_no=110 label=Case6.98 nb_sol=0 ticks=210826 tps=100 nb_sec=2108
case_no=110 label=Case6.98 nb_sol=0 ticks=143952 tps=100 nb_sec=1439
case_no=110 label=Case6.98 nb_sol=0 ticks=265088 tps=100 nb_sec=2650
case_no=110 label=Case6.98 nb_sol=0 ticks=154073 tps=100 nb_sec=1540
case_no=110 label=Case6.98 nb_sol=0 ticks=292407 tps=100 nb_sec=2924
case_no=110 label=Case6.98 nb_sol=0 ticks=115067 tps=100 nb_sec=1150
case_no=110 label=Case6.98 nb_sol=0 ticks=225253 tps=100 nb_sec=2252
case_no=110 label=Case6.98 nb_sol=0 ticks=78603 tps=100 nb_sec=786
case_no=110 label=Case6.98 nb_sol=0 ticks=274469 tps=100 nb_sec=2744
case_no=110 label=Case6.98 nb_sol=0 ticks=109380 tps=100 nb_sec=1093
case_no=110 label=Case6.98 nb_sol=0 ticks=196699 tps=100 nb_sec=1966
case_no=110 label=Case6.98 nb_sol=0 ticks=174071 tps=100 nb_sec=1740
Nb_sol=0
Nb_sec=499943
5-18:52:23 or 138 hours
missing cases:
none