argc=5
-M 256
file2=30_select_Case6.146_starter_15_
checking files mod 256 from 0 to 255
case_no=158 label=Case6.146 nb_sol=0 ticks=143935 tps=100 nb_sec=1439
case_no=158 label=Case6.146 nb_sol=0 ticks=176760 tps=100 nb_sec=1767
case_no=158 label=Case6.146 nb_sol=0 ticks=183566 tps=100 nb_sec=1835
case_no=158 label=Case6.146 nb_sol=0 ticks=111629 tps=100 nb_sec=1116
case_no=158 label=Case6.146 nb_sol=0 ticks=209184 tps=100 nb_sec=2091
case_no=158 label=Case6.146 nb_sol=0 ticks=73905 tps=100 nb_sec=739
case_no=158 label=Case6.146 nb_sol=0 ticks=89704 tps=100 nb_sec=897
case_no=158 label=Case6.146 nb_sol=0 ticks=151052 tps=100 nb_sec=1510
case_no=158 label=Case6.146 nb_sol=0 ticks=297584 tps=100 nb_sec=2975
case_no=158 label=Case6.146 nb_sol=0 ticks=144618 tps=100 nb_sec=1446
case_no=158 label=Case6.146 nb_sol=0 ticks=305790 tps=100 nb_sec=3057
case_no=158 label=Case6.146 nb_sol=0 ticks=274122 tps=100 nb_sec=2741
case_no=158 label=Case6.146 nb_sol=0 ticks=190631 tps=100 nb_sec=1906
case_no=158 label=Case6.146 nb_sol=0 ticks=213638 tps=100 nb_sec=2136
case_no=158 label=Case6.146 nb_sol=0 ticks=99711 tps=100 nb_sec=997
case_no=158 label=Case6.146 nb_sol=0 ticks=105365 tps=100 nb_sec=1053
case_no=158 label=Case6.146 nb_sol=0 ticks=223729 tps=100 nb_sec=2237
case_no=158 label=Case6.146 nb_sol=0 ticks=62622 tps=100 nb_sec=626
case_no=158 label=Case6.146 nb_sol=0 ticks=252291 tps=100 nb_sec=2522
case_no=158 label=Case6.146 nb_sol=0 ticks=123350 tps=100 nb_sec=1233
case_no=158 label=Case6.146 nb_sol=0 ticks=204142 tps=100 nb_sec=2041
case_no=158 label=Case6.146 nb_sol=0 ticks=181674 tps=100 nb_sec=1816
case_no=158 label=Case6.146 nb_sol=0 ticks=86055 tps=100 nb_sec=860
case_no=158 label=Case6.146 nb_sol=0 ticks=213147 tps=100 nb_sec=2131
case_no=158 label=Case6.146 nb_sol=0 ticks=232907 tps=100 nb_sec=2329
case_no=158 label=Case6.146 nb_sol=0 ticks=199122 tps=100 nb_sec=1991
case_no=158 label=Case6.146 nb_sol=0 ticks=226494 tps=100 nb_sec=2264
case_no=158 label=Case6.146 nb_sol=0 ticks=219308 tps=100 nb_sec=2193
case_no=158 label=Case6.146 nb_sol=0 ticks=224495 tps=100 nb_sec=2244
case_no=158 label=Case6.146 nb_sol=0 ticks=70108 tps=100 nb_sec=701
case_no=158 label=Case6.146 nb_sol=0 ticks=92621 tps=100 nb_sec=926
case_no=158 label=Case6.146 nb_sol=0 ticks=143837 tps=100 nb_sec=1438
case_no=158 label=Case6.146 nb_sol=0 ticks=185412 tps=100 nb_sec=1854
case_no=158 label=Case6.146 nb_sol=0 ticks=169084 tps=100 nb_sec=1690
case_no=158 label=Case6.146 nb_sol=0 ticks=189493 tps=100 nb_sec=1894
case_no=158 label=Case6.146 nb_sol=0 ticks=52418 tps=100 nb_sec=524
case_no=158 label=Case6.146 nb_sol=0 ticks=275209 tps=100 nb_sec=2752
case_no=158 label=Case6.146 nb_sol=0 ticks=109994 tps=100 nb_sec=1099
case_no=158 label=Case6.146 nb_sol=0 ticks=337005 tps=100 nb_sec=3370
case_no=158 label=Case6.146 nb_sol=0 ticks=88163 tps=100 nb_sec=881
case_no=158 label=Case6.146 nb_sol=0 ticks=102689 tps=100 nb_sec=1026
case_no=158 label=Case6.146 nb_sol=0 ticks=142990 tps=100 nb_sec=1429
case_no=158 label=Case6.146 nb_sol=0 ticks=185081 tps=100 nb_sec=1850
case_no=158 label=Case6.146 nb_sol=0 ticks=151547 tps=100 nb_sec=1515
case_no=158 label=Case6.146 nb_sol=0 ticks=103913 tps=100 nb_sec=1039
case_no=158 label=Case6.146 nb_sol=0 ticks=222050 tps=100 nb_sec=2220
case_no=158 label=Case6.146 nb_sol=0 ticks=325838 tps=100 nb_sec=3258
case_no=158 label=Case6.146 nb_sol=0 ticks=178624 tps=100 nb_sec=1786
case_no=158 label=Case6.146 nb_sol=0 ticks=117932 tps=100 nb_sec=1179
case_no=158 label=Case6.146 nb_sol=0 ticks=178600 tps=100 nb_sec=1786
case_no=158 label=Case6.146 nb_sol=0 ticks=185446 tps=100 nb_sec=1854
case_no=158 label=Case6.146 nb_sol=0 ticks=215221 tps=100 nb_sec=2152
case_no=158 label=Case6.146 nb_sol=0 ticks=192094 tps=100 nb_sec=1920
case_no=158 label=Case6.146 nb_sol=0 ticks=245618 tps=100 nb_sec=2456
case_no=158 label=Case6.146 nb_sol=0 ticks=186177 tps=100 nb_sec=1861
case_no=158 label=Case6.146 nb_sol=0 ticks=88957 tps=100 nb_sec=889
case_no=158 label=Case6.146 nb_sol=0 ticks=125151 tps=100 nb_sec=1251
case_no=158 label=Case6.146 nb_sol=0 ticks=96958 tps=100 nb_sec=969
case_no=158 label=Case6.146 nb_sol=0 ticks=105351 tps=100 nb_sec=1053
case_no=158 label=Case6.146 nb_sol=0 ticks=125582 tps=100 nb_sec=1255
case_no=158 label=Case6.146 nb_sol=0 ticks=127732 tps=100 nb_sec=1277
case_no=158 label=Case6.146 nb_sol=0 ticks=83918 tps=100 nb_sec=839
case_no=158 label=Case6.146 nb_sol=0 ticks=121999 tps=100 nb_sec=1219
case_no=158 label=Case6.146 nb_sol=0 ticks=124950 tps=100 nb_sec=1249
case_no=158 label=Case6.146 nb_sol=0 ticks=91948 tps=100 nb_sec=919
case_no=158 label=Case6.146 nb_sol=0 ticks=93652 tps=100 nb_sec=936
case_no=158 label=Case6.146 nb_sol=0 ticks=121656 tps=100 nb_sec=1216
case_no=158 label=Case6.146 nb_sol=0 ticks=99058 tps=100 nb_sec=990
case_no=158 label=Case6.146 nb_sol=0 ticks=73707 tps=100 nb_sec=737
case_no=158 label=Case6.146 nb_sol=0 ticks=162555 tps=100 nb_sec=1625
case_no=158 label=Case6.146 nb_sol=0 ticks=114330 tps=100 nb_sec=1143
case_no=158 label=Case6.146 nb_sol=0 ticks=103145 tps=100 nb_sec=1031
case_no=158 label=Case6.146 nb_sol=0 ticks=53225 tps=100 nb_sec=532
case_no=158 label=Case6.146 nb_sol=0 ticks=162085 tps=100 nb_sec=1620
case_no=158 label=Case6.146 nb_sol=0 ticks=153375 tps=100 nb_sec=1533
case_no=158 label=Case6.146 nb_sol=0 ticks=108861 tps=100 nb_sec=1088
case_no=158 label=Case6.146 nb_sol=0 ticks=187284 tps=100 nb_sec=1872
case_no=158 label=Case6.146 nb_sol=0 ticks=184893 tps=100 nb_sec=1848
case_no=158 label=Case6.146 nb_sol=0 ticks=215224 tps=100 nb_sec=2152
case_no=158 label=Case6.146 nb_sol=0 ticks=188665 tps=100 nb_sec=1886
case_no=158 label=Case6.146 nb_sol=0 ticks=209910 tps=100 nb_sec=2099
case_no=158 label=Case6.146 nb_sol=0 ticks=150772 tps=100 nb_sec=1507
case_no=158 label=Case6.146 nb_sol=0 ticks=121329 tps=100 nb_sec=1213
case_no=158 label=Case6.146 nb_sol=0 ticks=238049 tps=100 nb_sec=2380
case_no=158 label=Case6.146 nb_sol=0 ticks=218594 tps=100 nb_sec=2185
case_no=158 label=Case6.146 nb_sol=0 ticks=142451 tps=100 nb_sec=1424
case_no=158 label=Case6.146 nb_sol=0 ticks=236610 tps=100 nb_sec=2366
case_no=158 label=Case6.146 nb_sol=0 ticks=191183 tps=100 nb_sec=1911
case_no=158 label=Case6.146 nb_sol=0 ticks=187428 tps=100 nb_sec=1874
case_no=158 label=Case6.146 nb_sol=0 ticks=239710 tps=100 nb_sec=2397
case_no=158 label=Case6.146 nb_sol=0 ticks=202373 tps=100 nb_sec=2023
case_no=158 label=Case6.146 nb_sol=0 ticks=238969 tps=100 nb_sec=2389
case_no=158 label=Case6.146 nb_sol=0 ticks=207582 tps=100 nb_sec=2075
case_no=158 label=Case6.146 nb_sol=0 ticks=124382 tps=100 nb_sec=1243
case_no=158 label=Case6.146 nb_sol=0 ticks=151217 tps=100 nb_sec=1512
case_no=158 label=Case6.146 nb_sol=0 ticks=195381 tps=100 nb_sec=1953
case_no=158 label=Case6.146 nb_sol=0 ticks=133829 tps=100 nb_sec=1338
case_no=158 label=Case6.146 nb_sol=0 ticks=91088 tps=100 nb_sec=910
case_no=158 label=Case6.146 nb_sol=0 ticks=230800 tps=100 nb_sec=2308
case_no=158 label=Case6.146 nb_sol=0 ticks=259718 tps=100 nb_sec=2597
case_no=158 label=Case6.146 nb_sol=0 ticks=213134 tps=100 nb_sec=2131
case_no=158 label=Case6.146 nb_sol=0 ticks=259373 tps=100 nb_sec=2593
case_no=158 label=Case6.146 nb_sol=0 ticks=173798 tps=100 nb_sec=1737
case_no=158 label=Case6.146 nb_sol=0 ticks=187892 tps=100 nb_sec=1878
case_no=158 label=Case6.146 nb_sol=0 ticks=198767 tps=100 nb_sec=1987
case_no=158 label=Case6.146 nb_sol=0 ticks=146830 tps=100 nb_sec=1468
case_no=158 label=Case6.146 nb_sol=0 ticks=146471 tps=100 nb_sec=1464
case_no=158 label=Case6.146 nb_sol=0 ticks=175250 tps=100 nb_sec=1752
case_no=158 label=Case6.146 nb_sol=0 ticks=150848 tps=100 nb_sec=1508
case_no=158 label=Case6.146 nb_sol=0 ticks=139546 tps=100 nb_sec=1395
case_no=158 label=Case6.146 nb_sol=0 ticks=133546 tps=100 nb_sec=1335
case_no=158 label=Case6.146 nb_sol=0 ticks=132684 tps=100 nb_sec=1326
case_no=158 label=Case6.146 nb_sol=0 ticks=129479 tps=100 nb_sec=1294
case_no=158 label=Case6.146 nb_sol=0 ticks=175055 tps=100 nb_sec=1750
case_no=158 label=Case6.146 nb_sol=0 ticks=371932 tps=100 nb_sec=3719
case_no=158 label=Case6.146 nb_sol=0 ticks=132626 tps=100 nb_sec=1326
case_no=158 label=Case6.146 nb_sol=0 ticks=348400 tps=100 nb_sec=3484
case_no=158 label=Case6.146 nb_sol=0 ticks=198808 tps=100 nb_sec=1988
case_no=158 label=Case6.146 nb_sol=0 ticks=366577 tps=100 nb_sec=3665
case_no=158 label=Case6.146 nb_sol=0 ticks=122856 tps=100 nb_sec=1228
case_no=158 label=Case6.146 nb_sol=0 ticks=200492 tps=100 nb_sec=2004
case_no=158 label=Case6.146 nb_sol=0 ticks=182091 tps=100 nb_sec=1820
case_no=158 label=Case6.146 nb_sol=0 ticks=144671 tps=100 nb_sec=1446
case_no=158 label=Case6.146 nb_sol=0 ticks=121510 tps=100 nb_sec=1215
case_no=158 label=Case6.146 nb_sol=0 ticks=157420 tps=100 nb_sec=1574
case_no=158 label=Case6.146 nb_sol=0 ticks=164796 tps=100 nb_sec=1647
case_no=158 label=Case6.146 nb_sol=0 ticks=85217 tps=100 nb_sec=852
case_no=158 label=Case6.146 nb_sol=0 ticks=175811 tps=100 nb_sec=1758
case_no=158 label=Case6.146 nb_sol=0 ticks=88700 tps=100 nb_sec=887
case_no=158 label=Case6.146 nb_sol=0 ticks=69209 tps=100 nb_sec=692
case_no=158 label=Case6.146 nb_sol=0 ticks=82877 tps=100 nb_sec=828
case_no=158 label=Case6.146 nb_sol=0 ticks=59191 tps=100 nb_sec=591
case_no=158 label=Case6.146 nb_sol=0 ticks=130627 tps=100 nb_sec=1306
case_no=158 label=Case6.146 nb_sol=0 ticks=102324 tps=100 nb_sec=1023
case_no=158 label=Case6.146 nb_sol=0 ticks=122093 tps=100 nb_sec=1220
case_no=158 label=Case6.146 nb_sol=0 ticks=164135 tps=100 nb_sec=1641
case_no=158 label=Case6.146 nb_sol=0 ticks=189426 tps=100 nb_sec=1894
case_no=158 label=Case6.146 nb_sol=0 ticks=178191 tps=100 nb_sec=1781
case_no=158 label=Case6.146 nb_sol=0 ticks=155605 tps=100 nb_sec=1556
case_no=158 label=Case6.146 nb_sol=0 ticks=78437 tps=100 nb_sec=784
case_no=158 label=Case6.146 nb_sol=0 ticks=144170 tps=100 nb_sec=1441
case_no=158 label=Case6.146 nb_sol=0 ticks=192948 tps=100 nb_sec=1929
case_no=158 label=Case6.146 nb_sol=0 ticks=263100 tps=100 nb_sec=2631
case_no=158 label=Case6.146 nb_sol=0 ticks=99565 tps=100 nb_sec=995
case_no=158 label=Case6.146 nb_sol=0 ticks=206486 tps=100 nb_sec=2064
case_no=158 label=Case6.146 nb_sol=0 ticks=108811 tps=100 nb_sec=1088
case_no=158 label=Case6.146 nb_sol=0 ticks=153884 tps=100 nb_sec=1538
case_no=158 label=Case6.146 nb_sol=0 ticks=115467 tps=100 nb_sec=1154
case_no=158 label=Case6.146 nb_sol=0 ticks=156230 tps=100 nb_sec=1562
case_no=158 label=Case6.146 nb_sol=0 ticks=160712 tps=100 nb_sec=1607
case_no=158 label=Case6.146 nb_sol=0 ticks=138547 tps=100 nb_sec=1385
case_no=158 label=Case6.146 nb_sol=0 ticks=184848 tps=100 nb_sec=1848
case_no=158 label=Case6.146 nb_sol=0 ticks=128071 tps=100 nb_sec=1280
case_no=158 label=Case6.146 nb_sol=0 ticks=215874 tps=100 nb_sec=2158
case_no=158 label=Case6.146 nb_sol=0 ticks=95250 tps=100 nb_sec=952
case_no=158 label=Case6.146 nb_sol=0 ticks=73957 tps=100 nb_sec=739
case_no=158 label=Case6.146 nb_sol=0 ticks=117924 tps=100 nb_sec=1179
case_no=158 label=Case6.146 nb_sol=0 ticks=104551 tps=100 nb_sec=1045
case_no=158 label=Case6.146 nb_sol=0 ticks=140968 tps=100 nb_sec=1409
case_no=158 label=Case6.146 nb_sol=0 ticks=230998 tps=100 nb_sec=2309
case_no=158 label=Case6.146 nb_sol=0 ticks=150133 tps=100 nb_sec=1501
case_no=158 label=Case6.146 nb_sol=0 ticks=166266 tps=100 nb_sec=1662
case_no=158 label=Case6.146 nb_sol=0 ticks=239984 tps=100 nb_sec=2399
case_no=158 label=Case6.146 nb_sol=0 ticks=84023 tps=100 nb_sec=840
case_no=158 label=Case6.146 nb_sol=0 ticks=230184 tps=100 nb_sec=2301
case_no=158 label=Case6.146 nb_sol=0 ticks=174007 tps=100 nb_sec=1740
case_no=158 label=Case6.146 nb_sol=0 ticks=219011 tps=100 nb_sec=2190
case_no=158 label=Case6.146 nb_sol=0 ticks=382982 tps=100 nb_sec=3829
case_no=158 label=Case6.146 nb_sol=0 ticks=143659 tps=100 nb_sec=1436
case_no=158 label=Case6.146 nb_sol=0 ticks=227943 tps=100 nb_sec=2279
case_no=158 label=Case6.146 nb_sol=0 ticks=177665 tps=100 nb_sec=1776
case_no=158 label=Case6.146 nb_sol=0 ticks=247363 tps=100 nb_sec=2473
case_no=158 label=Case6.146 nb_sol=0 ticks=203924 tps=100 nb_sec=2039
case_no=158 label=Case6.146 nb_sol=0 ticks=252500 tps=100 nb_sec=2525
case_no=158 label=Case6.146 nb_sol=0 ticks=189647 tps=100 nb_sec=1896
case_no=158 label=Case6.146 nb_sol=0 ticks=163422 tps=100 nb_sec=1634
case_no=158 label=Case6.146 nb_sol=0 ticks=259423 tps=100 nb_sec=2594
case_no=158 label=Case6.146 nb_sol=0 ticks=161361 tps=100 nb_sec=1613
case_no=158 label=Case6.146 nb_sol=0 ticks=147002 tps=100 nb_sec=1470
case_no=158 label=Case6.146 nb_sol=0 ticks=183395 tps=100 nb_sec=1833
case_no=158 label=Case6.146 nb_sol=0 ticks=176499 tps=100 nb_sec=1764
case_no=158 label=Case6.146 nb_sol=0 ticks=94524 tps=100 nb_sec=945
case_no=158 label=Case6.146 nb_sol=0 ticks=106272 tps=100 nb_sec=1062
case_no=158 label=Case6.146 nb_sol=0 ticks=184798 tps=100 nb_sec=1847
case_no=158 label=Case6.146 nb_sol=0 ticks=216932 tps=100 nb_sec=2169
case_no=158 label=Case6.146 nb_sol=0 ticks=93800 tps=100 nb_sec=938
case_no=158 label=Case6.146 nb_sol=0 ticks=136129 tps=100 nb_sec=1361
case_no=158 label=Case6.146 nb_sol=0 ticks=96644 tps=100 nb_sec=966
case_no=158 label=Case6.146 nb_sol=0 ticks=199574 tps=100 nb_sec=1995
case_no=158 label=Case6.146 nb_sol=0 ticks=100099 tps=100 nb_sec=1000
case_no=158 label=Case6.146 nb_sol=0 ticks=141321 tps=100 nb_sec=1413
case_no=158 label=Case6.146 nb_sol=0 ticks=196145 tps=100 nb_sec=1961
case_no=158 label=Case6.146 nb_sol=0 ticks=83956 tps=100 nb_sec=839
case_no=158 label=Case6.146 nb_sol=0 ticks=220048 tps=100 nb_sec=2200
case_no=158 label=Case6.146 nb_sol=0 ticks=207094 tps=100 nb_sec=2070
case_no=158 label=Case6.146 nb_sol=0 ticks=164313 tps=100 nb_sec=1643
case_no=158 label=Case6.146 nb_sol=0 ticks=170299 tps=100 nb_sec=1702
case_no=158 label=Case6.146 nb_sol=0 ticks=133469 tps=100 nb_sec=1334
case_no=158 label=Case6.146 nb_sol=0 ticks=257836 tps=100 nb_sec=2578
case_no=158 label=Case6.146 nb_sol=0 ticks=137820 tps=100 nb_sec=1378
case_no=158 label=Case6.146 nb_sol=0 ticks=163972 tps=100 nb_sec=1639
case_no=158 label=Case6.146 nb_sol=0 ticks=122296 tps=100 nb_sec=1222
case_no=158 label=Case6.146 nb_sol=0 ticks=184891 tps=100 nb_sec=1848
case_no=158 label=Case6.146 nb_sol=0 ticks=157210 tps=100 nb_sec=1572
case_no=158 label=Case6.146 nb_sol=0 ticks=117871 tps=100 nb_sec=1178
case_no=158 label=Case6.146 nb_sol=0 ticks=173914 tps=100 nb_sec=1739
case_no=158 label=Case6.146 nb_sol=0 ticks=113137 tps=100 nb_sec=1131
case_no=158 label=Case6.146 nb_sol=0 ticks=131854 tps=100 nb_sec=1318
case_no=158 label=Case6.146 nb_sol=0 ticks=129626 tps=100 nb_sec=1296
case_no=158 label=Case6.146 nb_sol=0 ticks=168024 tps=100 nb_sec=1680
case_no=158 label=Case6.146 nb_sol=0 ticks=201451 tps=100 nb_sec=2014
case_no=158 label=Case6.146 nb_sol=0 ticks=172779 tps=100 nb_sec=1727
case_no=158 label=Case6.146 nb_sol=0 ticks=186679 tps=100 nb_sec=1866
case_no=158 label=Case6.146 nb_sol=0 ticks=249297 tps=100 nb_sec=2492
case_no=158 label=Case6.146 nb_sol=0 ticks=144923 tps=100 nb_sec=1449
case_no=158 label=Case6.146 nb_sol=0 ticks=173141 tps=100 nb_sec=1731
case_no=158 label=Case6.146 nb_sol=0 ticks=187219 tps=100 nb_sec=1872
case_no=158 label=Case6.146 nb_sol=0 ticks=139062 tps=100 nb_sec=1390
case_no=158 label=Case6.146 nb_sol=0 ticks=182926 tps=100 nb_sec=1829
case_no=158 label=Case6.146 nb_sol=0 ticks=151775 tps=100 nb_sec=1517
case_no=158 label=Case6.146 nb_sol=0 ticks=186553 tps=100 nb_sec=1865
case_no=158 label=Case6.146 nb_sol=0 ticks=79622 tps=100 nb_sec=796
case_no=158 label=Case6.146 nb_sol=0 ticks=114407 tps=100 nb_sec=1144
case_no=158 label=Case6.146 nb_sol=0 ticks=215898 tps=100 nb_sec=2158
case_no=158 label=Case6.146 nb_sol=0 ticks=179553 tps=100 nb_sec=1795
case_no=158 label=Case6.146 nb_sol=0 ticks=214200 tps=100 nb_sec=2142
case_no=158 label=Case6.146 nb_sol=0 ticks=172093 tps=100 nb_sec=1720
case_no=158 label=Case6.146 nb_sol=0 ticks=177981 tps=100 nb_sec=1779
case_no=158 label=Case6.146 nb_sol=0 ticks=170119 tps=100 nb_sec=1701
case_no=158 label=Case6.146 nb_sol=0 ticks=75815 tps=100 nb_sec=758
case_no=158 label=Case6.146 nb_sol=0 ticks=164883 tps=100 nb_sec=1648
case_no=158 label=Case6.146 nb_sol=0 ticks=235734 tps=100 nb_sec=2357
case_no=158 label=Case6.146 nb_sol=0 ticks=164757 tps=100 nb_sec=1647
case_no=158 label=Case6.146 nb_sol=0 ticks=124438 tps=100 nb_sec=1244
case_no=158 label=Case6.146 nb_sol=0 ticks=94866 tps=100 nb_sec=948
case_no=158 label=Case6.146 nb_sol=0 ticks=130229 tps=100 nb_sec=1302
case_no=158 label=Case6.146 nb_sol=0 ticks=160458 tps=100 nb_sec=1604
case_no=158 label=Case6.146 nb_sol=0 ticks=162264 tps=100 nb_sec=1622
case_no=158 label=Case6.146 nb_sol=0 ticks=158686 tps=100 nb_sec=1586
case_no=158 label=Case6.146 nb_sol=0 ticks=175174 tps=100 nb_sec=1751
case_no=158 label=Case6.146 nb_sol=0 ticks=120400 tps=100 nb_sec=1204
case_no=158 label=Case6.146 nb_sol=0 ticks=224712 tps=100 nb_sec=2247
case_no=158 label=Case6.146 nb_sol=0 ticks=76265 tps=100 nb_sec=762
case_no=158 label=Case6.146 nb_sol=0 ticks=180252 tps=100 nb_sec=1802
case_no=158 label=Case6.146 nb_sol=0 ticks=80156 tps=100 nb_sec=801
case_no=158 label=Case6.146 nb_sol=0 ticks=153549 tps=100 nb_sec=1535
case_no=158 label=Case6.146 nb_sol=0 ticks=110554 tps=100 nb_sec=1105
case_no=158 label=Case6.146 nb_sol=0 ticks=144786 tps=100 nb_sec=1447
case_no=158 label=Case6.146 nb_sol=0 ticks=153160 tps=100 nb_sec=1531
case_no=158 label=Case6.146 nb_sol=0 ticks=145343 tps=100 nb_sec=1453
case_no=158 label=Case6.146 nb_sol=0 ticks=132408 tps=100 nb_sec=1324
case_no=158 label=Case6.146 nb_sol=0 ticks=75152 tps=100 nb_sec=751
case_no=158 label=Case6.146 nb_sol=0 ticks=161507 tps=100 nb_sec=1615
case_no=158 label=Case6.146 nb_sol=0 ticks=203067 tps=100 nb_sec=2030
case_no=158 label=Case6.146 nb_sol=0 ticks=84310 tps=100 nb_sec=843
case_no=158 label=Case6.146 nb_sol=0 ticks=139709 tps=100 nb_sec=1397
Nb_sol=0
Nb_sec=418464
4-20:14:24 or 116 hours
missing cases:
none