argc=5
-M 32
file2=30_select_Case6.82_starter_15_
checking files mod 32 from 0 to 31
case_no=94 label=Case6.82 nb_sol=0 ticks=297932 tps=100 nb_sec=2979
case_no=94 label=Case6.82 nb_sol=0 ticks=889852 tps=100 nb_sec=8898
case_no=94 label=Case6.82 nb_sol=0 ticks=634737 tps=100 nb_sec=6347
case_no=94 label=Case6.82 nb_sol=0 ticks=555393 tps=100 nb_sec=5553
case_no=94 label=Case6.82 nb_sol=0 ticks=649809 tps=100 nb_sec=6498
case_no=94 label=Case6.82 nb_sol=0 ticks=289175 tps=100 nb_sec=2891
case_no=94 label=Case6.82 nb_sol=0 ticks=342243 tps=100 nb_sec=3422
case_no=94 label=Case6.82 nb_sol=0 ticks=526112 tps=100 nb_sec=5261
case_no=94 label=Case6.82 nb_sol=0 ticks=810297 tps=100 nb_sec=8102
case_no=94 label=Case6.82 nb_sol=0 ticks=626053 tps=100 nb_sec=6260
case_no=94 label=Case6.82 nb_sol=0 ticks=594161 tps=100 nb_sec=5941
case_no=94 label=Case6.82 nb_sol=0 ticks=775470 tps=100 nb_sec=7754
case_no=94 label=Case6.82 nb_sol=0 ticks=571937 tps=100 nb_sec=5719
case_no=94 label=Case6.82 nb_sol=0 ticks=805299 tps=100 nb_sec=8052
case_no=94 label=Case6.82 nb_sol=0 ticks=616337 tps=100 nb_sec=6163
case_no=94 label=Case6.82 nb_sol=0 ticks=742605 tps=100 nb_sec=7426
case_no=94 label=Case6.82 nb_sol=0 ticks=593915 tps=100 nb_sec=5939
case_no=94 label=Case6.82 nb_sol=0 ticks=253083 tps=100 nb_sec=2530
case_no=94 label=Case6.82 nb_sol=0 ticks=537828 tps=100 nb_sec=5378
case_no=94 label=Case6.82 nb_sol=0 ticks=565052 tps=100 nb_sec=5650
case_no=94 label=Case6.82 nb_sol=0 ticks=490124 tps=100 nb_sec=4901
case_no=94 label=Case6.82 nb_sol=0 ticks=378847 tps=100 nb_sec=3788
case_no=94 label=Case6.82 nb_sol=0 ticks=573073 tps=100 nb_sec=5730
case_no=94 label=Case6.82 nb_sol=0 ticks=567676 tps=100 nb_sec=5676
case_no=94 label=Case6.82 nb_sol=0 ticks=567284 tps=100 nb_sec=5672
case_no=94 label=Case6.82 nb_sol=0 ticks=616820 tps=100 nb_sec=6168
case_no=94 label=Case6.82 nb_sol=0 ticks=517392 tps=100 nb_sec=5173
case_no=94 label=Case6.82 nb_sol=0 ticks=518231 tps=100 nb_sec=5182
case_no=94 label=Case6.82 nb_sol=0 ticks=357973 tps=100 nb_sec=3579
case_no=94 label=Case6.82 nb_sol=0 ticks=579618 tps=100 nb_sec=5796
case_no=94 label=Case6.82 nb_sol=0 ticks=792715 tps=100 nb_sec=7927
case_no=94 label=Case6.82 nb_sol=0 ticks=522478 tps=100 nb_sec=5224
Nb_sol=0
Nb_sec=181579
2-2:26:19 or 50 hours
missing cases:
none