argc=5 -M 128 file2=30_select_Case6.115_starter_15_ checking files mod 128 from 0 to 127 case_no=127 label=Case6.115 nb_sol=0 ticks=82561 tps=100 nb_sec=825 case_no=127 label=Case6.115 nb_sol=0 ticks=135752 tps=100 nb_sec=1357 case_no=127 label=Case6.115 nb_sol=0 ticks=177744 tps=100 nb_sec=1777 case_no=127 label=Case6.115 nb_sol=0 ticks=91498 tps=100 nb_sec=914 case_no=127 label=Case6.115 nb_sol=0 ticks=97799 tps=100 nb_sec=977 case_no=127 label=Case6.115 nb_sol=0 ticks=123587 tps=100 nb_sec=1235 case_no=127 label=Case6.115 nb_sol=0 ticks=84374 tps=100 nb_sec=843 case_no=127 label=Case6.115 nb_sol=0 ticks=95987 tps=100 nb_sec=959 case_no=127 label=Case6.115 nb_sol=0 ticks=79586 tps=100 nb_sec=795 case_no=127 label=Case6.115 nb_sol=0 ticks=68666 tps=100 nb_sec=686 case_no=127 label=Case6.115 nb_sol=0 ticks=101537 tps=100 nb_sec=1015 case_no=127 label=Case6.115 nb_sol=0 ticks=170550 tps=100 nb_sec=1705 case_no=127 label=Case6.115 nb_sol=0 ticks=158683 tps=100 nb_sec=1586 case_no=127 label=Case6.115 nb_sol=0 ticks=130053 tps=100 nb_sec=1300 case_no=127 label=Case6.115 nb_sol=0 ticks=107091 tps=100 nb_sec=1070 case_no=127 label=Case6.115 nb_sol=0 ticks=100310 tps=100 nb_sec=1003 case_no=127 label=Case6.115 nb_sol=0 ticks=92958 tps=100 nb_sec=929 case_no=127 label=Case6.115 nb_sol=0 ticks=77567 tps=100 nb_sec=775 case_no=127 label=Case6.115 nb_sol=0 ticks=113353 tps=100 nb_sec=1133 case_no=127 label=Case6.115 nb_sol=0 ticks=92199 tps=100 nb_sec=921 case_no=127 label=Case6.115 nb_sol=0 ticks=84280 tps=100 nb_sec=842 case_no=127 label=Case6.115 nb_sol=0 ticks=125775 tps=100 nb_sec=1257 case_no=127 label=Case6.115 nb_sol=0 ticks=89686 tps=100 nb_sec=896 case_no=127 label=Case6.115 nb_sol=0 ticks=71910 tps=100 nb_sec=719 case_no=127 label=Case6.115 nb_sol=0 ticks=120542 tps=100 nb_sec=1205 case_no=127 label=Case6.115 nb_sol=0 ticks=113842 tps=100 nb_sec=1138 case_no=127 label=Case6.115 nb_sol=0 ticks=134029 tps=100 nb_sec=1340 case_no=127 label=Case6.115 nb_sol=0 ticks=170265 tps=100 nb_sec=1702 case_no=127 label=Case6.115 nb_sol=0 ticks=118206 tps=100 nb_sec=1182 case_no=127 label=Case6.115 nb_sol=0 ticks=79607 tps=100 nb_sec=796 case_no=127 label=Case6.115 nb_sol=0 ticks=68221 tps=100 nb_sec=682 case_no=127 label=Case6.115 nb_sol=0 ticks=119602 tps=100 nb_sec=1196 case_no=127 label=Case6.115 nb_sol=0 ticks=92031 tps=100 nb_sec=920 case_no=127 label=Case6.115 nb_sol=0 ticks=119229 tps=100 nb_sec=1192 case_no=127 label=Case6.115 nb_sol=0 ticks=130116 tps=100 nb_sec=1301 case_no=127 label=Case6.115 nb_sol=0 ticks=128648 tps=100 nb_sec=1286 case_no=127 label=Case6.115 nb_sol=0 ticks=94332 tps=100 nb_sec=943 case_no=127 label=Case6.115 nb_sol=0 ticks=120000 tps=100 nb_sec=1200 case_no=127 label=Case6.115 nb_sol=0 ticks=104366 tps=100 nb_sec=1043 case_no=127 label=Case6.115 nb_sol=0 ticks=66365 tps=100 nb_sec=663 case_no=127 label=Case6.115 nb_sol=0 ticks=102404 tps=100 nb_sec=1024 case_no=127 label=Case6.115 nb_sol=0 ticks=81627 tps=100 nb_sec=816 case_no=127 label=Case6.115 nb_sol=0 ticks=81212 tps=100 nb_sec=812 case_no=127 label=Case6.115 nb_sol=0 ticks=85493 tps=100 nb_sec=854 case_no=127 label=Case6.115 nb_sol=0 ticks=67340 tps=100 nb_sec=673 case_no=127 label=Case6.115 nb_sol=0 ticks=36990 tps=100 nb_sec=369 case_no=127 label=Case6.115 nb_sol=0 ticks=49191 tps=100 nb_sec=491 case_no=127 label=Case6.115 nb_sol=0 ticks=44314 tps=100 nb_sec=443 case_no=127 label=Case6.115 nb_sol=0 ticks=53942 tps=100 nb_sec=539 case_no=127 label=Case6.115 nb_sol=0 ticks=88735 tps=100 nb_sec=887 case_no=127 label=Case6.115 nb_sol=0 ticks=97478 tps=100 nb_sec=974 case_no=127 label=Case6.115 nb_sol=0 ticks=81020 tps=100 nb_sec=810 case_no=127 label=Case6.115 nb_sol=0 ticks=74992 tps=100 nb_sec=749 case_no=127 label=Case6.115 nb_sol=0 ticks=101872 tps=100 nb_sec=1018 case_no=127 label=Case6.115 nb_sol=0 ticks=101414 tps=100 nb_sec=1014 case_no=127 label=Case6.115 nb_sol=0 ticks=77530 tps=100 nb_sec=775 case_no=127 label=Case6.115 nb_sol=0 ticks=91486 tps=100 nb_sec=914 case_no=127 label=Case6.115 nb_sol=0 ticks=146633 tps=100 nb_sec=1466 case_no=127 label=Case6.115 nb_sol=0 ticks=89248 tps=100 nb_sec=892 case_no=127 label=Case6.115 nb_sol=0 ticks=134550 tps=100 nb_sec=1345 case_no=127 label=Case6.115 nb_sol=0 ticks=138312 tps=100 nb_sec=1383 case_no=127 label=Case6.115 nb_sol=0 ticks=98459 tps=100 nb_sec=984 case_no=127 label=Case6.115 nb_sol=0 ticks=117010 tps=100 nb_sec=1170 case_no=127 label=Case6.115 nb_sol=0 ticks=100049 tps=100 nb_sec=1000 case_no=127 label=Case6.115 nb_sol=0 ticks=106676 tps=100 nb_sec=1066 case_no=127 label=Case6.115 nb_sol=0 ticks=100745 tps=100 nb_sec=1007 case_no=127 label=Case6.115 nb_sol=0 ticks=79263 tps=100 nb_sec=792 case_no=127 label=Case6.115 nb_sol=0 ticks=113453 tps=100 nb_sec=1134 case_no=127 label=Case6.115 nb_sol=0 ticks=78044 tps=100 nb_sec=780 case_no=127 label=Case6.115 nb_sol=0 ticks=77782 tps=100 nb_sec=777 case_no=127 label=Case6.115 nb_sol=0 ticks=56900 tps=100 nb_sec=569 case_no=127 label=Case6.115 nb_sol=0 ticks=104455 tps=100 nb_sec=1044 case_no=127 label=Case6.115 nb_sol=0 ticks=106498 tps=100 nb_sec=1064 case_no=127 label=Case6.115 nb_sol=0 ticks=73236 tps=100 nb_sec=732 case_no=127 label=Case6.115 nb_sol=0 ticks=94413 tps=100 nb_sec=944 case_no=127 label=Case6.115 nb_sol=0 ticks=70230 tps=100 nb_sec=702 case_no=127 label=Case6.115 nb_sol=0 ticks=60301 tps=100 nb_sec=603 case_no=127 label=Case6.115 nb_sol=0 ticks=54624 tps=100 nb_sec=546 case_no=127 label=Case6.115 nb_sol=0 ticks=113128 tps=100 nb_sec=1131 case_no=127 label=Case6.115 nb_sol=0 ticks=130395 tps=100 nb_sec=1303 case_no=127 label=Case6.115 nb_sol=0 ticks=124392 tps=100 nb_sec=1243 case_no=127 label=Case6.115 nb_sol=0 ticks=156791 tps=100 nb_sec=1567 case_no=127 label=Case6.115 nb_sol=0 ticks=85749 tps=100 nb_sec=857 case_no=127 label=Case6.115 nb_sol=0 ticks=115721 tps=100 nb_sec=1157 case_no=127 label=Case6.115 nb_sol=0 ticks=97920 tps=100 nb_sec=979 case_no=127 label=Case6.115 nb_sol=0 ticks=85336 tps=100 nb_sec=853 case_no=127 label=Case6.115 nb_sol=0 ticks=109275 tps=100 nb_sec=1092 case_no=127 label=Case6.115 nb_sol=0 ticks=91499 tps=100 nb_sec=914 case_no=127 label=Case6.115 nb_sol=0 ticks=125637 tps=100 nb_sec=1256 case_no=127 label=Case6.115 nb_sol=0 ticks=136804 tps=100 nb_sec=1368 case_no=127 label=Case6.115 nb_sol=0 ticks=99658 tps=100 nb_sec=996 case_no=127 label=Case6.115 nb_sol=0 ticks=122979 tps=100 nb_sec=1229 case_no=127 label=Case6.115 nb_sol=0 ticks=154003 tps=100 nb_sec=1540 case_no=127 label=Case6.115 nb_sol=0 ticks=61360 tps=100 nb_sec=613 case_no=127 label=Case6.115 nb_sol=0 ticks=90819 tps=100 nb_sec=908 case_no=127 label=Case6.115 nb_sol=0 ticks=84503 tps=100 nb_sec=845 case_no=127 label=Case6.115 nb_sol=0 ticks=80007 tps=100 nb_sec=800 case_no=127 label=Case6.115 nb_sol=0 ticks=45410 tps=100 nb_sec=454 case_no=127 label=Case6.115 nb_sol=0 ticks=57901 tps=100 nb_sec=579 case_no=127 label=Case6.115 nb_sol=0 ticks=94128 tps=100 nb_sec=941 case_no=127 label=Case6.115 nb_sol=0 ticks=57125 tps=100 nb_sec=571 case_no=127 label=Case6.115 nb_sol=0 ticks=105692 tps=100 nb_sec=1056 case_no=127 label=Case6.115 nb_sol=0 ticks=117067 tps=100 nb_sec=1170 case_no=127 label=Case6.115 nb_sol=0 ticks=125317 tps=100 nb_sec=1253 case_no=127 label=Case6.115 nb_sol=0 ticks=109492 tps=100 nb_sec=1094 case_no=127 label=Case6.115 nb_sol=0 ticks=53982 tps=100 nb_sec=539 case_no=127 label=Case6.115 nb_sol=0 ticks=65583 tps=100 nb_sec=655 case_no=127 label=Case6.115 nb_sol=0 ticks=91008 tps=100 nb_sec=910 case_no=127 label=Case6.115 nb_sol=0 ticks=96046 tps=100 nb_sec=960 case_no=127 label=Case6.115 nb_sol=0 ticks=117792 tps=100 nb_sec=1177 case_no=127 label=Case6.115 nb_sol=0 ticks=138179 tps=100 nb_sec=1381 case_no=127 label=Case6.115 nb_sol=0 ticks=93662 tps=100 nb_sec=936 case_no=127 label=Case6.115 nb_sol=0 ticks=69363 tps=100 nb_sec=693 case_no=127 label=Case6.115 nb_sol=0 ticks=145732 tps=100 nb_sec=1457 case_no=127 label=Case6.115 nb_sol=0 ticks=54306 tps=100 nb_sec=543 case_no=127 label=Case6.115 nb_sol=0 ticks=38955 tps=100 nb_sec=389 case_no=127 label=Case6.115 nb_sol=0 ticks=117021 tps=100 nb_sec=1170 case_no=127 label=Case6.115 nb_sol=0 ticks=101816 tps=100 nb_sec=1018 case_no=127 label=Case6.115 nb_sol=0 ticks=88711 tps=100 nb_sec=887 case_no=127 label=Case6.115 nb_sol=0 ticks=87328 tps=100 nb_sec=873 case_no=127 label=Case6.115 nb_sol=0 ticks=90217 tps=100 nb_sec=902 case_no=127 label=Case6.115 nb_sol=0 ticks=88459 tps=100 nb_sec=884 case_no=127 label=Case6.115 nb_sol=0 ticks=82208 tps=100 nb_sec=822 case_no=127 label=Case6.115 nb_sol=0 ticks=64379 tps=100 nb_sec=643 case_no=127 label=Case6.115 nb_sol=0 ticks=98868 tps=100 nb_sec=988 case_no=127 label=Case6.115 nb_sol=0 ticks=46825 tps=100 nb_sec=468 case_no=127 label=Case6.115 nb_sol=0 ticks=51914 tps=100 nb_sec=519 case_no=127 label=Case6.115 nb_sol=0 ticks=45959 tps=100 nb_sec=459 Nb_sol=0 Nb_sec=123512 1-10:18:32 or 34 hours missing cases: none