argc=5 -M 64 file2=30_select_Case6.142_starter_15_ checking files mod 64 from 0 to 63 case_no=154 label=Case6.142 nb_sol=0 ticks=19908 tps=100 nb_sec=199 case_no=154 label=Case6.142 nb_sol=0 ticks=18083 tps=100 nb_sec=180 case_no=154 label=Case6.142 nb_sol=0 ticks=23686 tps=100 nb_sec=236 case_no=154 label=Case6.142 nb_sol=0 ticks=19014 tps=100 nb_sec=190 case_no=154 label=Case6.142 nb_sol=0 ticks=18860 tps=100 nb_sec=188 case_no=154 label=Case6.142 nb_sol=0 ticks=16585 tps=100 nb_sec=165 case_no=154 label=Case6.142 nb_sol=0 ticks=20385 tps=100 nb_sec=203 case_no=154 label=Case6.142 nb_sol=0 ticks=21064 tps=100 nb_sec=210 case_no=154 label=Case6.142 nb_sol=0 ticks=15287 tps=100 nb_sec=152 case_no=154 label=Case6.142 nb_sol=0 ticks=18825 tps=100 nb_sec=188 case_no=154 label=Case6.142 nb_sol=0 ticks=20251 tps=100 nb_sec=202 case_no=154 label=Case6.142 nb_sol=0 ticks=21273 tps=100 nb_sec=212 case_no=154 label=Case6.142 nb_sol=0 ticks=23843 tps=100 nb_sec=238 case_no=154 label=Case6.142 nb_sol=0 ticks=17975 tps=100 nb_sec=179 case_no=154 label=Case6.142 nb_sol=0 ticks=18955 tps=100 nb_sec=189 case_no=154 label=Case6.142 nb_sol=0 ticks=22972 tps=100 nb_sec=229 case_no=154 label=Case6.142 nb_sol=0 ticks=22085 tps=100 nb_sec=220 case_no=154 label=Case6.142 nb_sol=0 ticks=17783 tps=100 nb_sec=177 case_no=154 label=Case6.142 nb_sol=0 ticks=18804 tps=100 nb_sec=188 case_no=154 label=Case6.142 nb_sol=0 ticks=15260 tps=100 nb_sec=152 case_no=154 label=Case6.142 nb_sol=0 ticks=17830 tps=100 nb_sec=178 case_no=154 label=Case6.142 nb_sol=0 ticks=17090 tps=100 nb_sec=170 case_no=154 label=Case6.142 nb_sol=0 ticks=22264 tps=100 nb_sec=222 case_no=154 label=Case6.142 nb_sol=0 ticks=18053 tps=100 nb_sec=180 case_no=154 label=Case6.142 nb_sol=0 ticks=17420 tps=100 nb_sec=174 case_no=154 label=Case6.142 nb_sol=0 ticks=25913 tps=100 nb_sec=259 case_no=154 label=Case6.142 nb_sol=0 ticks=19203 tps=100 nb_sec=192 case_no=154 label=Case6.142 nb_sol=0 ticks=18229 tps=100 nb_sec=182 case_no=154 label=Case6.142 nb_sol=0 ticks=17543 tps=100 nb_sec=175 case_no=154 label=Case6.142 nb_sol=0 ticks=20768 tps=100 nb_sec=207 case_no=154 label=Case6.142 nb_sol=0 ticks=17772 tps=100 nb_sec=177 case_no=154 label=Case6.142 nb_sol=0 ticks=18530 tps=100 nb_sec=185 case_no=154 label=Case6.142 nb_sol=0 ticks=21517 tps=100 nb_sec=215 case_no=154 label=Case6.142 nb_sol=0 ticks=23144 tps=100 nb_sec=231 case_no=154 label=Case6.142 nb_sol=0 ticks=25461 tps=100 nb_sec=254 case_no=154 label=Case6.142 nb_sol=0 ticks=18064 tps=100 nb_sec=180 case_no=154 label=Case6.142 nb_sol=0 ticks=22949 tps=100 nb_sec=229 case_no=154 label=Case6.142 nb_sol=0 ticks=18096 tps=100 nb_sec=180 case_no=154 label=Case6.142 nb_sol=0 ticks=15147 tps=100 nb_sec=151 case_no=154 label=Case6.142 nb_sol=0 ticks=12739 tps=100 nb_sec=127 case_no=154 label=Case6.142 nb_sol=0 ticks=12164 tps=100 nb_sec=121 case_no=154 label=Case6.142 nb_sol=0 ticks=11116 tps=100 nb_sec=111 case_no=154 label=Case6.142 nb_sol=0 ticks=11357 tps=100 nb_sec=113 case_no=154 label=Case6.142 nb_sol=0 ticks=12999 tps=100 nb_sec=129 case_no=154 label=Case6.142 nb_sol=0 ticks=20912 tps=100 nb_sec=209 case_no=154 label=Case6.142 nb_sol=0 ticks=13519 tps=100 nb_sec=135 case_no=154 label=Case6.142 nb_sol=0 ticks=22645 tps=100 nb_sec=226 case_no=154 label=Case6.142 nb_sol=0 ticks=14145 tps=100 nb_sec=141 case_no=154 label=Case6.142 nb_sol=0 ticks=20391 tps=100 nb_sec=203 case_no=154 label=Case6.142 nb_sol=0 ticks=19236 tps=100 nb_sec=192 case_no=154 label=Case6.142 nb_sol=0 ticks=20806 tps=100 nb_sec=208 case_no=154 label=Case6.142 nb_sol=0 ticks=19708 tps=100 nb_sec=197 case_no=154 label=Case6.142 nb_sol=0 ticks=22691 tps=100 nb_sec=226 case_no=154 label=Case6.142 nb_sol=0 ticks=17232 tps=100 nb_sec=172 case_no=154 label=Case6.142 nb_sol=0 ticks=19857 tps=100 nb_sec=198 case_no=154 label=Case6.142 nb_sol=0 ticks=20884 tps=100 nb_sec=208 case_no=154 label=Case6.142 nb_sol=0 ticks=20419 tps=100 nb_sec=204 case_no=154 label=Case6.142 nb_sol=0 ticks=17140 tps=100 nb_sec=171 case_no=154 label=Case6.142 nb_sol=0 ticks=18069 tps=100 nb_sec=180 case_no=154 label=Case6.142 nb_sol=0 ticks=17520 tps=100 nb_sec=175 case_no=154 label=Case6.142 nb_sol=0 ticks=20999 tps=100 nb_sec=209 case_no=154 label=Case6.142 nb_sol=0 ticks=20050 tps=100 nb_sec=200 case_no=154 label=Case6.142 nb_sol=0 ticks=20545 tps=100 nb_sec=205 case_no=154 label=Case6.142 nb_sol=0 ticks=29978 tps=100 nb_sec=299 Nb_sol=0 Nb_sec=12197 0-3:23:17 or 3 hours missing cases: none