argc=5
-M 64
file2=30_select_Case6.12_starter_16_
checking files mod 64 from 0 to 63
case_no=24 label=Case6.12 nb_sol=0 ticks=11428 tps=100 nb_sec=114
case_no=24 label=Case6.12 nb_sol=0 ticks=5251 tps=100 nb_sec=52
case_no=24 label=Case6.12 nb_sol=0 ticks=4576 tps=100 nb_sec=45
case_no=24 label=Case6.12 nb_sol=0 ticks=4964 tps=100 nb_sec=49
case_no=24 label=Case6.12 nb_sol=0 ticks=3727 tps=100 nb_sec=37
case_no=24 label=Case6.12 nb_sol=0 ticks=4212 tps=100 nb_sec=42
case_no=24 label=Case6.12 nb_sol=0 ticks=7212 tps=100 nb_sec=72
case_no=24 label=Case6.12 nb_sol=0 ticks=6264 tps=100 nb_sec=62
case_no=24 label=Case6.12 nb_sol=0 ticks=5246 tps=100 nb_sec=52
case_no=24 label=Case6.12 nb_sol=0 ticks=5399 tps=100 nb_sec=53
case_no=24 label=Case6.12 nb_sol=0 ticks=6380 tps=100 nb_sec=63
case_no=24 label=Case6.12 nb_sol=0 ticks=3836 tps=100 nb_sec=38
case_no=24 label=Case6.12 nb_sol=0 ticks=8977 tps=100 nb_sec=89
case_no=24 label=Case6.12 nb_sol=0 ticks=7149 tps=100 nb_sec=71
case_no=24 label=Case6.12 nb_sol=0 ticks=6767 tps=100 nb_sec=67
case_no=24 label=Case6.12 nb_sol=0 ticks=6541 tps=100 nb_sec=65
case_no=24 label=Case6.12 nb_sol=0 ticks=4506 tps=100 nb_sec=45
case_no=24 label=Case6.12 nb_sol=0 ticks=5074 tps=100 nb_sec=50
case_no=24 label=Case6.12 nb_sol=0 ticks=3084 tps=100 nb_sec=30
case_no=24 label=Case6.12 nb_sol=0 ticks=3508 tps=100 nb_sec=35
case_no=24 label=Case6.12 nb_sol=0 ticks=5492 tps=100 nb_sec=54
case_no=24 label=Case6.12 nb_sol=0 ticks=5810 tps=100 nb_sec=58
case_no=24 label=Case6.12 nb_sol=0 ticks=5898 tps=100 nb_sec=58
case_no=24 label=Case6.12 nb_sol=0 ticks=9396 tps=100 nb_sec=93
case_no=24 label=Case6.12 nb_sol=0 ticks=3613 tps=100 nb_sec=36
case_no=24 label=Case6.12 nb_sol=0 ticks=3424 tps=100 nb_sec=34
case_no=24 label=Case6.12 nb_sol=0 ticks=6697 tps=100 nb_sec=66
case_no=24 label=Case6.12 nb_sol=0 ticks=10898 tps=100 nb_sec=108
case_no=24 label=Case6.12 nb_sol=0 ticks=4785 tps=100 nb_sec=47
case_no=24 label=Case6.12 nb_sol=0 ticks=5452 tps=100 nb_sec=54
case_no=24 label=Case6.12 nb_sol=0 ticks=4201 tps=100 nb_sec=42
case_no=24 label=Case6.12 nb_sol=0 ticks=4198 tps=100 nb_sec=41
case_no=24 label=Case6.12 nb_sol=0 ticks=5600 tps=100 nb_sec=56
case_no=24 label=Case6.12 nb_sol=0 ticks=5674 tps=100 nb_sec=56
case_no=24 label=Case6.12 nb_sol=0 ticks=4071 tps=100 nb_sec=40
case_no=24 label=Case6.12 nb_sol=0 ticks=4156 tps=100 nb_sec=41
case_no=24 label=Case6.12 nb_sol=0 ticks=5565 tps=100 nb_sec=55
case_no=24 label=Case6.12 nb_sol=0 ticks=5448 tps=100 nb_sec=54
case_no=24 label=Case6.12 nb_sol=0 ticks=4742 tps=100 nb_sec=47
case_no=24 label=Case6.12 nb_sol=0 ticks=4850 tps=100 nb_sec=48
case_no=24 label=Case6.12 nb_sol=0 ticks=5002 tps=100 nb_sec=50
case_no=24 label=Case6.12 nb_sol=0 ticks=2782 tps=100 nb_sec=27
case_no=24 label=Case6.12 nb_sol=0 ticks=4675 tps=100 nb_sec=46
case_no=24 label=Case6.12 nb_sol=0 ticks=5776 tps=100 nb_sec=57
case_no=24 label=Case6.12 nb_sol=0 ticks=5693 tps=100 nb_sec=56
case_no=24 label=Case6.12 nb_sol=0 ticks=4971 tps=100 nb_sec=49
case_no=24 label=Case6.12 nb_sol=0 ticks=3430 tps=100 nb_sec=34
case_no=24 label=Case6.12 nb_sol=0 ticks=3242 tps=100 nb_sec=32
case_no=24 label=Case6.12 nb_sol=0 ticks=5188 tps=100 nb_sec=51
case_no=24 label=Case6.12 nb_sol=0 ticks=4837 tps=100 nb_sec=48
case_no=24 label=Case6.12 nb_sol=0 ticks=4333 tps=100 nb_sec=43
case_no=24 label=Case6.12 nb_sol=0 ticks=2900 tps=100 nb_sec=29
case_no=24 label=Case6.12 nb_sol=0 ticks=4108 tps=100 nb_sec=41
case_no=24 label=Case6.12 nb_sol=0 ticks=5571 tps=100 nb_sec=55
case_no=24 label=Case6.12 nb_sol=0 ticks=6153 tps=100 nb_sec=61
case_no=24 label=Case6.12 nb_sol=0 ticks=3651 tps=100 nb_sec=36
case_no=24 label=Case6.12 nb_sol=0 ticks=3470 tps=100 nb_sec=34
case_no=24 label=Case6.12 nb_sol=0 ticks=6341 tps=100 nb_sec=63
case_no=24 label=Case6.12 nb_sol=0 ticks=5743 tps=100 nb_sec=57
case_no=24 label=Case6.12 nb_sol=0 ticks=4602 tps=100 nb_sec=46
case_no=24 label=Case6.12 nb_sol=0 ticks=3688 tps=100 nb_sec=36
case_no=24 label=Case6.12 nb_sol=0 ticks=4576 tps=100 nb_sec=45
case_no=24 label=Case6.12 nb_sol=0 ticks=6305 tps=100 nb_sec=63
case_no=24 label=Case6.12 nb_sol=0 ticks=4832 tps=100 nb_sec=48
Nb_sol=0
Nb_sec=3326
0-0:55:26 or 0 hours
missing cases:
none