argc=5
-M 128
file2=30_select_Case6.112_starter_15_
checking files mod 128 from 0 to 127
case_no=124 label=Case6.112 nb_sol=0 ticks=3562 tps=100 nb_sec=35
case_no=124 label=Case6.112 nb_sol=0 ticks=5480 tps=100 nb_sec=54
case_no=124 label=Case6.112 nb_sol=0 ticks=6172 tps=100 nb_sec=61
case_no=124 label=Case6.112 nb_sol=0 ticks=3908 tps=100 nb_sec=39
case_no=124 label=Case6.112 nb_sol=0 ticks=3946 tps=100 nb_sec=39
case_no=124 label=Case6.112 nb_sol=0 ticks=4978 tps=100 nb_sec=49
case_no=124 label=Case6.112 nb_sol=0 ticks=4084 tps=100 nb_sec=40
case_no=124 label=Case6.112 nb_sol=0 ticks=3820 tps=100 nb_sec=38
case_no=124 label=Case6.112 nb_sol=0 ticks=3399 tps=100 nb_sec=33
case_no=124 label=Case6.112 nb_sol=0 ticks=3484 tps=100 nb_sec=34
case_no=124 label=Case6.112 nb_sol=0 ticks=3504 tps=100 nb_sec=35
case_no=124 label=Case6.112 nb_sol=0 ticks=4617 tps=100 nb_sec=46
case_no=124 label=Case6.112 nb_sol=0 ticks=2487 tps=100 nb_sec=24
case_no=124 label=Case6.112 nb_sol=0 ticks=3257 tps=100 nb_sec=32
case_no=124 label=Case6.112 nb_sol=0 ticks=4438 tps=100 nb_sec=44
case_no=124 label=Case6.112 nb_sol=0 ticks=3899 tps=100 nb_sec=38
case_no=124 label=Case6.112 nb_sol=0 ticks=3482 tps=100 nb_sec=34
case_no=124 label=Case6.112 nb_sol=0 ticks=2174 tps=100 nb_sec=21
case_no=124 label=Case6.112 nb_sol=0 ticks=3995 tps=100 nb_sec=39
case_no=124 label=Case6.112 nb_sol=0 ticks=3442 tps=100 nb_sec=34
case_no=124 label=Case6.112 nb_sol=0 ticks=1796 tps=100 nb_sec=17
case_no=124 label=Case6.112 nb_sol=0 ticks=3079 tps=100 nb_sec=30
case_no=124 label=Case6.112 nb_sol=0 ticks=4255 tps=100 nb_sec=42
case_no=124 label=Case6.112 nb_sol=0 ticks=3788 tps=100 nb_sec=37
case_no=124 label=Case6.112 nb_sol=0 ticks=3289 tps=100 nb_sec=32
case_no=124 label=Case6.112 nb_sol=0 ticks=3270 tps=100 nb_sec=32
case_no=124 label=Case6.112 nb_sol=0 ticks=2368 tps=100 nb_sec=23
case_no=124 label=Case6.112 nb_sol=0 ticks=5293 tps=100 nb_sec=52
case_no=124 label=Case6.112 nb_sol=0 ticks=3207 tps=100 nb_sec=32
case_no=124 label=Case6.112 nb_sol=0 ticks=2335 tps=100 nb_sec=23
case_no=124 label=Case6.112 nb_sol=0 ticks=4801 tps=100 nb_sec=48
case_no=124 label=Case6.112 nb_sol=0 ticks=5255 tps=100 nb_sec=52
case_no=124 label=Case6.112 nb_sol=0 ticks=4992 tps=100 nb_sec=49
case_no=124 label=Case6.112 nb_sol=0 ticks=2375 tps=100 nb_sec=23
case_no=124 label=Case6.112 nb_sol=0 ticks=2725 tps=100 nb_sec=27
case_no=124 label=Case6.112 nb_sol=0 ticks=5574 tps=100 nb_sec=55
case_no=124 label=Case6.112 nb_sol=0 ticks=3771 tps=100 nb_sec=37
case_no=124 label=Case6.112 nb_sol=0 ticks=2450 tps=100 nb_sec=24
case_no=124 label=Case6.112 nb_sol=0 ticks=2848 tps=100 nb_sec=28
case_no=124 label=Case6.112 nb_sol=0 ticks=2006 tps=100 nb_sec=20
case_no=124 label=Case6.112 nb_sol=0 ticks=3639 tps=100 nb_sec=36
case_no=124 label=Case6.112 nb_sol=0 ticks=4475 tps=100 nb_sec=44
case_no=124 label=Case6.112 nb_sol=0 ticks=4618 tps=100 nb_sec=46
case_no=124 label=Case6.112 nb_sol=0 ticks=4282 tps=100 nb_sec=42
case_no=124 label=Case6.112 nb_sol=0 ticks=2311 tps=100 nb_sec=23
case_no=124 label=Case6.112 nb_sol=0 ticks=1806 tps=100 nb_sec=18
case_no=124 label=Case6.112 nb_sol=0 ticks=1807 tps=100 nb_sec=18
case_no=124 label=Case6.112 nb_sol=0 ticks=1899 tps=100 nb_sec=18
case_no=124 label=Case6.112 nb_sol=0 ticks=2343 tps=100 nb_sec=23
case_no=124 label=Case6.112 nb_sol=0 ticks=4418 tps=100 nb_sec=44
case_no=124 label=Case6.112 nb_sol=0 ticks=2139 tps=100 nb_sec=21
case_no=124 label=Case6.112 nb_sol=0 ticks=3898 tps=100 nb_sec=38
case_no=124 label=Case6.112 nb_sol=0 ticks=2958 tps=100 nb_sec=29
case_no=124 label=Case6.112 nb_sol=0 ticks=4731 tps=100 nb_sec=47
case_no=124 label=Case6.112 nb_sol=0 ticks=4408 tps=100 nb_sec=44
case_no=124 label=Case6.112 nb_sol=0 ticks=3244 tps=100 nb_sec=32
case_no=124 label=Case6.112 nb_sol=0 ticks=4243 tps=100 nb_sec=42
case_no=124 label=Case6.112 nb_sol=0 ticks=4527 tps=100 nb_sec=45
case_no=124 label=Case6.112 nb_sol=0 ticks=4635 tps=100 nb_sec=46
case_no=124 label=Case6.112 nb_sol=0 ticks=2591 tps=100 nb_sec=25
case_no=124 label=Case6.112 nb_sol=0 ticks=3407 tps=100 nb_sec=34
case_no=124 label=Case6.112 nb_sol=0 ticks=3961 tps=100 nb_sec=39
case_no=124 label=Case6.112 nb_sol=0 ticks=3645 tps=100 nb_sec=36
case_no=124 label=Case6.112 nb_sol=0 ticks=3779 tps=100 nb_sec=37
case_no=124 label=Case6.112 nb_sol=0 ticks=4610 tps=100 nb_sec=46
case_no=124 label=Case6.112 nb_sol=0 ticks=3276 tps=100 nb_sec=32
case_no=124 label=Case6.112 nb_sol=0 ticks=3458 tps=100 nb_sec=34
case_no=124 label=Case6.112 nb_sol=0 ticks=4465 tps=100 nb_sec=44
case_no=124 label=Case6.112 nb_sol=0 ticks=4528 tps=100 nb_sec=45
case_no=124 label=Case6.112 nb_sol=0 ticks=4130 tps=100 nb_sec=41
case_no=124 label=Case6.112 nb_sol=0 ticks=4655 tps=100 nb_sec=46
case_no=124 label=Case6.112 nb_sol=0 ticks=2123 tps=100 nb_sec=21
case_no=124 label=Case6.112 nb_sol=0 ticks=2699 tps=100 nb_sec=26
case_no=124 label=Case6.112 nb_sol=0 ticks=3800 tps=100 nb_sec=38
case_no=124 label=Case6.112 nb_sol=0 ticks=5532 tps=100 nb_sec=55
case_no=124 label=Case6.112 nb_sol=0 ticks=3837 tps=100 nb_sec=38
case_no=124 label=Case6.112 nb_sol=0 ticks=4143 tps=100 nb_sec=41
case_no=124 label=Case6.112 nb_sol=0 ticks=4050 tps=100 nb_sec=40
case_no=124 label=Case6.112 nb_sol=0 ticks=4815 tps=100 nb_sec=48
case_no=124 label=Case6.112 nb_sol=0 ticks=2662 tps=100 nb_sec=26
case_no=124 label=Case6.112 nb_sol=0 ticks=3776 tps=100 nb_sec=37
case_no=124 label=Case6.112 nb_sol=0 ticks=5275 tps=100 nb_sec=52
case_no=124 label=Case6.112 nb_sol=0 ticks=3156 tps=100 nb_sec=31
case_no=124 label=Case6.112 nb_sol=0 ticks=2931 tps=100 nb_sec=29
case_no=124 label=Case6.112 nb_sol=0 ticks=5190 tps=100 nb_sec=51
case_no=124 label=Case6.112 nb_sol=0 ticks=5284 tps=100 nb_sec=52
case_no=124 label=Case6.112 nb_sol=0 ticks=4400 tps=100 nb_sec=44
case_no=124 label=Case6.112 nb_sol=0 ticks=4742 tps=100 nb_sec=47
case_no=124 label=Case6.112 nb_sol=0 ticks=6363 tps=100 nb_sec=63
case_no=124 label=Case6.112 nb_sol=0 ticks=5115 tps=100 nb_sec=51
case_no=124 label=Case6.112 nb_sol=0 ticks=4627 tps=100 nb_sec=46
case_no=124 label=Case6.112 nb_sol=0 ticks=4732 tps=100 nb_sec=47
case_no=124 label=Case6.112 nb_sol=0 ticks=5088 tps=100 nb_sec=50
case_no=124 label=Case6.112 nb_sol=0 ticks=4010 tps=100 nb_sec=40
case_no=124 label=Case6.112 nb_sol=0 ticks=4088 tps=100 nb_sec=40
case_no=124 label=Case6.112 nb_sol=0 ticks=2979 tps=100 nb_sec=29
case_no=124 label=Case6.112 nb_sol=0 ticks=3712 tps=100 nb_sec=37
case_no=124 label=Case6.112 nb_sol=0 ticks=3335 tps=100 nb_sec=33
case_no=124 label=Case6.112 nb_sol=0 ticks=3271 tps=100 nb_sec=32
case_no=124 label=Case6.112 nb_sol=0 ticks=3491 tps=100 nb_sec=34
case_no=124 label=Case6.112 nb_sol=0 ticks=2917 tps=100 nb_sec=29
case_no=124 label=Case6.112 nb_sol=0 ticks=3967 tps=100 nb_sec=39
case_no=124 label=Case6.112 nb_sol=0 ticks=4758 tps=100 nb_sec=47
case_no=124 label=Case6.112 nb_sol=0 ticks=5720 tps=100 nb_sec=57
case_no=124 label=Case6.112 nb_sol=0 ticks=4499 tps=100 nb_sec=44
case_no=124 label=Case6.112 nb_sol=0 ticks=3401 tps=100 nb_sec=34
case_no=124 label=Case6.112 nb_sol=0 ticks=5144 tps=100 nb_sec=51
case_no=124 label=Case6.112 nb_sol=0 ticks=3891 tps=100 nb_sec=38
case_no=124 label=Case6.112 nb_sol=0 ticks=4760 tps=100 nb_sec=47
case_no=124 label=Case6.112 nb_sol=0 ticks=3965 tps=100 nb_sec=39
case_no=124 label=Case6.112 nb_sol=0 ticks=4288 tps=100 nb_sec=42
case_no=124 label=Case6.112 nb_sol=0 ticks=2821 tps=100 nb_sec=28
case_no=124 label=Case6.112 nb_sol=0 ticks=2876 tps=100 nb_sec=28
case_no=124 label=Case6.112 nb_sol=0 ticks=4499 tps=100 nb_sec=44
case_no=124 label=Case6.112 nb_sol=0 ticks=4674 tps=100 nb_sec=46
case_no=124 label=Case6.112 nb_sol=0 ticks=3321 tps=100 nb_sec=33
case_no=124 label=Case6.112 nb_sol=0 ticks=5550 tps=100 nb_sec=55
case_no=124 label=Case6.112 nb_sol=0 ticks=4872 tps=100 nb_sec=48
case_no=124 label=Case6.112 nb_sol=0 ticks=4198 tps=100 nb_sec=41
case_no=124 label=Case6.112 nb_sol=0 ticks=4975 tps=100 nb_sec=49
case_no=124 label=Case6.112 nb_sol=0 ticks=4241 tps=100 nb_sec=42
case_no=124 label=Case6.112 nb_sol=0 ticks=3210 tps=100 nb_sec=32
case_no=124 label=Case6.112 nb_sol=0 ticks=2719 tps=100 nb_sec=27
case_no=124 label=Case6.112 nb_sol=0 ticks=3034 tps=100 nb_sec=30
case_no=124 label=Case6.112 nb_sol=0 ticks=4021 tps=100 nb_sec=40
case_no=124 label=Case6.112 nb_sol=0 ticks=3146 tps=100 nb_sec=31
case_no=124 label=Case6.112 nb_sol=0 ticks=3684 tps=100 nb_sec=36
case_no=124 label=Case6.112 nb_sol=0 ticks=2556 tps=100 nb_sec=25
Nb_sol=0
Nb_sec=4847
0-1:20:47 or 1 hours
missing cases:
none