argc=5
-M 64
file2=30_select_Case6.108_starter_15_
checking files mod 64 from 0 to 63
case_no=120 label=Case6.108 nb_sol=0 ticks=152912 tps=100 nb_sec=1529
case_no=120 label=Case6.108 nb_sol=0 ticks=113889 tps=100 nb_sec=1138
case_no=120 label=Case6.108 nb_sol=0 ticks=69272 tps=100 nb_sec=692
case_no=120 label=Case6.108 nb_sol=0 ticks=107941 tps=100 nb_sec=1079
case_no=120 label=Case6.108 nb_sol=0 ticks=166951 tps=100 nb_sec=1669
case_no=120 label=Case6.108 nb_sol=0 ticks=167047 tps=100 nb_sec=1670
case_no=120 label=Case6.108 nb_sol=0 ticks=119319 tps=100 nb_sec=1193
case_no=120 label=Case6.108 nb_sol=0 ticks=116255 tps=100 nb_sec=1162
case_no=120 label=Case6.108 nb_sol=0 ticks=197048 tps=100 nb_sec=1970
case_no=120 label=Case6.108 nb_sol=0 ticks=81533 tps=100 nb_sec=815
case_no=120 label=Case6.108 nb_sol=0 ticks=267326 tps=100 nb_sec=2673
case_no=120 label=Case6.108 nb_sol=0 ticks=171724 tps=100 nb_sec=1717
case_no=120 label=Case6.108 nb_sol=0 ticks=131887 tps=100 nb_sec=1318
case_no=120 label=Case6.108 nb_sol=0 ticks=138571 tps=100 nb_sec=1385
case_no=120 label=Case6.108 nb_sol=0 ticks=57623 tps=100 nb_sec=576
case_no=120 label=Case6.108 nb_sol=0 ticks=49715 tps=100 nb_sec=497
case_no=120 label=Case6.108 nb_sol=0 ticks=70107 tps=100 nb_sec=701
case_no=120 label=Case6.108 nb_sol=0 ticks=142017 tps=100 nb_sec=1420
case_no=120 label=Case6.108 nb_sol=0 ticks=138155 tps=100 nb_sec=1381
case_no=120 label=Case6.108 nb_sol=0 ticks=107666 tps=100 nb_sec=1076
case_no=120 label=Case6.108 nb_sol=0 ticks=61140 tps=100 nb_sec=611
case_no=120 label=Case6.108 nb_sol=0 ticks=82328 tps=100 nb_sec=823
case_no=120 label=Case6.108 nb_sol=0 ticks=88656 tps=100 nb_sec=886
case_no=120 label=Case6.108 nb_sol=0 ticks=54008 tps=100 nb_sec=540
case_no=120 label=Case6.108 nb_sol=0 ticks=79953 tps=100 nb_sec=799
case_no=120 label=Case6.108 nb_sol=0 ticks=40146 tps=100 nb_sec=401
case_no=120 label=Case6.108 nb_sol=0 ticks=53684 tps=100 nb_sec=536
case_no=120 label=Case6.108 nb_sol=0 ticks=88832 tps=100 nb_sec=888
case_no=120 label=Case6.108 nb_sol=0 ticks=94769 tps=100 nb_sec=947
case_no=120 label=Case6.108 nb_sol=0 ticks=56151 tps=100 nb_sec=561
case_no=120 label=Case6.108 nb_sol=0 ticks=51836 tps=100 nb_sec=518
case_no=120 label=Case6.108 nb_sol=0 ticks=81685 tps=100 nb_sec=816
case_no=120 label=Case6.108 nb_sol=0 ticks=86411 tps=100 nb_sec=864
case_no=120 label=Case6.108 nb_sol=0 ticks=48180 tps=100 nb_sec=481
case_no=120 label=Case6.108 nb_sol=0 ticks=46588 tps=100 nb_sec=465
case_no=120 label=Case6.108 nb_sol=0 ticks=42654 tps=100 nb_sec=426
case_no=120 label=Case6.108 nb_sol=0 ticks=31686 tps=100 nb_sec=316
case_no=120 label=Case6.108 nb_sol=0 ticks=29852 tps=100 nb_sec=298
case_no=120 label=Case6.108 nb_sol=0 ticks=127512 tps=100 nb_sec=1275
case_no=120 label=Case6.108 nb_sol=0 ticks=75698 tps=100 nb_sec=756
case_no=120 label=Case6.108 nb_sol=0 ticks=49880 tps=100 nb_sec=498
case_no=120 label=Case6.108 nb_sol=0 ticks=73679 tps=100 nb_sec=736
case_no=120 label=Case6.108 nb_sol=0 ticks=59629 tps=100 nb_sec=596
case_no=120 label=Case6.108 nb_sol=0 ticks=37295 tps=100 nb_sec=372
case_no=120 label=Case6.108 nb_sol=0 ticks=23949 tps=100 nb_sec=239
case_no=120 label=Case6.108 nb_sol=0 ticks=27456 tps=100 nb_sec=274
case_no=120 label=Case6.108 nb_sol=0 ticks=58728 tps=100 nb_sec=587
case_no=120 label=Case6.108 nb_sol=0 ticks=45679 tps=100 nb_sec=456
case_no=120 label=Case6.108 nb_sol=0 ticks=61218 tps=100 nb_sec=612
case_no=120 label=Case6.108 nb_sol=0 ticks=49122 tps=100 nb_sec=491
case_no=120 label=Case6.108 nb_sol=0 ticks=45623 tps=100 nb_sec=456
case_no=120 label=Case6.108 nb_sol=0 ticks=23647 tps=100 nb_sec=236
case_no=120 label=Case6.108 nb_sol=0 ticks=36268 tps=100 nb_sec=362
case_no=120 label=Case6.108 nb_sol=0 ticks=111767 tps=100 nb_sec=1117
case_no=120 label=Case6.108 nb_sol=0 ticks=73001 tps=100 nb_sec=730
case_no=120 label=Case6.108 nb_sol=0 ticks=80613 tps=100 nb_sec=806
case_no=120 label=Case6.108 nb_sol=0 ticks=112103 tps=100 nb_sec=1121
case_no=120 label=Case6.108 nb_sol=0 ticks=54446 tps=100 nb_sec=544
case_no=120 label=Case6.108 nb_sol=0 ticks=61431 tps=100 nb_sec=614
case_no=120 label=Case6.108 nb_sol=0 ticks=43925 tps=100 nb_sec=439
case_no=120 label=Case6.108 nb_sol=0 ticks=81358 tps=100 nb_sec=813
case_no=120 label=Case6.108 nb_sol=0 ticks=71085 tps=100 nb_sec=710
case_no=120 label=Case6.108 nb_sol=0 ticks=75360 tps=100 nb_sec=753
case_no=120 label=Case6.108 nb_sol=0 ticks=56287 tps=100 nb_sec=562
Nb_sol=0
Nb_sec=52992
0-14:43:12 or 14 hours
missing cases:
none