argc=5 -M 128 file2=30_select_Case6.87_starter_15_ checking files mod 128 from 0 to 127 case_no=99 label=Case6.87 nb_sol=0 ticks=30883 tps=100 nb_sec=308 case_no=99 label=Case6.87 nb_sol=0 ticks=17806 tps=100 nb_sec=178 case_no=99 label=Case6.87 nb_sol=0 ticks=26246 tps=100 nb_sec=262 case_no=99 label=Case6.87 nb_sol=0 ticks=50200 tps=100 nb_sec=502 case_no=99 label=Case6.87 nb_sol=0 ticks=52112 tps=100 nb_sec=521 case_no=99 label=Case6.87 nb_sol=0 ticks=32303 tps=100 nb_sec=323 case_no=99 label=Case6.87 nb_sol=0 ticks=10450 tps=100 nb_sec=104 case_no=99 label=Case6.87 nb_sol=0 ticks=37303 tps=100 nb_sec=373 case_no=99 label=Case6.87 nb_sol=0 ticks=55807 tps=100 nb_sec=558 case_no=99 label=Case6.87 nb_sol=0 ticks=62673 tps=100 nb_sec=626 case_no=99 label=Case6.87 nb_sol=0 ticks=39290 tps=100 nb_sec=392 case_no=99 label=Case6.87 nb_sol=0 ticks=28041 tps=100 nb_sec=280 case_no=99 label=Case6.87 nb_sol=0 ticks=56982 tps=100 nb_sec=569 case_no=99 label=Case6.87 nb_sol=0 ticks=30415 tps=100 nb_sec=304 case_no=99 label=Case6.87 nb_sol=0 ticks=69383 tps=100 nb_sec=693 case_no=99 label=Case6.87 nb_sol=0 ticks=41870 tps=100 nb_sec=418 case_no=99 label=Case6.87 nb_sol=0 ticks=25199 tps=100 nb_sec=251 case_no=99 label=Case6.87 nb_sol=0 ticks=9206 tps=100 nb_sec=92 case_no=99 label=Case6.87 nb_sol=0 ticks=19329 tps=100 nb_sec=193 case_no=99 label=Case6.87 nb_sol=0 ticks=47969 tps=100 nb_sec=479 case_no=99 label=Case6.87 nb_sol=0 ticks=27780 tps=100 nb_sec=277 case_no=99 label=Case6.87 nb_sol=0 ticks=19261 tps=100 nb_sec=192 case_no=99 label=Case6.87 nb_sol=0 ticks=9421 tps=100 nb_sec=94 case_no=99 label=Case6.87 nb_sol=0 ticks=63633 tps=100 nb_sec=636 case_no=99 label=Case6.87 nb_sol=0 ticks=51082 tps=100 nb_sec=510 case_no=99 label=Case6.87 nb_sol=0 ticks=20619 tps=100 nb_sec=206 case_no=99 label=Case6.87 nb_sol=0 ticks=22252 tps=100 nb_sec=222 case_no=99 label=Case6.87 nb_sol=0 ticks=44937 tps=100 nb_sec=449 case_no=99 label=Case6.87 nb_sol=0 ticks=29084 tps=100 nb_sec=290 case_no=99 label=Case6.87 nb_sol=0 ticks=64722 tps=100 nb_sec=647 case_no=99 label=Case6.87 nb_sol=0 ticks=34597 tps=100 nb_sec=345 case_no=99 label=Case6.87 nb_sol=0 ticks=23804 tps=100 nb_sec=238 case_no=99 label=Case6.87 nb_sol=0 ticks=70037 tps=100 nb_sec=700 case_no=99 label=Case6.87 nb_sol=0 ticks=43760 tps=100 nb_sec=437 case_no=99 label=Case6.87 nb_sol=0 ticks=71772 tps=100 nb_sec=717 case_no=99 label=Case6.87 nb_sol=0 ticks=63982 tps=100 nb_sec=639 case_no=99 label=Case6.87 nb_sol=0 ticks=44624 tps=100 nb_sec=446 case_no=99 label=Case6.87 nb_sol=0 ticks=48009 tps=100 nb_sec=480 case_no=99 label=Case6.87 nb_sol=0 ticks=37235 tps=100 nb_sec=372 case_no=99 label=Case6.87 nb_sol=0 ticks=42584 tps=100 nb_sec=425 case_no=99 label=Case6.87 nb_sol=0 ticks=22707 tps=100 nb_sec=227 case_no=99 label=Case6.87 nb_sol=0 ticks=35651 tps=100 nb_sec=356 case_no=99 label=Case6.87 nb_sol=0 ticks=56876 tps=100 nb_sec=568 case_no=99 label=Case6.87 nb_sol=0 ticks=36985 tps=100 nb_sec=369 case_no=99 label=Case6.87 nb_sol=0 ticks=49764 tps=100 nb_sec=497 case_no=99 label=Case6.87 nb_sol=0 ticks=39402 tps=100 nb_sec=394 case_no=99 label=Case6.87 nb_sol=0 ticks=22652 tps=100 nb_sec=226 case_no=99 label=Case6.87 nb_sol=0 ticks=23222 tps=100 nb_sec=232 case_no=99 label=Case6.87 nb_sol=0 ticks=45996 tps=100 nb_sec=459 case_no=99 label=Case6.87 nb_sol=0 ticks=18454 tps=100 nb_sec=184 case_no=99 label=Case6.87 nb_sol=0 ticks=22809 tps=100 nb_sec=228 case_no=99 label=Case6.87 nb_sol=0 ticks=47352 tps=100 nb_sec=473 case_no=99 label=Case6.87 nb_sol=0 ticks=41858 tps=100 nb_sec=418 case_no=99 label=Case6.87 nb_sol=0 ticks=35999 tps=100 nb_sec=359 case_no=99 label=Case6.87 nb_sol=0 ticks=23402 tps=100 nb_sec=234 case_no=99 label=Case6.87 nb_sol=0 ticks=80566 tps=100 nb_sec=805 case_no=99 label=Case6.87 nb_sol=0 ticks=47444 tps=100 nb_sec=474 case_no=99 label=Case6.87 nb_sol=0 ticks=58877 tps=100 nb_sec=588 case_no=99 label=Case6.87 nb_sol=0 ticks=48953 tps=100 nb_sec=489 case_no=99 label=Case6.87 nb_sol=0 ticks=50306 tps=100 nb_sec=503 case_no=99 label=Case6.87 nb_sol=0 ticks=62165 tps=100 nb_sec=621 case_no=99 label=Case6.87 nb_sol=0 ticks=21851 tps=100 nb_sec=218 case_no=99 label=Case6.87 nb_sol=0 ticks=41539 tps=100 nb_sec=415 case_no=99 label=Case6.87 nb_sol=0 ticks=18611 tps=100 nb_sec=186 case_no=99 label=Case6.87 nb_sol=0 ticks=32100 tps=100 nb_sec=321 case_no=99 label=Case6.87 nb_sol=0 ticks=71323 tps=100 nb_sec=713 case_no=99 label=Case6.87 nb_sol=0 ticks=43936 tps=100 nb_sec=439 case_no=99 label=Case6.87 nb_sol=0 ticks=39776 tps=100 nb_sec=397 case_no=99 label=Case6.87 nb_sol=0 ticks=63901 tps=100 nb_sec=639 case_no=99 label=Case6.87 nb_sol=0 ticks=38673 tps=100 nb_sec=386 case_no=99 label=Case6.87 nb_sol=0 ticks=26287 tps=100 nb_sec=262 case_no=99 label=Case6.87 nb_sol=0 ticks=43064 tps=100 nb_sec=430 case_no=99 label=Case6.87 nb_sol=0 ticks=24091 tps=100 nb_sec=240 case_no=99 label=Case6.87 nb_sol=0 ticks=37247 tps=100 nb_sec=372 case_no=99 label=Case6.87 nb_sol=0 ticks=27803 tps=100 nb_sec=278 case_no=99 label=Case6.87 nb_sol=0 ticks=19015 tps=100 nb_sec=190 case_no=99 label=Case6.87 nb_sol=0 ticks=15361 tps=100 nb_sec=153 case_no=99 label=Case6.87 nb_sol=0 ticks=9308 tps=100 nb_sec=93 case_no=99 label=Case6.87 nb_sol=0 ticks=47392 tps=100 nb_sec=473 case_no=99 label=Case6.87 nb_sol=0 ticks=32748 tps=100 nb_sec=327 case_no=99 label=Case6.87 nb_sol=0 ticks=41032 tps=100 nb_sec=410 case_no=99 label=Case6.87 nb_sol=0 ticks=44499 tps=100 nb_sec=444 case_no=99 label=Case6.87 nb_sol=0 ticks=31725 tps=100 nb_sec=317 case_no=99 label=Case6.87 nb_sol=0 ticks=39604 tps=100 nb_sec=396 case_no=99 label=Case6.87 nb_sol=0 ticks=31819 tps=100 nb_sec=318 case_no=99 label=Case6.87 nb_sol=0 ticks=27733 tps=100 nb_sec=277 case_no=99 label=Case6.87 nb_sol=0 ticks=61996 tps=100 nb_sec=619 case_no=99 label=Case6.87 nb_sol=0 ticks=32907 tps=100 nb_sec=329 case_no=99 label=Case6.87 nb_sol=0 ticks=53861 tps=100 nb_sec=538 case_no=99 label=Case6.87 nb_sol=0 ticks=30427 tps=100 nb_sec=304 case_no=99 label=Case6.87 nb_sol=0 ticks=44135 tps=100 nb_sec=441 case_no=99 label=Case6.87 nb_sol=0 ticks=31493 tps=100 nb_sec=314 case_no=99 label=Case6.87 nb_sol=0 ticks=31901 tps=100 nb_sec=319 case_no=99 label=Case6.87 nb_sol=0 ticks=16919 tps=100 nb_sec=169 case_no=99 label=Case6.87 nb_sol=0 ticks=15363 tps=100 nb_sec=153 case_no=99 label=Case6.87 nb_sol=0 ticks=12382 tps=100 nb_sec=123 case_no=99 label=Case6.87 nb_sol=0 ticks=45196 tps=100 nb_sec=451 case_no=99 label=Case6.87 nb_sol=0 ticks=10772 tps=100 nb_sec=107 case_no=99 label=Case6.87 nb_sol=0 ticks=53663 tps=100 nb_sec=536 case_no=99 label=Case6.87 nb_sol=0 ticks=43735 tps=100 nb_sec=437 case_no=99 label=Case6.87 nb_sol=0 ticks=10230 tps=100 nb_sec=102 case_no=99 label=Case6.87 nb_sol=0 ticks=64695 tps=100 nb_sec=646 case_no=99 label=Case6.87 nb_sol=0 ticks=39585 tps=100 nb_sec=395 case_no=99 label=Case6.87 nb_sol=0 ticks=39686 tps=100 nb_sec=396 case_no=99 label=Case6.87 nb_sol=0 ticks=52974 tps=100 nb_sec=529 case_no=99 label=Case6.87 nb_sol=0 ticks=44095 tps=100 nb_sec=440 case_no=99 label=Case6.87 nb_sol=0 ticks=48978 tps=100 nb_sec=489 case_no=99 label=Case6.87 nb_sol=0 ticks=13577 tps=100 nb_sec=135 case_no=99 label=Case6.87 nb_sol=0 ticks=19294 tps=100 nb_sec=192 case_no=99 label=Case6.87 nb_sol=0 ticks=48451 tps=100 nb_sec=484 case_no=99 label=Case6.87 nb_sol=0 ticks=21577 tps=100 nb_sec=215 case_no=99 label=Case6.87 nb_sol=0 ticks=35912 tps=100 nb_sec=359 case_no=99 label=Case6.87 nb_sol=0 ticks=21528 tps=100 nb_sec=215 case_no=99 label=Case6.87 nb_sol=0 ticks=53633 tps=100 nb_sec=536 case_no=99 label=Case6.87 nb_sol=0 ticks=57793 tps=100 nb_sec=577 case_no=99 label=Case6.87 nb_sol=0 ticks=61984 tps=100 nb_sec=619 case_no=99 label=Case6.87 nb_sol=0 ticks=24642 tps=100 nb_sec=246 case_no=99 label=Case6.87 nb_sol=0 ticks=46325 tps=100 nb_sec=463 case_no=99 label=Case6.87 nb_sol=0 ticks=44952 tps=100 nb_sec=449 case_no=99 label=Case6.87 nb_sol=0 ticks=38672 tps=100 nb_sec=386 case_no=99 label=Case6.87 nb_sol=0 ticks=23265 tps=100 nb_sec=232 case_no=99 label=Case6.87 nb_sol=0 ticks=45235 tps=100 nb_sec=452 case_no=99 label=Case6.87 nb_sol=0 ticks=25600 tps=100 nb_sec=256 case_no=99 label=Case6.87 nb_sol=0 ticks=10867 tps=100 nb_sec=108 case_no=99 label=Case6.87 nb_sol=0 ticks=49285 tps=100 nb_sec=492 case_no=99 label=Case6.87 nb_sol=0 ticks=27115 tps=100 nb_sec=271 case_no=99 label=Case6.87 nb_sol=0 ticks=24427 tps=100 nb_sec=244 case_no=99 label=Case6.87 nb_sol=0 ticks=38697 tps=100 nb_sec=386 Nb_sol=0 Nb_sec=48300 0-13:25:0 or 13 hours missing cases: none