argc=5
-M 16
file2=30_select_Case6.14_starter_16_
checking files mod 16 from 0 to 15
case_no=26 label=Case6.14 nb_sol=0 ticks=40153 tps=100 nb_sec=401
case_no=26 label=Case6.14 nb_sol=0 ticks=38703 tps=100 nb_sec=387
case_no=26 label=Case6.14 nb_sol=0 ticks=33260 tps=100 nb_sec=332
case_no=26 label=Case6.14 nb_sol=0 ticks=35835 tps=100 nb_sec=358
case_no=26 label=Case6.14 nb_sol=0 ticks=38237 tps=100 nb_sec=382
case_no=26 label=Case6.14 nb_sol=0 ticks=59177 tps=100 nb_sec=591
case_no=26 label=Case6.14 nb_sol=0 ticks=57647 tps=100 nb_sec=576
case_no=26 label=Case6.14 nb_sol=0 ticks=31380 tps=100 nb_sec=313
case_no=26 label=Case6.14 nb_sol=0 ticks=61561 tps=100 nb_sec=615
case_no=26 label=Case6.14 nb_sol=0 ticks=38238 tps=100 nb_sec=382
case_no=26 label=Case6.14 nb_sol=0 ticks=33756 tps=100 nb_sec=337
case_no=26 label=Case6.14 nb_sol=0 ticks=40640 tps=100 nb_sec=406
case_no=26 label=Case6.14 nb_sol=0 ticks=34001 tps=100 nb_sec=340
case_no=26 label=Case6.14 nb_sol=0 ticks=36538 tps=100 nb_sec=365
case_no=26 label=Case6.14 nb_sol=0 ticks=55265 tps=100 nb_sec=552
case_no=26 label=Case6.14 nb_sol=0 ticks=41901 tps=100 nb_sec=419
Nb_sol=0
Nb_sec=6756
0-1:52:36 or 1 hours
missing cases:
none