argc=5
-M 32
file2=30_select_Case6.24_starter_16_
checking files mod 32 from 0 to 31
case_no=36 label=Case6.24 nb_sol=0 ticks=19038 tps=100 nb_sec=190
case_no=36 label=Case6.24 nb_sol=0 ticks=12230 tps=100 nb_sec=122
case_no=36 label=Case6.24 nb_sol=0 ticks=13055 tps=100 nb_sec=130
case_no=36 label=Case6.24 nb_sol=0 ticks=16080 tps=100 nb_sec=160
case_no=36 label=Case6.24 nb_sol=0 ticks=13112 tps=100 nb_sec=131
case_no=36 label=Case6.24 nb_sol=0 ticks=7636 tps=100 nb_sec=76
case_no=36 label=Case6.24 nb_sol=0 ticks=10968 tps=100 nb_sec=109
case_no=36 label=Case6.24 nb_sol=0 ticks=11268 tps=100 nb_sec=112
case_no=36 label=Case6.24 nb_sol=0 ticks=16989 tps=100 nb_sec=169
case_no=36 label=Case6.24 nb_sol=0 ticks=10767 tps=100 nb_sec=107
case_no=36 label=Case6.24 nb_sol=0 ticks=15242 tps=100 nb_sec=152
case_no=36 label=Case6.24 nb_sol=0 ticks=10524 tps=100 nb_sec=105
case_no=36 label=Case6.24 nb_sol=0 ticks=10946 tps=100 nb_sec=109
case_no=36 label=Case6.24 nb_sol=0 ticks=16090 tps=100 nb_sec=160
case_no=36 label=Case6.24 nb_sol=0 ticks=9796 tps=100 nb_sec=97
case_no=36 label=Case6.24 nb_sol=0 ticks=9891 tps=100 nb_sec=98
case_no=36 label=Case6.24 nb_sol=0 ticks=9479 tps=100 nb_sec=94
case_no=36 label=Case6.24 nb_sol=0 ticks=15674 tps=100 nb_sec=156
case_no=36 label=Case6.24 nb_sol=0 ticks=10802 tps=100 nb_sec=108
case_no=36 label=Case6.24 nb_sol=0 ticks=11120 tps=100 nb_sec=111
case_no=36 label=Case6.24 nb_sol=0 ticks=10276 tps=100 nb_sec=102
case_no=36 label=Case6.24 nb_sol=0 ticks=10188 tps=100 nb_sec=101
case_no=36 label=Case6.24 nb_sol=0 ticks=11632 tps=100 nb_sec=116
case_no=36 label=Case6.24 nb_sol=0 ticks=11494 tps=100 nb_sec=114
case_no=36 label=Case6.24 nb_sol=0 ticks=12374 tps=100 nb_sec=123
case_no=36 label=Case6.24 nb_sol=0 ticks=11406 tps=100 nb_sec=114
case_no=36 label=Case6.24 nb_sol=0 ticks=14834 tps=100 nb_sec=148
case_no=36 label=Case6.24 nb_sol=0 ticks=11445 tps=100 nb_sec=114
case_no=36 label=Case6.24 nb_sol=0 ticks=16522 tps=100 nb_sec=165
case_no=36 label=Case6.24 nb_sol=0 ticks=10710 tps=100 nb_sec=107
case_no=36 label=Case6.24 nb_sol=0 ticks=16888 tps=100 nb_sec=168
case_no=36 label=Case6.24 nb_sol=0 ticks=13167 tps=100 nb_sec=131
Nb_sol=0
Nb_sec=3999
0-1:6:39 or 1 hours
missing cases:
none