argc=5 -M 128 file2=30_select_Case6.114_starter_15_ checking files mod 128 from 0 to 127 case_no=126 label=Case6.114 nb_sol=0 ticks=95501 tps=100 nb_sec=955 case_no=126 label=Case6.114 nb_sol=0 ticks=161574 tps=100 nb_sec=1615 case_no=126 label=Case6.114 nb_sol=0 ticks=206554 tps=100 nb_sec=2065 case_no=126 label=Case6.114 nb_sol=0 ticks=89759 tps=100 nb_sec=897 case_no=126 label=Case6.114 nb_sol=0 ticks=108603 tps=100 nb_sec=1086 case_no=126 label=Case6.114 nb_sol=0 ticks=106718 tps=100 nb_sec=1067 case_no=126 label=Case6.114 nb_sol=0 ticks=85294 tps=100 nb_sec=852 case_no=126 label=Case6.114 nb_sol=0 ticks=96071 tps=100 nb_sec=960 case_no=126 label=Case6.114 nb_sol=0 ticks=79081 tps=100 nb_sec=790 case_no=126 label=Case6.114 nb_sol=0 ticks=63676 tps=100 nb_sec=636 case_no=126 label=Case6.114 nb_sol=0 ticks=98159 tps=100 nb_sec=981 case_no=126 label=Case6.114 nb_sol=0 ticks=98245 tps=100 nb_sec=982 case_no=126 label=Case6.114 nb_sol=0 ticks=109839 tps=100 nb_sec=1098 case_no=126 label=Case6.114 nb_sol=0 ticks=128431 tps=100 nb_sec=1284 case_no=126 label=Case6.114 nb_sol=0 ticks=96052 tps=100 nb_sec=960 case_no=126 label=Case6.114 nb_sol=0 ticks=77312 tps=100 nb_sec=773 case_no=126 label=Case6.114 nb_sol=0 ticks=77374 tps=100 nb_sec=773 case_no=126 label=Case6.114 nb_sol=0 ticks=98308 tps=100 nb_sec=983 case_no=126 label=Case6.114 nb_sol=0 ticks=87782 tps=100 nb_sec=877 case_no=126 label=Case6.114 nb_sol=0 ticks=79436 tps=100 nb_sec=794 case_no=126 label=Case6.114 nb_sol=0 ticks=80504 tps=100 nb_sec=805 case_no=126 label=Case6.114 nb_sol=0 ticks=109078 tps=100 nb_sec=1090 case_no=126 label=Case6.114 nb_sol=0 ticks=80865 tps=100 nb_sec=808 case_no=126 label=Case6.114 nb_sol=0 ticks=45246 tps=100 nb_sec=452 case_no=126 label=Case6.114 nb_sol=0 ticks=158635 tps=100 nb_sec=1586 case_no=126 label=Case6.114 nb_sol=0 ticks=73229 tps=100 nb_sec=732 case_no=126 label=Case6.114 nb_sol=0 ticks=104982 tps=100 nb_sec=1049 case_no=126 label=Case6.114 nb_sol=0 ticks=79945 tps=100 nb_sec=799 case_no=126 label=Case6.114 nb_sol=0 ticks=107859 tps=100 nb_sec=1078 case_no=126 label=Case6.114 nb_sol=0 ticks=81357 tps=100 nb_sec=813 case_no=126 label=Case6.114 nb_sol=0 ticks=85654 tps=100 nb_sec=856 case_no=126 label=Case6.114 nb_sol=0 ticks=136183 tps=100 nb_sec=1361 case_no=126 label=Case6.114 nb_sol=0 ticks=98338 tps=100 nb_sec=983 case_no=126 label=Case6.114 nb_sol=0 ticks=72214 tps=100 nb_sec=722 case_no=126 label=Case6.114 nb_sol=0 ticks=118860 tps=100 nb_sec=1188 case_no=126 label=Case6.114 nb_sol=0 ticks=135056 tps=100 nb_sec=1350 case_no=126 label=Case6.114 nb_sol=0 ticks=55643 tps=100 nb_sec=556 case_no=126 label=Case6.114 nb_sol=0 ticks=130275 tps=100 nb_sec=1302 case_no=126 label=Case6.114 nb_sol=0 ticks=89974 tps=100 nb_sec=899 case_no=126 label=Case6.114 nb_sol=0 ticks=66772 tps=100 nb_sec=667 case_no=126 label=Case6.114 nb_sol=0 ticks=107078 tps=100 nb_sec=1070 case_no=126 label=Case6.114 nb_sol=0 ticks=80633 tps=100 nb_sec=806 case_no=126 label=Case6.114 nb_sol=0 ticks=91115 tps=100 nb_sec=911 case_no=126 label=Case6.114 nb_sol=0 ticks=44296 tps=100 nb_sec=442 case_no=126 label=Case6.114 nb_sol=0 ticks=62993 tps=100 nb_sec=629 case_no=126 label=Case6.114 nb_sol=0 ticks=58877 tps=100 nb_sec=588 case_no=126 label=Case6.114 nb_sol=0 ticks=86589 tps=100 nb_sec=865 case_no=126 label=Case6.114 nb_sol=0 ticks=43260 tps=100 nb_sec=432 case_no=126 label=Case6.114 nb_sol=0 ticks=60417 tps=100 nb_sec=604 case_no=126 label=Case6.114 nb_sol=0 ticks=68186 tps=100 nb_sec=681 case_no=126 label=Case6.114 nb_sol=0 ticks=66346 tps=100 nb_sec=663 case_no=126 label=Case6.114 nb_sol=0 ticks=70722 tps=100 nb_sec=707 case_no=126 label=Case6.114 nb_sol=0 ticks=64625 tps=100 nb_sec=646 case_no=126 label=Case6.114 nb_sol=0 ticks=56460 tps=100 nb_sec=564 case_no=126 label=Case6.114 nb_sol=0 ticks=52770 tps=100 nb_sec=527 case_no=126 label=Case6.114 nb_sol=0 ticks=61300 tps=100 nb_sec=613 case_no=126 label=Case6.114 nb_sol=0 ticks=130657 tps=100 nb_sec=1306 case_no=126 label=Case6.114 nb_sol=0 ticks=90227 tps=100 nb_sec=902 case_no=126 label=Case6.114 nb_sol=0 ticks=116665 tps=100 nb_sec=1166 case_no=126 label=Case6.114 nb_sol=0 ticks=75886 tps=100 nb_sec=758 case_no=126 label=Case6.114 nb_sol=0 ticks=129729 tps=100 nb_sec=1297 case_no=126 label=Case6.114 nb_sol=0 ticks=57452 tps=100 nb_sec=574 case_no=126 label=Case6.114 nb_sol=0 ticks=89578 tps=100 nb_sec=895 case_no=126 label=Case6.114 nb_sol=0 ticks=91936 tps=100 nb_sec=919 case_no=126 label=Case6.114 nb_sol=0 ticks=103827 tps=100 nb_sec=1038 case_no=126 label=Case6.114 nb_sol=0 ticks=93913 tps=100 nb_sec=939 case_no=126 label=Case6.114 nb_sol=0 ticks=83379 tps=100 nb_sec=833 case_no=126 label=Case6.114 nb_sol=0 ticks=116140 tps=100 nb_sec=1161 case_no=126 label=Case6.114 nb_sol=0 ticks=82863 tps=100 nb_sec=828 case_no=126 label=Case6.114 nb_sol=0 ticks=58067 tps=100 nb_sec=580 case_no=126 label=Case6.114 nb_sol=0 ticks=103893 tps=100 nb_sec=1038 case_no=126 label=Case6.114 nb_sol=0 ticks=101245 tps=100 nb_sec=1012 case_no=126 label=Case6.114 nb_sol=0 ticks=96949 tps=100 nb_sec=969 case_no=126 label=Case6.114 nb_sol=0 ticks=66788 tps=100 nb_sec=667 case_no=126 label=Case6.114 nb_sol=0 ticks=136563 tps=100 nb_sec=1365 case_no=126 label=Case6.114 nb_sol=0 ticks=89408 tps=100 nb_sec=894 case_no=126 label=Case6.114 nb_sol=0 ticks=58682 tps=100 nb_sec=586 case_no=126 label=Case6.114 nb_sol=0 ticks=89101 tps=100 nb_sec=891 case_no=126 label=Case6.114 nb_sol=0 ticks=103454 tps=100 nb_sec=1034 case_no=126 label=Case6.114 nb_sol=0 ticks=81778 tps=100 nb_sec=817 case_no=126 label=Case6.114 nb_sol=0 ticks=70749 tps=100 nb_sec=707 case_no=126 label=Case6.114 nb_sol=0 ticks=102667 tps=100 nb_sec=1026 case_no=126 label=Case6.114 nb_sol=0 ticks=110304 tps=100 nb_sec=1103 case_no=126 label=Case6.114 nb_sol=0 ticks=103117 tps=100 nb_sec=1031 case_no=126 label=Case6.114 nb_sol=0 ticks=89587 tps=100 nb_sec=895 case_no=126 label=Case6.114 nb_sol=0 ticks=119672 tps=100 nb_sec=1196 case_no=126 label=Case6.114 nb_sol=0 ticks=128014 tps=100 nb_sec=1280 case_no=126 label=Case6.114 nb_sol=0 ticks=134585 tps=100 nb_sec=1345 case_no=126 label=Case6.114 nb_sol=0 ticks=127413 tps=100 nb_sec=1274 case_no=126 label=Case6.114 nb_sol=0 ticks=121060 tps=100 nb_sec=1210 case_no=126 label=Case6.114 nb_sol=0 ticks=80944 tps=100 nb_sec=809 case_no=126 label=Case6.114 nb_sol=0 ticks=120040 tps=100 nb_sec=1200 case_no=126 label=Case6.114 nb_sol=0 ticks=90595 tps=100 nb_sec=905 case_no=126 label=Case6.114 nb_sol=0 ticks=98201 tps=100 nb_sec=982 case_no=126 label=Case6.114 nb_sol=0 ticks=89311 tps=100 nb_sec=893 case_no=126 label=Case6.114 nb_sol=0 ticks=81318 tps=100 nb_sec=813 case_no=126 label=Case6.114 nb_sol=0 ticks=137383 tps=100 nb_sec=1373 case_no=126 label=Case6.114 nb_sol=0 ticks=62641 tps=100 nb_sec=626 case_no=126 label=Case6.114 nb_sol=0 ticks=79794 tps=100 nb_sec=797 case_no=126 label=Case6.114 nb_sol=0 ticks=71245 tps=100 nb_sec=712 case_no=126 label=Case6.114 nb_sol=0 ticks=62138 tps=100 nb_sec=621 case_no=126 label=Case6.114 nb_sol=0 ticks=93235 tps=100 nb_sec=932 case_no=126 label=Case6.114 nb_sol=0 ticks=117601 tps=100 nb_sec=1176 case_no=126 label=Case6.114 nb_sol=0 ticks=88046 tps=100 nb_sec=880 case_no=126 label=Case6.114 nb_sol=0 ticks=100916 tps=100 nb_sec=1009 case_no=126 label=Case6.114 nb_sol=0 ticks=93067 tps=100 nb_sec=930 case_no=126 label=Case6.114 nb_sol=0 ticks=168728 tps=100 nb_sec=1687 case_no=126 label=Case6.114 nb_sol=0 ticks=112226 tps=100 nb_sec=1122 case_no=126 label=Case6.114 nb_sol=0 ticks=118581 tps=100 nb_sec=1185 case_no=126 label=Case6.114 nb_sol=0 ticks=170892 tps=100 nb_sec=1708 case_no=126 label=Case6.114 nb_sol=0 ticks=74722 tps=100 nb_sec=747 case_no=126 label=Case6.114 nb_sol=0 ticks=94468 tps=100 nb_sec=944 case_no=126 label=Case6.114 nb_sol=0 ticks=75006 tps=100 nb_sec=750 case_no=126 label=Case6.114 nb_sol=0 ticks=101768 tps=100 nb_sec=1017 case_no=126 label=Case6.114 nb_sol=0 ticks=87425 tps=100 nb_sec=874 case_no=126 label=Case6.114 nb_sol=0 ticks=78147 tps=100 nb_sec=781 case_no=126 label=Case6.114 nb_sol=0 ticks=120890 tps=100 nb_sec=1208 case_no=126 label=Case6.114 nb_sol=0 ticks=100368 tps=100 nb_sec=1003 case_no=126 label=Case6.114 nb_sol=0 ticks=67648 tps=100 nb_sec=676 case_no=126 label=Case6.114 nb_sol=0 ticks=121260 tps=100 nb_sec=1212 case_no=126 label=Case6.114 nb_sol=0 ticks=47055 tps=100 nb_sec=470 case_no=126 label=Case6.114 nb_sol=0 ticks=62911 tps=100 nb_sec=629 case_no=126 label=Case6.114 nb_sol=0 ticks=106266 tps=100 nb_sec=1062 case_no=126 label=Case6.114 nb_sol=0 ticks=39912 tps=100 nb_sec=399 case_no=126 label=Case6.114 nb_sol=0 ticks=77713 tps=100 nb_sec=777 case_no=126 label=Case6.114 nb_sol=0 ticks=97016 tps=100 nb_sec=970 case_no=126 label=Case6.114 nb_sol=0 ticks=91151 tps=100 nb_sec=911 case_no=126 label=Case6.114 nb_sol=0 ticks=69229 tps=100 nb_sec=692 Nb_sol=0 Nb_sec=119290 1-9:8:10 or 33 hours missing cases: none