argc=5 -M 64 file2=30_select_Case6.165_starter_15_ checking files mod 64 from 0 to 63 case_no=177 label=Case6.165 nb_sol=0 ticks=1238874 tps=100 nb_sec=12388 case_no=177 label=Case6.165 nb_sol=0 ticks=1269591 tps=100 nb_sec=12695 case_no=177 label=Case6.165 nb_sol=0 ticks=677492 tps=100 nb_sec=6774 case_no=177 label=Case6.165 nb_sol=0 ticks=1390111 tps=100 nb_sec=13901 case_no=177 label=Case6.165 nb_sol=0 ticks=1189744 tps=100 nb_sec=11897 case_no=177 label=Case6.165 nb_sol=0 ticks=1342934 tps=100 nb_sec=13429 case_no=177 label=Case6.165 nb_sol=0 ticks=674059 tps=100 nb_sec=6740 case_no=177 label=Case6.165 nb_sol=0 ticks=1084354 tps=100 nb_sec=10843 case_no=177 label=Case6.165 nb_sol=0 ticks=1680062 tps=100 nb_sec=16800 case_no=177 label=Case6.165 nb_sol=0 ticks=1267820 tps=100 nb_sec=12678 case_no=177 label=Case6.165 nb_sol=0 ticks=1365006 tps=100 nb_sec=13650 case_no=177 label=Case6.165 nb_sol=0 ticks=1427070 tps=100 nb_sec=14270 case_no=177 label=Case6.165 nb_sol=0 ticks=1287012 tps=100 nb_sec=12870 case_no=177 label=Case6.165 nb_sol=0 ticks=649154 tps=100 nb_sec=6491 case_no=177 label=Case6.165 nb_sol=0 ticks=1920569 tps=100 nb_sec=19205 case_no=177 label=Case6.165 nb_sol=0 ticks=1559098 tps=100 nb_sec=15590 case_no=177 label=Case6.165 nb_sol=0 ticks=1869450 tps=100 nb_sec=18694 case_no=177 label=Case6.165 nb_sol=0 ticks=729363 tps=100 nb_sec=7293 case_no=177 label=Case6.165 nb_sol=0 ticks=721944 tps=100 nb_sec=7219 case_no=177 label=Case6.165 nb_sol=0 ticks=755693 tps=100 nb_sec=7556 case_no=177 label=Case6.165 nb_sol=0 ticks=909992 tps=100 nb_sec=9099 case_no=177 label=Case6.165 nb_sol=0 ticks=1750384 tps=100 nb_sec=17503 case_no=177 label=Case6.165 nb_sol=0 ticks=2180974 tps=100 nb_sec=21809 case_no=177 label=Case6.165 nb_sol=0 ticks=631384 tps=100 nb_sec=6313 case_no=177 label=Case6.165 nb_sol=0 ticks=1285217 tps=100 nb_sec=12852 case_no=177 label=Case6.165 nb_sol=0 ticks=1051375 tps=100 nb_sec=10513 case_no=177 label=Case6.165 nb_sol=0 ticks=1865656 tps=100 nb_sec=18656 case_no=177 label=Case6.165 nb_sol=0 ticks=1266509 tps=100 nb_sec=12665 case_no=177 label=Case6.165 nb_sol=0 ticks=1413713 tps=100 nb_sec=14137 case_no=177 label=Case6.165 nb_sol=0 ticks=690993 tps=100 nb_sec=6909 case_no=177 label=Case6.165 nb_sol=0 ticks=883766 tps=100 nb_sec=8837 case_no=177 label=Case6.165 nb_sol=0 ticks=707934 tps=100 nb_sec=7079 case_no=177 label=Case6.165 nb_sol=0 ticks=1361635 tps=100 nb_sec=13616 case_no=177 label=Case6.165 nb_sol=0 ticks=945621 tps=100 nb_sec=9456 case_no=177 label=Case6.165 nb_sol=0 ticks=569989 tps=100 nb_sec=5699 case_no=177 label=Case6.165 nb_sol=0 ticks=1773130 tps=100 nb_sec=17731 case_no=177 label=Case6.165 nb_sol=0 ticks=1311033 tps=100 nb_sec=13110 case_no=177 label=Case6.165 nb_sol=0 ticks=1795713 tps=100 nb_sec=17957 case_no=177 label=Case6.165 nb_sol=0 ticks=1258413 tps=100 nb_sec=12584 case_no=177 label=Case6.165 nb_sol=0 ticks=1322305 tps=100 nb_sec=13223 case_no=177 label=Case6.165 nb_sol=0 ticks=1145421 tps=100 nb_sec=11454 case_no=177 label=Case6.165 nb_sol=0 ticks=1540750 tps=100 nb_sec=15407 case_no=177 label=Case6.165 nb_sol=0 ticks=1198976 tps=100 nb_sec=11989 case_no=177 label=Case6.165 nb_sol=0 ticks=1170300 tps=100 nb_sec=11703 case_no=177 label=Case6.165 nb_sol=0 ticks=1653952 tps=100 nb_sec=16539 case_no=177 label=Case6.165 nb_sol=0 ticks=1641879 tps=100 nb_sec=16418 case_no=177 label=Case6.165 nb_sol=0 ticks=1813270 tps=100 nb_sec=18132 case_no=177 label=Case6.165 nb_sol=0 ticks=2020400 tps=100 nb_sec=20204 case_no=177 label=Case6.165 nb_sol=0 ticks=2010315 tps=100 nb_sec=20103 case_no=177 label=Case6.165 nb_sol=0 ticks=1527247 tps=100 nb_sec=15272 case_no=177 label=Case6.165 nb_sol=0 ticks=893902 tps=100 nb_sec=8939 case_no=177 label=Case6.165 nb_sol=0 ticks=1203296 tps=100 nb_sec=12032 case_no=177 label=Case6.165 nb_sol=0 ticks=1460362 tps=100 nb_sec=14603 case_no=177 label=Case6.165 nb_sol=0 ticks=1489320 tps=100 nb_sec=14893 case_no=177 label=Case6.165 nb_sol=0 ticks=1792793 tps=100 nb_sec=17927 case_no=177 label=Case6.165 nb_sol=0 ticks=1433616 tps=100 nb_sec=14336 case_no=177 label=Case6.165 nb_sol=0 ticks=1219983 tps=100 nb_sec=12199 case_no=177 label=Case6.165 nb_sol=0 ticks=1376392 tps=100 nb_sec=13763 case_no=177 label=Case6.165 nb_sol=0 ticks=1182121 tps=100 nb_sec=11821 case_no=177 label=Case6.165 nb_sol=0 ticks=545023 tps=100 nb_sec=5450 case_no=177 label=Case6.165 nb_sol=0 ticks=1861608 tps=100 nb_sec=18616 case_no=177 label=Case6.165 nb_sol=0 ticks=1284029 tps=100 nb_sec=12840 case_no=177 label=Case6.165 nb_sol=0 ticks=1153928 tps=100 nb_sec=11539 case_no=177 label=Case6.165 nb_sol=0 ticks=1990271 tps=100 nb_sec=19902 Nb_sol=0 Nb_sec=836812 9-16:26:52 or 232 hours missing cases: none