argc=5
-M 64
file2=30_select_Case6.11_starter_16_
checking files mod 64 from 0 to 63
case_no=23 label=Case6.11 nb_sol=0 ticks=5828 tps=100 nb_sec=58
case_no=23 label=Case6.11 nb_sol=0 ticks=3768 tps=100 nb_sec=37
case_no=23 label=Case6.11 nb_sol=0 ticks=3976 tps=100 nb_sec=39
case_no=23 label=Case6.11 nb_sol=0 ticks=10012 tps=100 nb_sec=100
case_no=23 label=Case6.11 nb_sol=0 ticks=4662 tps=100 nb_sec=46
case_no=23 label=Case6.11 nb_sol=0 ticks=11398 tps=100 nb_sec=113
case_no=23 label=Case6.11 nb_sol=0 ticks=6338 tps=100 nb_sec=63
case_no=23 label=Case6.11 nb_sol=0 ticks=3414 tps=100 nb_sec=34
case_no=23 label=Case6.11 nb_sol=0 ticks=2681 tps=100 nb_sec=26
case_no=23 label=Case6.11 nb_sol=0 ticks=2800 tps=100 nb_sec=28
case_no=23 label=Case6.11 nb_sol=0 ticks=5922 tps=100 nb_sec=59
case_no=23 label=Case6.11 nb_sol=0 ticks=4501 tps=100 nb_sec=45
case_no=23 label=Case6.11 nb_sol=0 ticks=3551 tps=100 nb_sec=35
case_no=23 label=Case6.11 nb_sol=0 ticks=3597 tps=100 nb_sec=35
case_no=23 label=Case6.11 nb_sol=0 ticks=5689 tps=100 nb_sec=56
case_no=23 label=Case6.11 nb_sol=0 ticks=9104 tps=100 nb_sec=91
case_no=23 label=Case6.11 nb_sol=0 ticks=3611 tps=100 nb_sec=36
case_no=23 label=Case6.11 nb_sol=0 ticks=5026 tps=100 nb_sec=50
case_no=23 label=Case6.11 nb_sol=0 ticks=4600 tps=100 nb_sec=46
case_no=23 label=Case6.11 nb_sol=0 ticks=3645 tps=100 nb_sec=36
case_no=23 label=Case6.11 nb_sol=0 ticks=4444 tps=100 nb_sec=44
case_no=23 label=Case6.11 nb_sol=0 ticks=3758 tps=100 nb_sec=37
case_no=23 label=Case6.11 nb_sol=0 ticks=4900 tps=100 nb_sec=49
case_no=23 label=Case6.11 nb_sol=0 ticks=2870 tps=100 nb_sec=28
case_no=23 label=Case6.11 nb_sol=0 ticks=4324 tps=100 nb_sec=43
case_no=23 label=Case6.11 nb_sol=0 ticks=9047 tps=100 nb_sec=90
case_no=23 label=Case6.11 nb_sol=0 ticks=3969 tps=100 nb_sec=39
case_no=23 label=Case6.11 nb_sol=0 ticks=6140 tps=100 nb_sec=61
case_no=23 label=Case6.11 nb_sol=0 ticks=7005 tps=100 nb_sec=70
case_no=23 label=Case6.11 nb_sol=0 ticks=4246 tps=100 nb_sec=42
case_no=23 label=Case6.11 nb_sol=0 ticks=2907 tps=100 nb_sec=29
case_no=23 label=Case6.11 nb_sol=0 ticks=4960 tps=100 nb_sec=49
case_no=23 label=Case6.11 nb_sol=0 ticks=3028 tps=100 nb_sec=30
case_no=23 label=Case6.11 nb_sol=0 ticks=4032 tps=100 nb_sec=40
case_no=23 label=Case6.11 nb_sol=0 ticks=4891 tps=100 nb_sec=48
case_no=23 label=Case6.11 nb_sol=0 ticks=5414 tps=100 nb_sec=54
case_no=23 label=Case6.11 nb_sol=0 ticks=5961 tps=100 nb_sec=59
case_no=23 label=Case6.11 nb_sol=0 ticks=8048 tps=100 nb_sec=80
case_no=23 label=Case6.11 nb_sol=0 ticks=3095 tps=100 nb_sec=30
case_no=23 label=Case6.11 nb_sol=0 ticks=3747 tps=100 nb_sec=37
case_no=23 label=Case6.11 nb_sol=0 ticks=3508 tps=100 nb_sec=35
case_no=23 label=Case6.11 nb_sol=0 ticks=2588 tps=100 nb_sec=25
case_no=23 label=Case6.11 nb_sol=0 ticks=3744 tps=100 nb_sec=37
case_no=23 label=Case6.11 nb_sol=0 ticks=4757 tps=100 nb_sec=47
case_no=23 label=Case6.11 nb_sol=0 ticks=4901 tps=100 nb_sec=49
case_no=23 label=Case6.11 nb_sol=0 ticks=2690 tps=100 nb_sec=26
case_no=23 label=Case6.11 nb_sol=0 ticks=4079 tps=100 nb_sec=40
case_no=23 label=Case6.11 nb_sol=0 ticks=4279 tps=100 nb_sec=42
case_no=23 label=Case6.11 nb_sol=0 ticks=4482 tps=100 nb_sec=44
case_no=23 label=Case6.11 nb_sol=0 ticks=3493 tps=100 nb_sec=34
case_no=23 label=Case6.11 nb_sol=0 ticks=3562 tps=100 nb_sec=35
case_no=23 label=Case6.11 nb_sol=0 ticks=3812 tps=100 nb_sec=38
case_no=23 label=Case6.11 nb_sol=0 ticks=3725 tps=100 nb_sec=37
case_no=23 label=Case6.11 nb_sol=0 ticks=5538 tps=100 nb_sec=55
case_no=23 label=Case6.11 nb_sol=0 ticks=2980 tps=100 nb_sec=29
case_no=23 label=Case6.11 nb_sol=0 ticks=5355 tps=100 nb_sec=53
case_no=23 label=Case6.11 nb_sol=0 ticks=3445 tps=100 nb_sec=34
case_no=23 label=Case6.11 nb_sol=0 ticks=4848 tps=100 nb_sec=48
case_no=23 label=Case6.11 nb_sol=0 ticks=5947 tps=100 nb_sec=59
case_no=23 label=Case6.11 nb_sol=0 ticks=3649 tps=100 nb_sec=36
case_no=23 label=Case6.11 nb_sol=0 ticks=2848 tps=100 nb_sec=28
case_no=23 label=Case6.11 nb_sol=0 ticks=3449 tps=100 nb_sec=34
case_no=23 label=Case6.11 nb_sol=0 ticks=5595 tps=100 nb_sec=55
case_no=23 label=Case6.11 nb_sol=0 ticks=7585 tps=100 nb_sec=75
Nb_sol=0
Nb_sec=2987
0-0:49:47 or 0 hours
missing cases:
none