argc=5
-M 256
file2=30_select_Case6.59_starter_16_
checking files mod 256 from 0 to 255
case_no=71 label=Case6.59 nb_sol=0 ticks=4542 tps=100 nb_sec=45
case_no=71 label=Case6.59 nb_sol=0 ticks=3925 tps=100 nb_sec=39
case_no=71 label=Case6.59 nb_sol=0 ticks=4191 tps=100 nb_sec=41
case_no=71 label=Case6.59 nb_sol=0 ticks=3922 tps=100 nb_sec=39
case_no=71 label=Case6.59 nb_sol=0 ticks=4552 tps=100 nb_sec=45
case_no=71 label=Case6.59 nb_sol=0 ticks=8271 tps=100 nb_sec=82
case_no=71 label=Case6.59 nb_sol=0 ticks=7056 tps=100 nb_sec=70
case_no=71 label=Case6.59 nb_sol=0 ticks=4051 tps=100 nb_sec=40
case_no=71 label=Case6.59 nb_sol=0 ticks=5222 tps=100 nb_sec=52
case_no=71 label=Case6.59 nb_sol=0 ticks=6650 tps=100 nb_sec=66
case_no=71 label=Case6.59 nb_sol=0 ticks=4780 tps=100 nb_sec=47
case_no=71 label=Case6.59 nb_sol=0 ticks=7838 tps=100 nb_sec=78
case_no=71 label=Case6.59 nb_sol=0 ticks=4763 tps=100 nb_sec=47
case_no=71 label=Case6.59 nb_sol=0 ticks=2880 tps=100 nb_sec=28
case_no=71 label=Case6.59 nb_sol=0 ticks=4582 tps=100 nb_sec=45
case_no=71 label=Case6.59 nb_sol=0 ticks=4169 tps=100 nb_sec=41
case_no=71 label=Case6.59 nb_sol=0 ticks=4914 tps=100 nb_sec=49
case_no=71 label=Case6.59 nb_sol=0 ticks=2925 tps=100 nb_sec=29
case_no=71 label=Case6.59 nb_sol=0 ticks=7179 tps=100 nb_sec=71
case_no=71 label=Case6.59 nb_sol=0 ticks=4057 tps=100 nb_sec=40
case_no=71 label=Case6.59 nb_sol=0 ticks=8613 tps=100 nb_sec=86
case_no=71 label=Case6.59 nb_sol=0 ticks=4413 tps=100 nb_sec=44
case_no=71 label=Case6.59 nb_sol=0 ticks=6971 tps=100 nb_sec=69
case_no=71 label=Case6.59 nb_sol=0 ticks=4859 tps=100 nb_sec=48
case_no=71 label=Case6.59 nb_sol=0 ticks=7230 tps=100 nb_sec=72
case_no=71 label=Case6.59 nb_sol=0 ticks=5674 tps=100 nb_sec=56
case_no=71 label=Case6.59 nb_sol=0 ticks=9263 tps=100 nb_sec=92
case_no=71 label=Case6.59 nb_sol=0 ticks=8016 tps=100 nb_sec=80
case_no=71 label=Case6.59 nb_sol=0 ticks=6769 tps=100 nb_sec=67
case_no=71 label=Case6.59 nb_sol=0 ticks=3011 tps=100 nb_sec=30
case_no=71 label=Case6.59 nb_sol=0 ticks=2924 tps=100 nb_sec=29
case_no=71 label=Case6.59 nb_sol=0 ticks=4621 tps=100 nb_sec=46
case_no=71 label=Case6.59 nb_sol=0 ticks=3157 tps=100 nb_sec=31
case_no=71 label=Case6.59 nb_sol=0 ticks=5423 tps=100 nb_sec=54
case_no=71 label=Case6.59 nb_sol=0 ticks=4398 tps=100 nb_sec=43
case_no=71 label=Case6.59 nb_sol=0 ticks=3382 tps=100 nb_sec=33
case_no=71 label=Case6.59 nb_sol=0 ticks=2736 tps=100 nb_sec=27
case_no=71 label=Case6.59 nb_sol=0 ticks=4465 tps=100 nb_sec=44
case_no=71 label=Case6.59 nb_sol=0 ticks=4844 tps=100 nb_sec=48
case_no=71 label=Case6.59 nb_sol=0 ticks=6197 tps=100 nb_sec=61
case_no=71 label=Case6.59 nb_sol=0 ticks=3679 tps=100 nb_sec=36
case_no=71 label=Case6.59 nb_sol=0 ticks=6336 tps=100 nb_sec=63
case_no=71 label=Case6.59 nb_sol=0 ticks=3808 tps=100 nb_sec=38
case_no=71 label=Case6.59 nb_sol=0 ticks=3323 tps=100 nb_sec=33
case_no=71 label=Case6.59 nb_sol=0 ticks=5473 tps=100 nb_sec=54
case_no=71 label=Case6.59 nb_sol=0 ticks=6184 tps=100 nb_sec=61
case_no=71 label=Case6.59 nb_sol=0 ticks=4073 tps=100 nb_sec=40
case_no=71 label=Case6.59 nb_sol=0 ticks=3690 tps=100 nb_sec=36
case_no=71 label=Case6.59 nb_sol=0 ticks=3527 tps=100 nb_sec=35
case_no=71 label=Case6.59 nb_sol=0 ticks=5008 tps=100 nb_sec=50
case_no=71 label=Case6.59 nb_sol=0 ticks=4192 tps=100 nb_sec=41
case_no=71 label=Case6.59 nb_sol=0 ticks=3942 tps=100 nb_sec=39
case_no=71 label=Case6.59 nb_sol=0 ticks=5713 tps=100 nb_sec=57
case_no=71 label=Case6.59 nb_sol=0 ticks=3796 tps=100 nb_sec=37
case_no=71 label=Case6.59 nb_sol=0 ticks=4347 tps=100 nb_sec=43
case_no=71 label=Case6.59 nb_sol=0 ticks=2780 tps=100 nb_sec=27
case_no=71 label=Case6.59 nb_sol=0 ticks=4457 tps=100 nb_sec=44
case_no=71 label=Case6.59 nb_sol=0 ticks=4224 tps=100 nb_sec=42
case_no=71 label=Case6.59 nb_sol=0 ticks=3088 tps=100 nb_sec=30
case_no=71 label=Case6.59 nb_sol=0 ticks=3955 tps=100 nb_sec=39
case_no=71 label=Case6.59 nb_sol=0 ticks=2787 tps=100 nb_sec=27
case_no=71 label=Case6.59 nb_sol=0 ticks=3700 tps=100 nb_sec=37
case_no=71 label=Case6.59 nb_sol=0 ticks=4747 tps=100 nb_sec=47
case_no=71 label=Case6.59 nb_sol=0 ticks=6764 tps=100 nb_sec=67
case_no=71 label=Case6.59 nb_sol=0 ticks=5009 tps=100 nb_sec=50
case_no=71 label=Case6.59 nb_sol=0 ticks=7192 tps=100 nb_sec=71
case_no=71 label=Case6.59 nb_sol=0 ticks=6285 tps=100 nb_sec=62
case_no=71 label=Case6.59 nb_sol=0 ticks=8199 tps=100 nb_sec=81
case_no=71 label=Case6.59 nb_sol=0 ticks=3763 tps=100 nb_sec=37
case_no=71 label=Case6.59 nb_sol=0 ticks=4064 tps=100 nb_sec=40
case_no=71 label=Case6.59 nb_sol=0 ticks=4196 tps=100 nb_sec=41
case_no=71 label=Case6.59 nb_sol=0 ticks=6865 tps=100 nb_sec=68
case_no=71 label=Case6.59 nb_sol=0 ticks=5220 tps=100 nb_sec=52
case_no=71 label=Case6.59 nb_sol=0 ticks=8098 tps=100 nb_sec=80
case_no=71 label=Case6.59 nb_sol=0 ticks=4028 tps=100 nb_sec=40
case_no=71 label=Case6.59 nb_sol=0 ticks=4363 tps=100 nb_sec=43
case_no=71 label=Case6.59 nb_sol=0 ticks=4438 tps=100 nb_sec=44
case_no=71 label=Case6.59 nb_sol=0 ticks=8083 tps=100 nb_sec=80
case_no=71 label=Case6.59 nb_sol=0 ticks=3453 tps=100 nb_sec=34
case_no=71 label=Case6.59 nb_sol=0 ticks=3169 tps=100 nb_sec=31
case_no=71 label=Case6.59 nb_sol=0 ticks=5701 tps=100 nb_sec=57
case_no=71 label=Case6.59 nb_sol=0 ticks=2689 tps=100 nb_sec=26
case_no=71 label=Case6.59 nb_sol=0 ticks=3514 tps=100 nb_sec=35
case_no=71 label=Case6.59 nb_sol=0 ticks=3580 tps=100 nb_sec=35
case_no=71 label=Case6.59 nb_sol=0 ticks=4531 tps=100 nb_sec=45
case_no=71 label=Case6.59 nb_sol=0 ticks=2758 tps=100 nb_sec=27
case_no=71 label=Case6.59 nb_sol=0 ticks=3200 tps=100 nb_sec=32
case_no=71 label=Case6.59 nb_sol=0 ticks=3492 tps=100 nb_sec=34
case_no=71 label=Case6.59 nb_sol=0 ticks=3421 tps=100 nb_sec=34
case_no=71 label=Case6.59 nb_sol=0 ticks=4733 tps=100 nb_sec=47
case_no=71 label=Case6.59 nb_sol=0 ticks=4772 tps=100 nb_sec=47
case_no=71 label=Case6.59 nb_sol=0 ticks=4501 tps=100 nb_sec=45
case_no=71 label=Case6.59 nb_sol=0 ticks=4040 tps=100 nb_sec=40
case_no=71 label=Case6.59 nb_sol=0 ticks=3728 tps=100 nb_sec=37
case_no=71 label=Case6.59 nb_sol=0 ticks=4685 tps=100 nb_sec=46
case_no=71 label=Case6.59 nb_sol=0 ticks=4792 tps=100 nb_sec=47
case_no=71 label=Case6.59 nb_sol=0 ticks=4836 tps=100 nb_sec=48
case_no=71 label=Case6.59 nb_sol=0 ticks=5287 tps=100 nb_sec=52
case_no=71 label=Case6.59 nb_sol=0 ticks=2938 tps=100 nb_sec=29
case_no=71 label=Case6.59 nb_sol=0 ticks=5179 tps=100 nb_sec=51
case_no=71 label=Case6.59 nb_sol=0 ticks=5696 tps=100 nb_sec=56
case_no=71 label=Case6.59 nb_sol=0 ticks=3584 tps=100 nb_sec=35
case_no=71 label=Case6.59 nb_sol=0 ticks=6798 tps=100 nb_sec=67
case_no=71 label=Case6.59 nb_sol=0 ticks=5823 tps=100 nb_sec=58
case_no=71 label=Case6.59 nb_sol=0 ticks=6551 tps=100 nb_sec=65
case_no=71 label=Case6.59 nb_sol=0 ticks=2900 tps=100 nb_sec=29
case_no=71 label=Case6.59 nb_sol=0 ticks=3890 tps=100 nb_sec=38
case_no=71 label=Case6.59 nb_sol=0 ticks=3798 tps=100 nb_sec=37
case_no=71 label=Case6.59 nb_sol=0 ticks=4593 tps=100 nb_sec=45
case_no=71 label=Case6.59 nb_sol=0 ticks=3891 tps=100 nb_sec=38
case_no=71 label=Case6.59 nb_sol=0 ticks=4784 tps=100 nb_sec=47
case_no=71 label=Case6.59 nb_sol=0 ticks=8977 tps=100 nb_sec=89
case_no=71 label=Case6.59 nb_sol=0 ticks=2942 tps=100 nb_sec=29
case_no=71 label=Case6.59 nb_sol=0 ticks=3657 tps=100 nb_sec=36
case_no=71 label=Case6.59 nb_sol=0 ticks=4434 tps=100 nb_sec=44
case_no=71 label=Case6.59 nb_sol=0 ticks=8057 tps=100 nb_sec=80
case_no=71 label=Case6.59 nb_sol=0 ticks=2702 tps=100 nb_sec=27
case_no=71 label=Case6.59 nb_sol=0 ticks=3246 tps=100 nb_sec=32
case_no=71 label=Case6.59 nb_sol=0 ticks=4554 tps=100 nb_sec=45
case_no=71 label=Case6.59 nb_sol=0 ticks=8307 tps=100 nb_sec=83
case_no=71 label=Case6.59 nb_sol=0 ticks=3868 tps=100 nb_sec=38
case_no=71 label=Case6.59 nb_sol=0 ticks=3921 tps=100 nb_sec=39
case_no=71 label=Case6.59 nb_sol=0 ticks=4803 tps=100 nb_sec=48
case_no=71 label=Case6.59 nb_sol=0 ticks=6438 tps=100 nb_sec=64
case_no=71 label=Case6.59 nb_sol=0 ticks=3130 tps=100 nb_sec=31
case_no=71 label=Case6.59 nb_sol=0 ticks=3854 tps=100 nb_sec=38
case_no=71 label=Case6.59 nb_sol=0 ticks=6234 tps=100 nb_sec=62
case_no=71 label=Case6.59 nb_sol=0 ticks=3093 tps=100 nb_sec=30
case_no=71 label=Case6.59 nb_sol=0 ticks=5313 tps=100 nb_sec=53
case_no=71 label=Case6.59 nb_sol=0 ticks=6409 tps=100 nb_sec=64
case_no=71 label=Case6.59 nb_sol=0 ticks=2868 tps=100 nb_sec=28
case_no=71 label=Case6.59 nb_sol=0 ticks=4260 tps=100 nb_sec=42
case_no=71 label=Case6.59 nb_sol=0 ticks=8068 tps=100 nb_sec=80
case_no=71 label=Case6.59 nb_sol=0 ticks=6238 tps=100 nb_sec=62
case_no=71 label=Case6.59 nb_sol=0 ticks=4791 tps=100 nb_sec=47
case_no=71 label=Case6.59 nb_sol=0 ticks=5179 tps=100 nb_sec=51
case_no=71 label=Case6.59 nb_sol=0 ticks=3135 tps=100 nb_sec=31
case_no=71 label=Case6.59 nb_sol=0 ticks=4487 tps=100 nb_sec=44
case_no=71 label=Case6.59 nb_sol=0 ticks=3011 tps=100 nb_sec=30
case_no=71 label=Case6.59 nb_sol=0 ticks=4641 tps=100 nb_sec=46
case_no=71 label=Case6.59 nb_sol=0 ticks=7182 tps=100 nb_sec=71
case_no=71 label=Case6.59 nb_sol=0 ticks=7165 tps=100 nb_sec=71
case_no=71 label=Case6.59 nb_sol=0 ticks=4414 tps=100 nb_sec=44
case_no=71 label=Case6.59 nb_sol=0 ticks=4458 tps=100 nb_sec=44
case_no=71 label=Case6.59 nb_sol=0 ticks=3521 tps=100 nb_sec=35
case_no=71 label=Case6.59 nb_sol=0 ticks=6174 tps=100 nb_sec=61
case_no=71 label=Case6.59 nb_sol=0 ticks=6263 tps=100 nb_sec=62
case_no=71 label=Case6.59 nb_sol=0 ticks=7263 tps=100 nb_sec=72
case_no=71 label=Case6.59 nb_sol=0 ticks=4887 tps=100 nb_sec=48
case_no=71 label=Case6.59 nb_sol=0 ticks=4558 tps=100 nb_sec=45
case_no=71 label=Case6.59 nb_sol=0 ticks=4624 tps=100 nb_sec=46
case_no=71 label=Case6.59 nb_sol=0 ticks=8286 tps=100 nb_sec=82
case_no=71 label=Case6.59 nb_sol=0 ticks=4793 tps=100 nb_sec=47
case_no=71 label=Case6.59 nb_sol=0 ticks=4324 tps=100 nb_sec=43
case_no=71 label=Case6.59 nb_sol=0 ticks=3875 tps=100 nb_sec=38
case_no=71 label=Case6.59 nb_sol=0 ticks=4872 tps=100 nb_sec=48
case_no=71 label=Case6.59 nb_sol=0 ticks=4515 tps=100 nb_sec=45
case_no=71 label=Case6.59 nb_sol=0 ticks=4599 tps=100 nb_sec=45
case_no=71 label=Case6.59 nb_sol=0 ticks=7289 tps=100 nb_sec=72
case_no=71 label=Case6.59 nb_sol=0 ticks=3997 tps=100 nb_sec=39
case_no=71 label=Case6.59 nb_sol=0 ticks=4407 tps=100 nb_sec=44
case_no=71 label=Case6.59 nb_sol=0 ticks=6643 tps=100 nb_sec=66
case_no=71 label=Case6.59 nb_sol=0 ticks=3865 tps=100 nb_sec=38
case_no=71 label=Case6.59 nb_sol=0 ticks=4619 tps=100 nb_sec=46
case_no=71 label=Case6.59 nb_sol=0 ticks=6658 tps=100 nb_sec=66
case_no=71 label=Case6.59 nb_sol=0 ticks=7597 tps=100 nb_sec=75
case_no=71 label=Case6.59 nb_sol=0 ticks=5563 tps=100 nb_sec=55
case_no=71 label=Case6.59 nb_sol=0 ticks=6577 tps=100 nb_sec=65
case_no=71 label=Case6.59 nb_sol=0 ticks=4102 tps=100 nb_sec=41
case_no=71 label=Case6.59 nb_sol=0 ticks=5149 tps=100 nb_sec=51
case_no=71 label=Case6.59 nb_sol=0 ticks=3696 tps=100 nb_sec=36
case_no=71 label=Case6.59 nb_sol=0 ticks=7711 tps=100 nb_sec=77
case_no=71 label=Case6.59 nb_sol=0 ticks=4044 tps=100 nb_sec=40
case_no=71 label=Case6.59 nb_sol=0 ticks=4433 tps=100 nb_sec=44
case_no=71 label=Case6.59 nb_sol=0 ticks=8353 tps=100 nb_sec=83
case_no=71 label=Case6.59 nb_sol=0 ticks=5479 tps=100 nb_sec=54
case_no=71 label=Case6.59 nb_sol=0 ticks=4579 tps=100 nb_sec=45
case_no=71 label=Case6.59 nb_sol=0 ticks=3646 tps=100 nb_sec=36
case_no=71 label=Case6.59 nb_sol=0 ticks=3403 tps=100 nb_sec=34
case_no=71 label=Case6.59 nb_sol=0 ticks=4336 tps=100 nb_sec=43
case_no=71 label=Case6.59 nb_sol=0 ticks=3791 tps=100 nb_sec=37
case_no=71 label=Case6.59 nb_sol=0 ticks=2685 tps=100 nb_sec=26
case_no=71 label=Case6.59 nb_sol=0 ticks=4275 tps=100 nb_sec=42
case_no=71 label=Case6.59 nb_sol=0 ticks=5169 tps=100 nb_sec=51
case_no=71 label=Case6.59 nb_sol=0 ticks=5073 tps=100 nb_sec=50
case_no=71 label=Case6.59 nb_sol=0 ticks=2749 tps=100 nb_sec=27
case_no=71 label=Case6.59 nb_sol=0 ticks=2817 tps=100 nb_sec=28
case_no=71 label=Case6.59 nb_sol=0 ticks=4352 tps=100 nb_sec=43
case_no=71 label=Case6.59 nb_sol=0 ticks=4306 tps=100 nb_sec=43
case_no=71 label=Case6.59 nb_sol=0 ticks=2997 tps=100 nb_sec=29
case_no=71 label=Case6.59 nb_sol=0 ticks=3927 tps=100 nb_sec=39
case_no=71 label=Case6.59 nb_sol=0 ticks=4973 tps=100 nb_sec=49
case_no=71 label=Case6.59 nb_sol=0 ticks=5490 tps=100 nb_sec=54
case_no=71 label=Case6.59 nb_sol=0 ticks=3977 tps=100 nb_sec=39
case_no=71 label=Case6.59 nb_sol=0 ticks=4095 tps=100 nb_sec=40
case_no=71 label=Case6.59 nb_sol=0 ticks=2965 tps=100 nb_sec=29
case_no=71 label=Case6.59 nb_sol=0 ticks=2864 tps=100 nb_sec=28
case_no=71 label=Case6.59 nb_sol=0 ticks=5058 tps=100 nb_sec=50
case_no=71 label=Case6.59 nb_sol=0 ticks=4049 tps=100 nb_sec=40
case_no=71 label=Case6.59 nb_sol=0 ticks=3547 tps=100 nb_sec=35
case_no=71 label=Case6.59 nb_sol=0 ticks=2722 tps=100 nb_sec=27
case_no=71 label=Case6.59 nb_sol=0 ticks=5484 tps=100 nb_sec=54
case_no=71 label=Case6.59 nb_sol=0 ticks=4507 tps=100 nb_sec=45
case_no=71 label=Case6.59 nb_sol=0 ticks=3366 tps=100 nb_sec=33
case_no=71 label=Case6.59 nb_sol=0 ticks=3785 tps=100 nb_sec=37
case_no=71 label=Case6.59 nb_sol=0 ticks=4556 tps=100 nb_sec=45
case_no=71 label=Case6.59 nb_sol=0 ticks=4972 tps=100 nb_sec=49
case_no=71 label=Case6.59 nb_sol=0 ticks=5727 tps=100 nb_sec=57
case_no=71 label=Case6.59 nb_sol=0 ticks=4432 tps=100 nb_sec=44
case_no=71 label=Case6.59 nb_sol=0 ticks=3627 tps=100 nb_sec=36
case_no=71 label=Case6.59 nb_sol=0 ticks=6493 tps=100 nb_sec=64
case_no=71 label=Case6.59 nb_sol=0 ticks=4611 tps=100 nb_sec=46
case_no=71 label=Case6.59 nb_sol=0 ticks=6427 tps=100 nb_sec=64
case_no=71 label=Case6.59 nb_sol=0 ticks=4982 tps=100 nb_sec=49
case_no=71 label=Case6.59 nb_sol=0 ticks=5052 tps=100 nb_sec=50
case_no=71 label=Case6.59 nb_sol=0 ticks=4341 tps=100 nb_sec=43
case_no=71 label=Case6.59 nb_sol=0 ticks=4521 tps=100 nb_sec=45
case_no=71 label=Case6.59 nb_sol=0 ticks=5897 tps=100 nb_sec=58
case_no=71 label=Case6.59 nb_sol=0 ticks=4097 tps=100 nb_sec=40
case_no=71 label=Case6.59 nb_sol=0 ticks=5251 tps=100 nb_sec=52
case_no=71 label=Case6.59 nb_sol=0 ticks=4500 tps=100 nb_sec=45
case_no=71 label=Case6.59 nb_sol=0 ticks=2764 tps=100 nb_sec=27
case_no=71 label=Case6.59 nb_sol=0 ticks=3722 tps=100 nb_sec=37
case_no=71 label=Case6.59 nb_sol=0 ticks=2978 tps=100 nb_sec=29
case_no=71 label=Case6.59 nb_sol=0 ticks=5622 tps=100 nb_sec=56
case_no=71 label=Case6.59 nb_sol=0 ticks=4570 tps=100 nb_sec=45
case_no=71 label=Case6.59 nb_sol=0 ticks=5942 tps=100 nb_sec=59
case_no=71 label=Case6.59 nb_sol=0 ticks=4602 tps=100 nb_sec=46
case_no=71 label=Case6.59 nb_sol=0 ticks=4331 tps=100 nb_sec=43
case_no=71 label=Case6.59 nb_sol=0 ticks=4695 tps=100 nb_sec=46
case_no=71 label=Case6.59 nb_sol=0 ticks=4399 tps=100 nb_sec=43
case_no=71 label=Case6.59 nb_sol=0 ticks=3703 tps=100 nb_sec=37
case_no=71 label=Case6.59 nb_sol=0 ticks=6303 tps=100 nb_sec=63
case_no=71 label=Case6.59 nb_sol=0 ticks=6090 tps=100 nb_sec=60
case_no=71 label=Case6.59 nb_sol=0 ticks=3777 tps=100 nb_sec=37
case_no=71 label=Case6.59 nb_sol=0 ticks=4708 tps=100 nb_sec=47
case_no=71 label=Case6.59 nb_sol=0 ticks=3936 tps=100 nb_sec=39
case_no=71 label=Case6.59 nb_sol=0 ticks=3810 tps=100 nb_sec=38
case_no=71 label=Case6.59 nb_sol=0 ticks=4399 tps=100 nb_sec=43
case_no=71 label=Case6.59 nb_sol=0 ticks=8667 tps=100 nb_sec=86
case_no=71 label=Case6.59 nb_sol=0 ticks=2947 tps=100 nb_sec=29
case_no=71 label=Case6.59 nb_sol=0 ticks=2884 tps=100 nb_sec=28
case_no=71 label=Case6.59 nb_sol=0 ticks=5201 tps=100 nb_sec=52
case_no=71 label=Case6.59 nb_sol=0 ticks=5940 tps=100 nb_sec=59
case_no=71 label=Case6.59 nb_sol=0 ticks=5202 tps=100 nb_sec=52
case_no=71 label=Case6.59 nb_sol=0 ticks=7621 tps=100 nb_sec=76
case_no=71 label=Case6.59 nb_sol=0 ticks=6575 tps=100 nb_sec=65
case_no=71 label=Case6.59 nb_sol=0 ticks=3974 tps=100 nb_sec=39
case_no=71 label=Case6.59 nb_sol=0 ticks=3399 tps=100 nb_sec=33
case_no=71 label=Case6.59 nb_sol=0 ticks=6131 tps=100 nb_sec=61
case_no=71 label=Case6.59 nb_sol=0 ticks=5127 tps=100 nb_sec=51
case_no=71 label=Case6.59 nb_sol=0 ticks=4181 tps=100 nb_sec=41
case_no=71 label=Case6.59 nb_sol=0 ticks=7230 tps=100 nb_sec=72
case_no=71 label=Case6.59 nb_sol=0 ticks=4366 tps=100 nb_sec=43
case_no=71 label=Case6.59 nb_sol=0 ticks=5347 tps=100 nb_sec=53
case_no=71 label=Case6.59 nb_sol=0 ticks=3649 tps=100 nb_sec=36
Nb_sol=0
Nb_sec=12183
0-3:23:3 or 3 hours
missing cases:
none