argc=5
-M 64
file2=30_select_Case6.105_starter_15_
checking files mod 64 from 0 to 63
case_no=117 label=Case6.105 nb_sol=0 ticks=138027 tps=100 nb_sec=1380
case_no=117 label=Case6.105 nb_sol=0 ticks=70140 tps=100 nb_sec=701
case_no=117 label=Case6.105 nb_sol=0 ticks=95267 tps=100 nb_sec=952
case_no=117 label=Case6.105 nb_sol=0 ticks=101239 tps=100 nb_sec=1012
case_no=117 label=Case6.105 nb_sol=0 ticks=104553 tps=100 nb_sec=1045
case_no=117 label=Case6.105 nb_sol=0 ticks=129435 tps=100 nb_sec=1294
case_no=117 label=Case6.105 nb_sol=0 ticks=67810 tps=100 nb_sec=678
case_no=117 label=Case6.105 nb_sol=0 ticks=96279 tps=100 nb_sec=962
case_no=117 label=Case6.105 nb_sol=0 ticks=166843 tps=100 nb_sec=1668
case_no=117 label=Case6.105 nb_sol=0 ticks=114557 tps=100 nb_sec=1145
case_no=117 label=Case6.105 nb_sol=0 ticks=218290 tps=100 nb_sec=2182
case_no=117 label=Case6.105 nb_sol=0 ticks=131840 tps=100 nb_sec=1318
case_no=117 label=Case6.105 nb_sol=0 ticks=116824 tps=100 nb_sec=1168
case_no=117 label=Case6.105 nb_sol=0 ticks=94229 tps=100 nb_sec=942
case_no=117 label=Case6.105 nb_sol=0 ticks=47998 tps=100 nb_sec=479
case_no=117 label=Case6.105 nb_sol=0 ticks=66629 tps=100 nb_sec=666
case_no=117 label=Case6.105 nb_sol=0 ticks=56997 tps=100 nb_sec=569
case_no=117 label=Case6.105 nb_sol=0 ticks=126091 tps=100 nb_sec=1260
case_no=117 label=Case6.105 nb_sol=0 ticks=78565 tps=100 nb_sec=785
case_no=117 label=Case6.105 nb_sol=0 ticks=55234 tps=100 nb_sec=552
case_no=117 label=Case6.105 nb_sol=0 ticks=67164 tps=100 nb_sec=671
case_no=117 label=Case6.105 nb_sol=0 ticks=70530 tps=100 nb_sec=705
case_no=117 label=Case6.105 nb_sol=0 ticks=72155 tps=100 nb_sec=721
case_no=117 label=Case6.105 nb_sol=0 ticks=58397 tps=100 nb_sec=583
case_no=117 label=Case6.105 nb_sol=0 ticks=68500 tps=100 nb_sec=685
case_no=117 label=Case6.105 nb_sol=0 ticks=31886 tps=100 nb_sec=318
case_no=117 label=Case6.105 nb_sol=0 ticks=32469 tps=100 nb_sec=324
case_no=117 label=Case6.105 nb_sol=0 ticks=63580 tps=100 nb_sec=635
case_no=117 label=Case6.105 nb_sol=0 ticks=59311 tps=100 nb_sec=593
case_no=117 label=Case6.105 nb_sol=0 ticks=44593 tps=100 nb_sec=445
case_no=117 label=Case6.105 nb_sol=0 ticks=44964 tps=100 nb_sec=449
case_no=117 label=Case6.105 nb_sol=0 ticks=70962 tps=100 nb_sec=709
case_no=117 label=Case6.105 nb_sol=0 ticks=63804 tps=100 nb_sec=638
case_no=117 label=Case6.105 nb_sol=0 ticks=40139 tps=100 nb_sec=401
case_no=117 label=Case6.105 nb_sol=0 ticks=32115 tps=100 nb_sec=321
case_no=117 label=Case6.105 nb_sol=0 ticks=29481 tps=100 nb_sec=294
case_no=117 label=Case6.105 nb_sol=0 ticks=57971 tps=100 nb_sec=579
case_no=117 label=Case6.105 nb_sol=0 ticks=51327 tps=100 nb_sec=513
case_no=117 label=Case6.105 nb_sol=0 ticks=143320 tps=100 nb_sec=1433
case_no=117 label=Case6.105 nb_sol=0 ticks=86177 tps=100 nb_sec=861
case_no=117 label=Case6.105 nb_sol=0 ticks=40306 tps=100 nb_sec=403
case_no=117 label=Case6.105 nb_sol=0 ticks=74303 tps=100 nb_sec=743
case_no=117 label=Case6.105 nb_sol=0 ticks=48636 tps=100 nb_sec=486
case_no=117 label=Case6.105 nb_sol=0 ticks=43550 tps=100 nb_sec=435
case_no=117 label=Case6.105 nb_sol=0 ticks=28152 tps=100 nb_sec=281
case_no=117 label=Case6.105 nb_sol=0 ticks=31164 tps=100 nb_sec=311
case_no=117 label=Case6.105 nb_sol=0 ticks=50042 tps=100 nb_sec=500
case_no=117 label=Case6.105 nb_sol=0 ticks=29020 tps=100 nb_sec=290
case_no=117 label=Case6.105 nb_sol=0 ticks=44048 tps=100 nb_sec=440
case_no=117 label=Case6.105 nb_sol=0 ticks=46018 tps=100 nb_sec=460
case_no=117 label=Case6.105 nb_sol=0 ticks=35445 tps=100 nb_sec=354
case_no=117 label=Case6.105 nb_sol=0 ticks=30679 tps=100 nb_sec=306
case_no=117 label=Case6.105 nb_sol=0 ticks=27767 tps=100 nb_sec=277
case_no=117 label=Case6.105 nb_sol=0 ticks=82884 tps=100 nb_sec=828
case_no=117 label=Case6.105 nb_sol=0 ticks=57656 tps=100 nb_sec=576
case_no=117 label=Case6.105 nb_sol=0 ticks=57225 tps=100 nb_sec=572
case_no=117 label=Case6.105 nb_sol=0 ticks=76045 tps=100 nb_sec=760
case_no=117 label=Case6.105 nb_sol=0 ticks=46823 tps=100 nb_sec=468
case_no=117 label=Case6.105 nb_sol=0 ticks=46897 tps=100 nb_sec=468
case_no=117 label=Case6.105 nb_sol=0 ticks=37213 tps=100 nb_sec=372
case_no=117 label=Case6.105 nb_sol=0 ticks=90760 tps=100 nb_sec=907
case_no=117 label=Case6.105 nb_sol=0 ticks=48043 tps=100 nb_sec=480
case_no=117 label=Case6.105 nb_sol=0 ticks=53998 tps=100 nb_sec=539
case_no=117 label=Case6.105 nb_sol=0 ticks=54630 tps=100 nb_sec=546
Nb_sol=0
Nb_sec=44438
0-12:20:38 or 12 hours
missing cases:
none