argc=5
-M 32
file2=30_select_Case6.57_starter_16_
checking files mod 32 from 0 to 31
case_no=69 label=Case6.57 nb_sol=0 ticks=732 tps=100 nb_sec=7
case_no=69 label=Case6.57 nb_sol=0 ticks=1811 tps=100 nb_sec=18
case_no=69 label=Case6.57 nb_sol=0 ticks=1407 tps=100 nb_sec=14
case_no=69 label=Case6.57 nb_sol=0 ticks=1531 tps=100 nb_sec=15
case_no=69 label=Case6.57 nb_sol=0 ticks=907 tps=100 nb_sec=9
case_no=69 label=Case6.57 nb_sol=0 ticks=644 tps=100 nb_sec=6
case_no=69 label=Case6.57 nb_sol=0 ticks=1637 tps=100 nb_sec=16
case_no=69 label=Case6.57 nb_sol=0 ticks=883 tps=100 nb_sec=8
case_no=69 label=Case6.57 nb_sol=0 ticks=823 tps=100 nb_sec=8
case_no=69 label=Case6.57 nb_sol=0 ticks=1733 tps=100 nb_sec=17
case_no=69 label=Case6.57 nb_sol=0 ticks=1092 tps=100 nb_sec=10
case_no=69 label=Case6.57 nb_sol=0 ticks=1325 tps=100 nb_sec=13
case_no=69 label=Case6.57 nb_sol=0 ticks=2076 tps=100 nb_sec=20
case_no=69 label=Case6.57 nb_sol=0 ticks=2275 tps=100 nb_sec=22
case_no=69 label=Case6.57 nb_sol=0 ticks=1335 tps=100 nb_sec=13
case_no=69 label=Case6.57 nb_sol=0 ticks=1055 tps=100 nb_sec=10
case_no=69 label=Case6.57 nb_sol=0 ticks=1944 tps=100 nb_sec=19
case_no=69 label=Case6.57 nb_sol=0 ticks=1871 tps=100 nb_sec=18
case_no=69 label=Case6.57 nb_sol=0 ticks=1111 tps=100 nb_sec=11
case_no=69 label=Case6.57 nb_sol=0 ticks=1174 tps=100 nb_sec=11
case_no=69 label=Case6.57 nb_sol=0 ticks=1784 tps=100 nb_sec=17
case_no=69 label=Case6.57 nb_sol=0 ticks=1498 tps=100 nb_sec=14
case_no=69 label=Case6.57 nb_sol=0 ticks=1358 tps=100 nb_sec=13
case_no=69 label=Case6.57 nb_sol=0 ticks=1516 tps=100 nb_sec=15
case_no=69 label=Case6.57 nb_sol=0 ticks=733 tps=100 nb_sec=7
case_no=69 label=Case6.57 nb_sol=0 ticks=1468 tps=100 nb_sec=14
case_no=69 label=Case6.57 nb_sol=0 ticks=770 tps=100 nb_sec=7
case_no=69 label=Case6.57 nb_sol=0 ticks=1295 tps=100 nb_sec=12
case_no=69 label=Case6.57 nb_sol=0 ticks=988 tps=100 nb_sec=9
case_no=69 label=Case6.57 nb_sol=0 ticks=1516 tps=100 nb_sec=15
case_no=69 label=Case6.57 nb_sol=0 ticks=648 tps=100 nb_sec=6
case_no=69 label=Case6.57 nb_sol=0 ticks=950 tps=100 nb_sec=9
Nb_sol=0
Nb_sec=403
0-0:6:43 or 0 hours
missing cases:
none