argc=5
-M 32
file2=30_select_Case6.30_starter_16_
checking files mod 32 from 0 to 31
case_no=42 label=Case6.30 nb_sol=0 ticks=2786 tps=100 nb_sec=27
case_no=42 label=Case6.30 nb_sol=0 ticks=3048 tps=100 nb_sec=30
case_no=42 label=Case6.30 nb_sol=0 ticks=2272 tps=100 nb_sec=22
case_no=42 label=Case6.30 nb_sol=0 ticks=2157 tps=100 nb_sec=21
case_no=42 label=Case6.30 nb_sol=0 ticks=4710 tps=100 nb_sec=47
case_no=42 label=Case6.30 nb_sol=0 ticks=1894 tps=100 nb_sec=18
case_no=42 label=Case6.30 nb_sol=0 ticks=5991 tps=100 nb_sec=59
case_no=42 label=Case6.30 nb_sol=0 ticks=2104 tps=100 nb_sec=21
case_no=42 label=Case6.30 nb_sol=0 ticks=1299 tps=100 nb_sec=12
case_no=42 label=Case6.30 nb_sol=0 ticks=2087 tps=100 nb_sec=20
case_no=42 label=Case6.30 nb_sol=0 ticks=2264 tps=100 nb_sec=22
case_no=42 label=Case6.30 nb_sol=0 ticks=2567 tps=100 nb_sec=25
case_no=42 label=Case6.30 nb_sol=0 ticks=1118 tps=100 nb_sec=11
case_no=42 label=Case6.30 nb_sol=0 ticks=2423 tps=100 nb_sec=24
case_no=42 label=Case6.30 nb_sol=0 ticks=4647 tps=100 nb_sec=46
case_no=42 label=Case6.30 nb_sol=0 ticks=1436 tps=100 nb_sec=14
case_no=42 label=Case6.30 nb_sol=0 ticks=3549 tps=100 nb_sec=35
case_no=42 label=Case6.30 nb_sol=0 ticks=2949 tps=100 nb_sec=29
case_no=42 label=Case6.30 nb_sol=0 ticks=2363 tps=100 nb_sec=23
case_no=42 label=Case6.30 nb_sol=0 ticks=2559 tps=100 nb_sec=25
case_no=42 label=Case6.30 nb_sol=0 ticks=4376 tps=100 nb_sec=43
case_no=42 label=Case6.30 nb_sol=0 ticks=1454 tps=100 nb_sec=14
case_no=42 label=Case6.30 nb_sol=0 ticks=2675 tps=100 nb_sec=26
case_no=42 label=Case6.30 nb_sol=0 ticks=2767 tps=100 nb_sec=27
case_no=42 label=Case6.30 nb_sol=0 ticks=3463 tps=100 nb_sec=34
case_no=42 label=Case6.30 nb_sol=0 ticks=2874 tps=100 nb_sec=28
case_no=42 label=Case6.30 nb_sol=0 ticks=2311 tps=100 nb_sec=23
case_no=42 label=Case6.30 nb_sol=0 ticks=2566 tps=100 nb_sec=25
case_no=42 label=Case6.30 nb_sol=0 ticks=4139 tps=100 nb_sec=41
case_no=42 label=Case6.30 nb_sol=0 ticks=1701 tps=100 nb_sec=17
case_no=42 label=Case6.30 nb_sol=0 ticks=4555 tps=100 nb_sec=45
case_no=42 label=Case6.30 nb_sol=0 ticks=3936 tps=100 nb_sec=39
Nb_sol=0
Nb_sec=893
0-0:14:53 or 0 hours
missing cases:
none