argc=5 -M 64 file2=30_select_Case6.166_starter_15_ checking files mod 64 from 0 to 63 case_no=178 label=Case6.166 nb_sol=0 ticks=1152052 tps=100 nb_sec=11520 case_no=178 label=Case6.166 nb_sol=0 ticks=1354783 tps=100 nb_sec=13547 case_no=178 label=Case6.166 nb_sol=0 ticks=1392002 tps=100 nb_sec=13920 case_no=178 label=Case6.166 nb_sol=0 ticks=719765 tps=100 nb_sec=7197 case_no=178 label=Case6.166 nb_sol=0 ticks=2257525 tps=100 nb_sec=22575 case_no=178 label=Case6.166 nb_sol=0 ticks=2420899 tps=100 nb_sec=24208 case_no=178 label=Case6.166 nb_sol=0 ticks=2222586 tps=100 nb_sec=22225 case_no=178 label=Case6.166 nb_sol=0 ticks=892422 tps=100 nb_sec=8924 case_no=178 label=Case6.166 nb_sol=0 ticks=1728642 tps=100 nb_sec=17286 case_no=178 label=Case6.166 nb_sol=0 ticks=656942 tps=100 nb_sec=6569 case_no=178 label=Case6.166 nb_sol=0 ticks=2373224 tps=100 nb_sec=23732 case_no=178 label=Case6.166 nb_sol=0 ticks=889424 tps=100 nb_sec=8894 case_no=178 label=Case6.166 nb_sol=0 ticks=1745851 tps=100 nb_sec=17458 case_no=178 label=Case6.166 nb_sol=0 ticks=1926743 tps=100 nb_sec=19267 case_no=178 label=Case6.166 nb_sol=0 ticks=1632902 tps=100 nb_sec=16329 case_no=178 label=Case6.166 nb_sol=0 ticks=1745879 tps=100 nb_sec=17458 case_no=178 label=Case6.166 nb_sol=0 ticks=1433896 tps=100 nb_sec=14338 case_no=178 label=Case6.166 nb_sol=0 ticks=1636382 tps=100 nb_sec=16363 case_no=178 label=Case6.166 nb_sol=0 ticks=1594437 tps=100 nb_sec=15944 case_no=178 label=Case6.166 nb_sol=0 ticks=1609934 tps=100 nb_sec=16099 case_no=178 label=Case6.166 nb_sol=0 ticks=1134796 tps=100 nb_sec=11347 case_no=178 label=Case6.166 nb_sol=0 ticks=1731168 tps=100 nb_sec=17311 case_no=178 label=Case6.166 nb_sol=0 ticks=1517515 tps=100 nb_sec=15175 case_no=178 label=Case6.166 nb_sol=0 ticks=1517965 tps=100 nb_sec=15179 case_no=178 label=Case6.166 nb_sol=0 ticks=1440949 tps=100 nb_sec=14409 case_no=178 label=Case6.166 nb_sol=0 ticks=1247197 tps=100 nb_sec=12471 case_no=178 label=Case6.166 nb_sol=0 ticks=1412357 tps=100 nb_sec=14123 case_no=178 label=Case6.166 nb_sol=0 ticks=1705433 tps=100 nb_sec=17054 case_no=178 label=Case6.166 nb_sol=0 ticks=1710938 tps=100 nb_sec=17109 case_no=178 label=Case6.166 nb_sol=0 ticks=1596260 tps=100 nb_sec=15962 case_no=178 label=Case6.166 nb_sol=0 ticks=1429770 tps=100 nb_sec=14297 case_no=178 label=Case6.166 nb_sol=0 ticks=2175986 tps=100 nb_sec=21759 case_no=178 label=Case6.166 nb_sol=0 ticks=1568640 tps=100 nb_sec=15686 case_no=178 label=Case6.166 nb_sol=0 ticks=1286196 tps=100 nb_sec=12861 case_no=178 label=Case6.166 nb_sol=0 ticks=1352836 tps=100 nb_sec=13528 case_no=178 label=Case6.166 nb_sol=0 ticks=1218058 tps=100 nb_sec=12180 case_no=178 label=Case6.166 nb_sol=0 ticks=1483988 tps=100 nb_sec=14839 case_no=178 label=Case6.166 nb_sol=0 ticks=2104568 tps=100 nb_sec=21045 case_no=178 label=Case6.166 nb_sol=0 ticks=1119173 tps=100 nb_sec=11191 case_no=178 label=Case6.166 nb_sol=0 ticks=1511506 tps=100 nb_sec=15115 case_no=178 label=Case6.166 nb_sol=0 ticks=1356539 tps=100 nb_sec=13565 case_no=178 label=Case6.166 nb_sol=0 ticks=1157533 tps=100 nb_sec=11575 case_no=178 label=Case6.166 nb_sol=0 ticks=1220771 tps=100 nb_sec=12207 case_no=178 label=Case6.166 nb_sol=0 ticks=1192368 tps=100 nb_sec=11923 case_no=178 label=Case6.166 nb_sol=0 ticks=1296493 tps=100 nb_sec=12964 case_no=178 label=Case6.166 nb_sol=0 ticks=728722 tps=100 nb_sec=7287 case_no=178 label=Case6.166 nb_sol=0 ticks=1576763 tps=100 nb_sec=15767 case_no=178 label=Case6.166 nb_sol=0 ticks=1387035 tps=100 nb_sec=13870 case_no=178 label=Case6.166 nb_sol=0 ticks=685515 tps=100 nb_sec=6855 case_no=178 label=Case6.166 nb_sol=0 ticks=1252212 tps=100 nb_sec=12522 case_no=178 label=Case6.166 nb_sol=0 ticks=1145568 tps=100 nb_sec=11455 case_no=178 label=Case6.166 nb_sol=0 ticks=1336654 tps=100 nb_sec=13366 case_no=178 label=Case6.166 nb_sol=0 ticks=1206478 tps=100 nb_sec=12064 case_no=178 label=Case6.166 nb_sol=0 ticks=572932 tps=100 nb_sec=5729 case_no=178 label=Case6.166 nb_sol=0 ticks=1172480 tps=100 nb_sec=11724 case_no=178 label=Case6.166 nb_sol=0 ticks=1417648 tps=100 nb_sec=14176 case_no=178 label=Case6.166 nb_sol=0 ticks=872730 tps=100 nb_sec=8727 case_no=178 label=Case6.166 nb_sol=0 ticks=1300902 tps=100 nb_sec=13009 case_no=178 label=Case6.166 nb_sol=0 ticks=704900 tps=100 nb_sec=7049 case_no=178 label=Case6.166 nb_sol=0 ticks=640828 tps=100 nb_sec=6408 case_no=178 label=Case6.166 nb_sol=0 ticks=665551 tps=100 nb_sec=6655 case_no=178 label=Case6.166 nb_sol=0 ticks=794011 tps=100 nb_sec=7940 case_no=178 label=Case6.166 nb_sol=0 ticks=610517 tps=100 nb_sec=6105 case_no=178 label=Case6.166 nb_sol=0 ticks=1365669 tps=100 nb_sec=13656 Nb_sol=0 Nb_sec=873092 10-2:31:32 or 242 hours missing cases: none