argc=5
-M 128
file2=30_select_Case6.111_starter_15_
checking files mod 128 from 0 to 127
case_no=123 label=Case6.111 nb_sol=0 ticks=2733 tps=100 nb_sec=27
case_no=123 label=Case6.111 nb_sol=0 ticks=7149 tps=100 nb_sec=71
case_no=123 label=Case6.111 nb_sol=0 ticks=1896 tps=100 nb_sec=18
case_no=123 label=Case6.111 nb_sol=0 ticks=5187 tps=100 nb_sec=51
case_no=123 label=Case6.111 nb_sol=0 ticks=3279 tps=100 nb_sec=32
case_no=123 label=Case6.111 nb_sol=0 ticks=3381 tps=100 nb_sec=33
case_no=123 label=Case6.111 nb_sol=0 ticks=3461 tps=100 nb_sec=34
case_no=123 label=Case6.111 nb_sol=0 ticks=3576 tps=100 nb_sec=35
case_no=123 label=Case6.111 nb_sol=0 ticks=3383 tps=100 nb_sec=33
case_no=123 label=Case6.111 nb_sol=0 ticks=2578 tps=100 nb_sec=25
case_no=123 label=Case6.111 nb_sol=0 ticks=14442 tps=100 nb_sec=144
case_no=123 label=Case6.111 nb_sol=0 ticks=6869 tps=100 nb_sec=68
case_no=123 label=Case6.111 nb_sol=0 ticks=4076 tps=100 nb_sec=40
case_no=123 label=Case6.111 nb_sol=0 ticks=6965 tps=100 nb_sec=69
case_no=123 label=Case6.111 nb_sol=0 ticks=12381 tps=100 nb_sec=123
case_no=123 label=Case6.111 nb_sol=0 ticks=8787 tps=100 nb_sec=87
case_no=123 label=Case6.111 nb_sol=0 ticks=5358 tps=100 nb_sec=53
case_no=123 label=Case6.111 nb_sol=0 ticks=12663 tps=100 nb_sec=126
case_no=123 label=Case6.111 nb_sol=0 ticks=7988 tps=100 nb_sec=79
case_no=123 label=Case6.111 nb_sol=0 ticks=8641 tps=100 nb_sec=86
case_no=123 label=Case6.111 nb_sol=0 ticks=3867 tps=100 nb_sec=38
case_no=123 label=Case6.111 nb_sol=0 ticks=8715 tps=100 nb_sec=87
case_no=123 label=Case6.111 nb_sol=0 ticks=8672 tps=100 nb_sec=86
case_no=123 label=Case6.111 nb_sol=0 ticks=5463 tps=100 nb_sec=54
case_no=123 label=Case6.111 nb_sol=0 ticks=5961 tps=100 nb_sec=59
case_no=123 label=Case6.111 nb_sol=0 ticks=3069 tps=100 nb_sec=30
case_no=123 label=Case6.111 nb_sol=0 ticks=3187 tps=100 nb_sec=31
case_no=123 label=Case6.111 nb_sol=0 ticks=3338 tps=100 nb_sec=33
case_no=123 label=Case6.111 nb_sol=0 ticks=6854 tps=100 nb_sec=68
case_no=123 label=Case6.111 nb_sol=0 ticks=4831 tps=100 nb_sec=48
case_no=123 label=Case6.111 nb_sol=0 ticks=3783 tps=100 nb_sec=37
case_no=123 label=Case6.111 nb_sol=0 ticks=5382 tps=100 nb_sec=53
case_no=123 label=Case6.111 nb_sol=0 ticks=4687 tps=100 nb_sec=46
case_no=123 label=Case6.111 nb_sol=0 ticks=4476 tps=100 nb_sec=44
case_no=123 label=Case6.111 nb_sol=0 ticks=6370 tps=100 nb_sec=63
case_no=123 label=Case6.111 nb_sol=0 ticks=3013 tps=100 nb_sec=30
case_no=123 label=Case6.111 nb_sol=0 ticks=4831 tps=100 nb_sec=48
case_no=123 label=Case6.111 nb_sol=0 ticks=4642 tps=100 nb_sec=46
case_no=123 label=Case6.111 nb_sol=0 ticks=15935 tps=100 nb_sec=159
case_no=123 label=Case6.111 nb_sol=0 ticks=10785 tps=100 nb_sec=107
case_no=123 label=Case6.111 nb_sol=0 ticks=2657 tps=100 nb_sec=26
case_no=123 label=Case6.111 nb_sol=0 ticks=11355 tps=100 nb_sec=113
case_no=123 label=Case6.111 nb_sol=0 ticks=6454 tps=100 nb_sec=64
case_no=123 label=Case6.111 nb_sol=0 ticks=5836 tps=100 nb_sec=58
case_no=123 label=Case6.111 nb_sol=0 ticks=3418 tps=100 nb_sec=34
case_no=123 label=Case6.111 nb_sol=0 ticks=3438 tps=100 nb_sec=34
case_no=123 label=Case6.111 nb_sol=0 ticks=6979 tps=100 nb_sec=69
case_no=123 label=Case6.111 nb_sol=0 ticks=5078 tps=100 nb_sec=50
case_no=123 label=Case6.111 nb_sol=0 ticks=8830 tps=100 nb_sec=88
case_no=123 label=Case6.111 nb_sol=0 ticks=7579 tps=100 nb_sec=75
case_no=123 label=Case6.111 nb_sol=0 ticks=4916 tps=100 nb_sec=49
case_no=123 label=Case6.111 nb_sol=0 ticks=6777 tps=100 nb_sec=67
case_no=123 label=Case6.111 nb_sol=0 ticks=5238 tps=100 nb_sec=52
case_no=123 label=Case6.111 nb_sol=0 ticks=10000 tps=100 nb_sec=100
case_no=123 label=Case6.111 nb_sol=0 ticks=5897 tps=100 nb_sec=58
case_no=123 label=Case6.111 nb_sol=0 ticks=5084 tps=100 nb_sec=50
case_no=123 label=Case6.111 nb_sol=0 ticks=7949 tps=100 nb_sec=79
case_no=123 label=Case6.111 nb_sol=0 ticks=4926 tps=100 nb_sec=49
case_no=123 label=Case6.111 nb_sol=0 ticks=2301 tps=100 nb_sec=23
case_no=123 label=Case6.111 nb_sol=0 ticks=4431 tps=100 nb_sec=44
case_no=123 label=Case6.111 nb_sol=0 ticks=9242 tps=100 nb_sec=92
case_no=123 label=Case6.111 nb_sol=0 ticks=7996 tps=100 nb_sec=79
case_no=123 label=Case6.111 nb_sol=0 ticks=5615 tps=100 nb_sec=56
case_no=123 label=Case6.111 nb_sol=0 ticks=4593 tps=100 nb_sec=45
case_no=123 label=Case6.111 nb_sol=0 ticks=10652 tps=100 nb_sec=106
case_no=123 label=Case6.111 nb_sol=0 ticks=7803 tps=100 nb_sec=78
case_no=123 label=Case6.111 nb_sol=0 ticks=6479 tps=100 nb_sec=64
case_no=123 label=Case6.111 nb_sol=0 ticks=3759 tps=100 nb_sec=37
case_no=123 label=Case6.111 nb_sol=0 ticks=12858 tps=100 nb_sec=128
case_no=123 label=Case6.111 nb_sol=0 ticks=9963 tps=100 nb_sec=99
case_no=123 label=Case6.111 nb_sol=0 ticks=7851 tps=100 nb_sec=78
case_no=123 label=Case6.111 nb_sol=0 ticks=7356 tps=100 nb_sec=73
case_no=123 label=Case6.111 nb_sol=0 ticks=12666 tps=100 nb_sec=126
case_no=123 label=Case6.111 nb_sol=0 ticks=8647 tps=100 nb_sec=86
case_no=123 label=Case6.111 nb_sol=0 ticks=6844 tps=100 nb_sec=68
case_no=123 label=Case6.111 nb_sol=0 ticks=11011 tps=100 nb_sec=110
case_no=123 label=Case6.111 nb_sol=0 ticks=5456 tps=100 nb_sec=54
case_no=123 label=Case6.111 nb_sol=0 ticks=1 tps=100 nb_sec=0
case_no=123 label=Case6.111 nb_sol=0 ticks=1 tps=100 nb_sec=0
case_no=123 label=Case6.111 nb_sol=0 ticks=1 tps=100 nb_sec=0
case_no=123 label=Case6.111 nb_sol=0 ticks=1 tps=100 nb_sec=0
case_no=123 label=Case6.111 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=123 label=Case6.111 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=123 label=Case6.111 nb_sol=0 ticks=1 tps=100 nb_sec=0
case_no=123 label=Case6.111 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=123 label=Case6.111 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=123 label=Case6.111 nb_sol=0 ticks=1 tps=100 nb_sec=0
case_no=123 label=Case6.111 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=123 label=Case6.111 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=123 label=Case6.111 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=123 label=Case6.111 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=123 label=Case6.111 nb_sol=0 ticks=1 tps=100 nb_sec=0
case_no=123 label=Case6.111 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=123 label=Case6.111 nb_sol=0 ticks=1 tps=100 nb_sec=0
case_no=123 label=Case6.111 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=123 label=Case6.111 nb_sol=0 ticks=1 tps=100 nb_sec=0
case_no=123 label=Case6.111 nb_sol=0 ticks=1 tps=100 nb_sec=0
case_no=123 label=Case6.111 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=123 label=Case6.111 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=123 label=Case6.111 nb_sol=0 ticks=1 tps=100 nb_sec=0
case_no=123 label=Case6.111 nb_sol=0 ticks=1 tps=100 nb_sec=0
case_no=123 label=Case6.111 nb_sol=0 ticks=1 tps=100 nb_sec=0
case_no=123 label=Case6.111 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=123 label=Case6.111 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=123 label=Case6.111 nb_sol=0 ticks=1 tps=100 nb_sec=0
case_no=123 label=Case6.111 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=123 label=Case6.111 nb_sol=0 ticks=1 tps=100 nb_sec=0
case_no=123 label=Case6.111 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=123 label=Case6.111 nb_sol=0 ticks=1 tps=100 nb_sec=0
case_no=123 label=Case6.111 nb_sol=0 ticks=1 tps=100 nb_sec=0
case_no=123 label=Case6.111 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=123 label=Case6.111 nb_sol=0 ticks=1 tps=100 nb_sec=0
case_no=123 label=Case6.111 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=123 label=Case6.111 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=123 label=Case6.111 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=123 label=Case6.111 nb_sol=0 ticks=1 tps=100 nb_sec=0
case_no=123 label=Case6.111 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=123 label=Case6.111 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=123 label=Case6.111 nb_sol=0 ticks=1 tps=100 nb_sec=0
case_no=123 label=Case6.111 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=123 label=Case6.111 nb_sol=0 ticks=1 tps=100 nb_sec=0
case_no=123 label=Case6.111 nb_sol=0 ticks=1 tps=100 nb_sec=0
case_no=123 label=Case6.111 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=123 label=Case6.111 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=123 label=Case6.111 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=123 label=Case6.111 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=123 label=Case6.111 nb_sol=0 ticks=1 tps=100 nb_sec=0
case_no=123 label=Case6.111 nb_sol=0 ticks=0 tps=100 nb_sec=0
Nb_sol=0
Nb_sec=4962
0-1:22:42 or 1 hours
missing cases:
none