argc=5
-M 256
file2=30_select_Case6.34_starter_16_
checking files mod 256 from 0 to 255
case_no=46 label=Case6.34 nb_sol=0 ticks=4697 tps=100 nb_sec=46
case_no=46 label=Case6.34 nb_sol=0 ticks=3082 tps=100 nb_sec=30
case_no=46 label=Case6.34 nb_sol=0 ticks=5942 tps=100 nb_sec=59
case_no=46 label=Case6.34 nb_sol=0 ticks=6264 tps=100 nb_sec=62
case_no=46 label=Case6.34 nb_sol=0 ticks=4673 tps=100 nb_sec=46
case_no=46 label=Case6.34 nb_sol=0 ticks=3570 tps=100 nb_sec=35
case_no=46 label=Case6.34 nb_sol=0 ticks=3980 tps=100 nb_sec=39
case_no=46 label=Case6.34 nb_sol=0 ticks=4568 tps=100 nb_sec=45
case_no=46 label=Case6.34 nb_sol=0 ticks=5593 tps=100 nb_sec=55
case_no=46 label=Case6.34 nb_sol=0 ticks=4382 tps=100 nb_sec=43
case_no=46 label=Case6.34 nb_sol=0 ticks=6562 tps=100 nb_sec=65
case_no=46 label=Case6.34 nb_sol=0 ticks=6173 tps=100 nb_sec=61
case_no=46 label=Case6.34 nb_sol=0 ticks=5075 tps=100 nb_sec=50
case_no=46 label=Case6.34 nb_sol=0 ticks=4136 tps=100 nb_sec=41
case_no=46 label=Case6.34 nb_sol=0 ticks=4412 tps=100 nb_sec=44
case_no=46 label=Case6.34 nb_sol=0 ticks=7876 tps=100 nb_sec=78
case_no=46 label=Case6.34 nb_sol=0 ticks=4939 tps=100 nb_sec=49
case_no=46 label=Case6.34 nb_sol=0 ticks=9004 tps=100 nb_sec=90
case_no=46 label=Case6.34 nb_sol=0 ticks=7047 tps=100 nb_sec=70
case_no=46 label=Case6.34 nb_sol=0 ticks=2903 tps=100 nb_sec=29
case_no=46 label=Case6.34 nb_sol=0 ticks=6139 tps=100 nb_sec=61
case_no=46 label=Case6.34 nb_sol=0 ticks=5532 tps=100 nb_sec=55
case_no=46 label=Case6.34 nb_sol=0 ticks=6300 tps=100 nb_sec=63
case_no=46 label=Case6.34 nb_sol=0 ticks=3859 tps=100 nb_sec=38
case_no=46 label=Case6.34 nb_sol=0 ticks=3520 tps=100 nb_sec=35
case_no=46 label=Case6.34 nb_sol=0 ticks=3775 tps=100 nb_sec=37
case_no=46 label=Case6.34 nb_sol=0 ticks=6698 tps=100 nb_sec=66
case_no=46 label=Case6.34 nb_sol=0 ticks=3097 tps=100 nb_sec=30
case_no=46 label=Case6.34 nb_sol=0 ticks=4321 tps=100 nb_sec=43
case_no=46 label=Case6.34 nb_sol=0 ticks=3714 tps=100 nb_sec=37
case_no=46 label=Case6.34 nb_sol=0 ticks=4245 tps=100 nb_sec=42
case_no=46 label=Case6.34 nb_sol=0 ticks=2817 tps=100 nb_sec=28
case_no=46 label=Case6.34 nb_sol=0 ticks=2595 tps=100 nb_sec=25
case_no=46 label=Case6.34 nb_sol=0 ticks=5021 tps=100 nb_sec=50
case_no=46 label=Case6.34 nb_sol=0 ticks=2792 tps=100 nb_sec=27
case_no=46 label=Case6.34 nb_sol=0 ticks=4479 tps=100 nb_sec=44
case_no=46 label=Case6.34 nb_sol=0 ticks=2980 tps=100 nb_sec=29
case_no=46 label=Case6.34 nb_sol=0 ticks=5688 tps=100 nb_sec=56
case_no=46 label=Case6.34 nb_sol=0 ticks=6890 tps=100 nb_sec=68
case_no=46 label=Case6.34 nb_sol=0 ticks=5888 tps=100 nb_sec=58
case_no=46 label=Case6.34 nb_sol=0 ticks=5160 tps=100 nb_sec=51
case_no=46 label=Case6.34 nb_sol=0 ticks=5418 tps=100 nb_sec=54
case_no=46 label=Case6.34 nb_sol=0 ticks=3127 tps=100 nb_sec=31
case_no=46 label=Case6.34 nb_sol=0 ticks=4298 tps=100 nb_sec=42
case_no=46 label=Case6.34 nb_sol=0 ticks=3516 tps=100 nb_sec=35
case_no=46 label=Case6.34 nb_sol=0 ticks=7833 tps=100 nb_sec=78
case_no=46 label=Case6.34 nb_sol=0 ticks=2888 tps=100 nb_sec=28
case_no=46 label=Case6.34 nb_sol=0 ticks=3939 tps=100 nb_sec=39
case_no=46 label=Case6.34 nb_sol=0 ticks=4248 tps=100 nb_sec=42
case_no=46 label=Case6.34 nb_sol=0 ticks=3736 tps=100 nb_sec=37
case_no=46 label=Case6.34 nb_sol=0 ticks=3927 tps=100 nb_sec=39
case_no=46 label=Case6.34 nb_sol=0 ticks=7904 tps=100 nb_sec=79
case_no=46 label=Case6.34 nb_sol=0 ticks=3499 tps=100 nb_sec=34
case_no=46 label=Case6.34 nb_sol=0 ticks=7499 tps=100 nb_sec=74
case_no=46 label=Case6.34 nb_sol=0 ticks=3114 tps=100 nb_sec=31
case_no=46 label=Case6.34 nb_sol=0 ticks=4055 tps=100 nb_sec=40
case_no=46 label=Case6.34 nb_sol=0 ticks=4304 tps=100 nb_sec=43
case_no=46 label=Case6.34 nb_sol=0 ticks=8389 tps=100 nb_sec=83
case_no=46 label=Case6.34 nb_sol=0 ticks=3667 tps=100 nb_sec=36
case_no=46 label=Case6.34 nb_sol=0 ticks=3489 tps=100 nb_sec=34
case_no=46 label=Case6.34 nb_sol=0 ticks=4476 tps=100 nb_sec=44
case_no=46 label=Case6.34 nb_sol=0 ticks=8353 tps=100 nb_sec=83
case_no=46 label=Case6.34 nb_sol=0 ticks=3720 tps=100 nb_sec=37
case_no=46 label=Case6.34 nb_sol=0 ticks=3693 tps=100 nb_sec=36
case_no=46 label=Case6.34 nb_sol=0 ticks=6041 tps=100 nb_sec=60
case_no=46 label=Case6.34 nb_sol=0 ticks=4571 tps=100 nb_sec=45
case_no=46 label=Case6.34 nb_sol=0 ticks=4659 tps=100 nb_sec=46
case_no=46 label=Case6.34 nb_sol=0 ticks=4128 tps=100 nb_sec=41
case_no=46 label=Case6.34 nb_sol=0 ticks=4150 tps=100 nb_sec=41
case_no=46 label=Case6.34 nb_sol=0 ticks=7743 tps=100 nb_sec=77
case_no=46 label=Case6.34 nb_sol=0 ticks=4057 tps=100 nb_sec=40
case_no=46 label=Case6.34 nb_sol=0 ticks=3798 tps=100 nb_sec=37
case_no=46 label=Case6.34 nb_sol=0 ticks=3358 tps=100 nb_sec=33
case_no=46 label=Case6.34 nb_sol=0 ticks=4796 tps=100 nb_sec=47
case_no=46 label=Case6.34 nb_sol=0 ticks=4748 tps=100 nb_sec=47
case_no=46 label=Case6.34 nb_sol=0 ticks=6290 tps=100 nb_sec=62
case_no=46 label=Case6.34 nb_sol=0 ticks=3962 tps=100 nb_sec=39
case_no=46 label=Case6.34 nb_sol=0 ticks=6314 tps=100 nb_sec=63
case_no=46 label=Case6.34 nb_sol=0 ticks=5790 tps=100 nb_sec=57
case_no=46 label=Case6.34 nb_sol=0 ticks=5611 tps=100 nb_sec=56
case_no=46 label=Case6.34 nb_sol=0 ticks=3655 tps=100 nb_sec=36
case_no=46 label=Case6.34 nb_sol=0 ticks=3789 tps=100 nb_sec=37
case_no=46 label=Case6.34 nb_sol=0 ticks=4088 tps=100 nb_sec=40
case_no=46 label=Case6.34 nb_sol=0 ticks=3646 tps=100 nb_sec=36
case_no=46 label=Case6.34 nb_sol=0 ticks=6316 tps=100 nb_sec=63
case_no=46 label=Case6.34 nb_sol=0 ticks=3346 tps=100 nb_sec=33
case_no=46 label=Case6.34 nb_sol=0 ticks=4134 tps=100 nb_sec=41
case_no=46 label=Case6.34 nb_sol=0 ticks=4408 tps=100 nb_sec=44
case_no=46 label=Case6.34 nb_sol=0 ticks=7035 tps=100 nb_sec=70
case_no=46 label=Case6.34 nb_sol=0 ticks=4043 tps=100 nb_sec=40
case_no=46 label=Case6.34 nb_sol=0 ticks=2955 tps=100 nb_sec=29
case_no=46 label=Case6.34 nb_sol=0 ticks=3564 tps=100 nb_sec=35
case_no=46 label=Case6.34 nb_sol=0 ticks=3708 tps=100 nb_sec=37
case_no=46 label=Case6.34 nb_sol=0 ticks=4392 tps=100 nb_sec=43
case_no=46 label=Case6.34 nb_sol=0 ticks=4223 tps=100 nb_sec=42
case_no=46 label=Case6.34 nb_sol=0 ticks=3666 tps=100 nb_sec=36
case_no=46 label=Case6.34 nb_sol=0 ticks=9560 tps=100 nb_sec=95
case_no=46 label=Case6.34 nb_sol=0 ticks=7254 tps=100 nb_sec=72
case_no=46 label=Case6.34 nb_sol=0 ticks=4820 tps=100 nb_sec=48
case_no=46 label=Case6.34 nb_sol=0 ticks=7229 tps=100 nb_sec=72
case_no=46 label=Case6.34 nb_sol=0 ticks=3516 tps=100 nb_sec=35
case_no=46 label=Case6.34 nb_sol=0 ticks=6685 tps=100 nb_sec=66
case_no=46 label=Case6.34 nb_sol=0 ticks=4619 tps=100 nb_sec=46
case_no=46 label=Case6.34 nb_sol=0 ticks=3708 tps=100 nb_sec=37
case_no=46 label=Case6.34 nb_sol=0 ticks=10939 tps=100 nb_sec=109
case_no=46 label=Case6.34 nb_sol=0 ticks=4544 tps=100 nb_sec=45
case_no=46 label=Case6.34 nb_sol=0 ticks=3832 tps=100 nb_sec=38
case_no=46 label=Case6.34 nb_sol=0 ticks=5861 tps=100 nb_sec=58
case_no=46 label=Case6.34 nb_sol=0 ticks=6028 tps=100 nb_sec=60
case_no=46 label=Case6.34 nb_sol=0 ticks=3774 tps=100 nb_sec=37
case_no=46 label=Case6.34 nb_sol=0 ticks=4054 tps=100 nb_sec=40
case_no=46 label=Case6.34 nb_sol=0 ticks=7356 tps=100 nb_sec=73
case_no=46 label=Case6.34 nb_sol=0 ticks=3441 tps=100 nb_sec=34
case_no=46 label=Case6.34 nb_sol=0 ticks=8196 tps=100 nb_sec=81
case_no=46 label=Case6.34 nb_sol=0 ticks=4871 tps=100 nb_sec=48
case_no=46 label=Case6.34 nb_sol=0 ticks=8900 tps=100 nb_sec=89
case_no=46 label=Case6.34 nb_sol=0 ticks=7402 tps=100 nb_sec=74
case_no=46 label=Case6.34 nb_sol=0 ticks=3791 tps=100 nb_sec=37
case_no=46 label=Case6.34 nb_sol=0 ticks=7775 tps=100 nb_sec=77
case_no=46 label=Case6.34 nb_sol=0 ticks=9783 tps=100 nb_sec=97
case_no=46 label=Case6.34 nb_sol=0 ticks=8593 tps=100 nb_sec=85
case_no=46 label=Case6.34 nb_sol=0 ticks=9391 tps=100 nb_sec=93
case_no=46 label=Case6.34 nb_sol=0 ticks=10423 tps=100 nb_sec=104
case_no=46 label=Case6.34 nb_sol=0 ticks=5325 tps=100 nb_sec=53
case_no=46 label=Case6.34 nb_sol=0 ticks=10249 tps=100 nb_sec=102
case_no=46 label=Case6.34 nb_sol=0 ticks=4578 tps=100 nb_sec=45
case_no=46 label=Case6.34 nb_sol=0 ticks=4129 tps=100 nb_sec=41
case_no=46 label=Case6.34 nb_sol=0 ticks=5774 tps=100 nb_sec=57
case_no=46 label=Case6.34 nb_sol=0 ticks=8364 tps=100 nb_sec=83
case_no=46 label=Case6.34 nb_sol=0 ticks=3360 tps=100 nb_sec=33
case_no=46 label=Case6.34 nb_sol=0 ticks=7720 tps=100 nb_sec=77
case_no=46 label=Case6.34 nb_sol=0 ticks=9256 tps=100 nb_sec=92
case_no=46 label=Case6.34 nb_sol=0 ticks=4099 tps=100 nb_sec=40
case_no=46 label=Case6.34 nb_sol=0 ticks=3927 tps=100 nb_sec=39
case_no=46 label=Case6.34 nb_sol=0 ticks=10270 tps=100 nb_sec=102
case_no=46 label=Case6.34 nb_sol=0 ticks=10289 tps=100 nb_sec=102
case_no=46 label=Case6.34 nb_sol=0 ticks=8383 tps=100 nb_sec=83
case_no=46 label=Case6.34 nb_sol=0 ticks=4291 tps=100 nb_sec=42
case_no=46 label=Case6.34 nb_sol=0 ticks=3939 tps=100 nb_sec=39
case_no=46 label=Case6.34 nb_sol=0 ticks=4313 tps=100 nb_sec=43
case_no=46 label=Case6.34 nb_sol=0 ticks=8996 tps=100 nb_sec=89
case_no=46 label=Case6.34 nb_sol=0 ticks=5119 tps=100 nb_sec=51
case_no=46 label=Case6.34 nb_sol=0 ticks=5816 tps=100 nb_sec=58
case_no=46 label=Case6.34 nb_sol=0 ticks=3231 tps=100 nb_sec=32
case_no=46 label=Case6.34 nb_sol=0 ticks=10536 tps=100 nb_sec=105
case_no=46 label=Case6.34 nb_sol=0 ticks=7398 tps=100 nb_sec=73
case_no=46 label=Case6.34 nb_sol=0 ticks=6989 tps=100 nb_sec=69
case_no=46 label=Case6.34 nb_sol=0 ticks=6446 tps=100 nb_sec=64
case_no=46 label=Case6.34 nb_sol=0 ticks=5277 tps=100 nb_sec=52
case_no=46 label=Case6.34 nb_sol=0 ticks=4146 tps=100 nb_sec=41
case_no=46 label=Case6.34 nb_sol=0 ticks=10569 tps=100 nb_sec=105
case_no=46 label=Case6.34 nb_sol=0 ticks=3749 tps=100 nb_sec=37
case_no=46 label=Case6.34 nb_sol=0 ticks=9312 tps=100 nb_sec=93
case_no=46 label=Case6.34 nb_sol=0 ticks=3893 tps=100 nb_sec=38
case_no=46 label=Case6.34 nb_sol=0 ticks=6978 tps=100 nb_sec=69
case_no=46 label=Case6.34 nb_sol=0 ticks=3631 tps=100 nb_sec=36
case_no=46 label=Case6.34 nb_sol=0 ticks=8353 tps=100 nb_sec=83
case_no=46 label=Case6.34 nb_sol=0 ticks=3439 tps=100 nb_sec=34
case_no=46 label=Case6.34 nb_sol=0 ticks=5978 tps=100 nb_sec=59
case_no=46 label=Case6.34 nb_sol=0 ticks=3414 tps=100 nb_sec=34
case_no=46 label=Case6.34 nb_sol=0 ticks=7400 tps=100 nb_sec=74
case_no=46 label=Case6.34 nb_sol=0 ticks=6407 tps=100 nb_sec=64
case_no=46 label=Case6.34 nb_sol=0 ticks=8518 tps=100 nb_sec=85
case_no=46 label=Case6.34 nb_sol=0 ticks=3532 tps=100 nb_sec=35
case_no=46 label=Case6.34 nb_sol=0 ticks=3198 tps=100 nb_sec=31
case_no=46 label=Case6.34 nb_sol=0 ticks=3268 tps=100 nb_sec=32
case_no=46 label=Case6.34 nb_sol=0 ticks=6412 tps=100 nb_sec=64
case_no=46 label=Case6.34 nb_sol=0 ticks=2939 tps=100 nb_sec=29
case_no=46 label=Case6.34 nb_sol=0 ticks=7455 tps=100 nb_sec=74
case_no=46 label=Case6.34 nb_sol=0 ticks=3156 tps=100 nb_sec=31
case_no=46 label=Case6.34 nb_sol=0 ticks=5149 tps=100 nb_sec=51
case_no=46 label=Case6.34 nb_sol=0 ticks=3502 tps=100 nb_sec=35
case_no=46 label=Case6.34 nb_sol=0 ticks=4463 tps=100 nb_sec=44
case_no=46 label=Case6.34 nb_sol=0 ticks=4003 tps=100 nb_sec=40
case_no=46 label=Case6.34 nb_sol=0 ticks=4969 tps=100 nb_sec=49
case_no=46 label=Case6.34 nb_sol=0 ticks=3229 tps=100 nb_sec=32
case_no=46 label=Case6.34 nb_sol=0 ticks=3233 tps=100 nb_sec=32
case_no=46 label=Case6.34 nb_sol=0 ticks=2693 tps=100 nb_sec=26
case_no=46 label=Case6.34 nb_sol=0 ticks=4592 tps=100 nb_sec=45
case_no=46 label=Case6.34 nb_sol=0 ticks=3480 tps=100 nb_sec=34
case_no=46 label=Case6.34 nb_sol=0 ticks=3105 tps=100 nb_sec=31
case_no=46 label=Case6.34 nb_sol=0 ticks=3541 tps=100 nb_sec=35
case_no=46 label=Case6.34 nb_sol=0 ticks=3338 tps=100 nb_sec=33
case_no=46 label=Case6.34 nb_sol=0 ticks=3907 tps=100 nb_sec=39
case_no=46 label=Case6.34 nb_sol=0 ticks=3087 tps=100 nb_sec=30
case_no=46 label=Case6.34 nb_sol=0 ticks=7115 tps=100 nb_sec=71
case_no=46 label=Case6.34 nb_sol=0 ticks=3147 tps=100 nb_sec=31
case_no=46 label=Case6.34 nb_sol=0 ticks=4668 tps=100 nb_sec=46
case_no=46 label=Case6.34 nb_sol=0 ticks=3859 tps=100 nb_sec=38
case_no=46 label=Case6.34 nb_sol=0 ticks=3090 tps=100 nb_sec=30
case_no=46 label=Case6.34 nb_sol=0 ticks=4126 tps=100 nb_sec=41
case_no=46 label=Case6.34 nb_sol=0 ticks=3965 tps=100 nb_sec=39
case_no=46 label=Case6.34 nb_sol=0 ticks=6066 tps=100 nb_sec=60
case_no=46 label=Case6.34 nb_sol=0 ticks=3413 tps=100 nb_sec=34
case_no=46 label=Case6.34 nb_sol=0 ticks=4653 tps=100 nb_sec=46
case_no=46 label=Case6.34 nb_sol=0 ticks=7180 tps=100 nb_sec=71
case_no=46 label=Case6.34 nb_sol=0 ticks=3540 tps=100 nb_sec=35
case_no=46 label=Case6.34 nb_sol=0 ticks=3562 tps=100 nb_sec=35
case_no=46 label=Case6.34 nb_sol=0 ticks=9521 tps=100 nb_sec=95
case_no=46 label=Case6.34 nb_sol=0 ticks=9808 tps=100 nb_sec=98
case_no=46 label=Case6.34 nb_sol=0 ticks=8654 tps=100 nb_sec=86
case_no=46 label=Case6.34 nb_sol=0 ticks=2927 tps=100 nb_sec=29
case_no=46 label=Case6.34 nb_sol=0 ticks=3358 tps=100 nb_sec=33
case_no=46 label=Case6.34 nb_sol=0 ticks=8809 tps=100 nb_sec=88
case_no=46 label=Case6.34 nb_sol=0 ticks=3349 tps=100 nb_sec=33
case_no=46 label=Case6.34 nb_sol=0 ticks=3948 tps=100 nb_sec=39
case_no=46 label=Case6.34 nb_sol=0 ticks=3684 tps=100 nb_sec=36
case_no=46 label=Case6.34 nb_sol=0 ticks=4542 tps=100 nb_sec=45
case_no=46 label=Case6.34 nb_sol=0 ticks=3606 tps=100 nb_sec=36
case_no=46 label=Case6.34 nb_sol=0 ticks=3597 tps=100 nb_sec=35
case_no=46 label=Case6.34 nb_sol=0 ticks=3644 tps=100 nb_sec=36
case_no=46 label=Case6.34 nb_sol=0 ticks=3580 tps=100 nb_sec=35
case_no=46 label=Case6.34 nb_sol=0 ticks=3683 tps=100 nb_sec=36
case_no=46 label=Case6.34 nb_sol=0 ticks=7832 tps=100 nb_sec=78
case_no=46 label=Case6.34 nb_sol=0 ticks=3832 tps=100 nb_sec=38
case_no=46 label=Case6.34 nb_sol=0 ticks=3823 tps=100 nb_sec=38
case_no=46 label=Case6.34 nb_sol=0 ticks=3697 tps=100 nb_sec=36
case_no=46 label=Case6.34 nb_sol=0 ticks=3280 tps=100 nb_sec=32
case_no=46 label=Case6.34 nb_sol=0 ticks=3145 tps=100 nb_sec=31
case_no=46 label=Case6.34 nb_sol=0 ticks=2698 tps=100 nb_sec=26
case_no=46 label=Case6.34 nb_sol=0 ticks=2666 tps=100 nb_sec=26
case_no=46 label=Case6.34 nb_sol=0 ticks=3387 tps=100 nb_sec=33
case_no=46 label=Case6.34 nb_sol=0 ticks=3247 tps=100 nb_sec=32
case_no=46 label=Case6.34 nb_sol=0 ticks=3336 tps=100 nb_sec=33
case_no=46 label=Case6.34 nb_sol=0 ticks=6974 tps=100 nb_sec=69
case_no=46 label=Case6.34 nb_sol=0 ticks=9243 tps=100 nb_sec=92
case_no=46 label=Case6.34 nb_sol=0 ticks=4168 tps=100 nb_sec=41
case_no=46 label=Case6.34 nb_sol=0 ticks=3079 tps=100 nb_sec=30
case_no=46 label=Case6.34 nb_sol=0 ticks=2907 tps=100 nb_sec=29
case_no=46 label=Case6.34 nb_sol=0 ticks=3191 tps=100 nb_sec=31
case_no=46 label=Case6.34 nb_sol=0 ticks=4236 tps=100 nb_sec=42
case_no=46 label=Case6.34 nb_sol=0 ticks=4327 tps=100 nb_sec=43
case_no=46 label=Case6.34 nb_sol=0 ticks=6919 tps=100 nb_sec=69
case_no=46 label=Case6.34 nb_sol=0 ticks=3260 tps=100 nb_sec=32
case_no=46 label=Case6.34 nb_sol=0 ticks=6899 tps=100 nb_sec=68
case_no=46 label=Case6.34 nb_sol=0 ticks=2832 tps=100 nb_sec=28
case_no=46 label=Case6.34 nb_sol=0 ticks=5372 tps=100 nb_sec=53
case_no=46 label=Case6.34 nb_sol=0 ticks=5787 tps=100 nb_sec=57
case_no=46 label=Case6.34 nb_sol=0 ticks=3264 tps=100 nb_sec=32
case_no=46 label=Case6.34 nb_sol=0 ticks=6754 tps=100 nb_sec=67
case_no=46 label=Case6.34 nb_sol=0 ticks=3692 tps=100 nb_sec=36
case_no=46 label=Case6.34 nb_sol=0 ticks=6141 tps=100 nb_sec=61
case_no=46 label=Case6.34 nb_sol=0 ticks=4361 tps=100 nb_sec=43
case_no=46 label=Case6.34 nb_sol=0 ticks=3855 tps=100 nb_sec=38
case_no=46 label=Case6.34 nb_sol=0 ticks=3771 tps=100 nb_sec=37
case_no=46 label=Case6.34 nb_sol=0 ticks=4361 tps=100 nb_sec=43
case_no=46 label=Case6.34 nb_sol=0 ticks=7161 tps=100 nb_sec=71
case_no=46 label=Case6.34 nb_sol=0 ticks=5383 tps=100 nb_sec=53
case_no=46 label=Case6.34 nb_sol=0 ticks=8022 tps=100 nb_sec=80
case_no=46 label=Case6.34 nb_sol=0 ticks=8002 tps=100 nb_sec=80
case_no=46 label=Case6.34 nb_sol=0 ticks=3898 tps=100 nb_sec=38
case_no=46 label=Case6.34 nb_sol=0 ticks=9294 tps=100 nb_sec=92
case_no=46 label=Case6.34 nb_sol=0 ticks=3294 tps=100 nb_sec=32
case_no=46 label=Case6.34 nb_sol=0 ticks=3787 tps=100 nb_sec=37
case_no=46 label=Case6.34 nb_sol=0 ticks=8535 tps=100 nb_sec=85
case_no=46 label=Case6.34 nb_sol=0 ticks=8507 tps=100 nb_sec=85
Nb_sol=0
Nb_sec=13066
0-3:37:46 or 3 hours
missing cases:
none