argc=5
-M 128
file2=30_select_Case6.113_starter_15_
checking files mod 128 from 0 to 127
case_no=125 label=Case6.113 nb_sol=0 ticks=59340 tps=100 nb_sec=593
case_no=125 label=Case6.113 nb_sol=0 ticks=87538 tps=100 nb_sec=875
case_no=125 label=Case6.113 nb_sol=0 ticks=125773 tps=100 nb_sec=1257
case_no=125 label=Case6.113 nb_sol=0 ticks=60574 tps=100 nb_sec=605
case_no=125 label=Case6.113 nb_sol=0 ticks=75500 tps=100 nb_sec=755
case_no=125 label=Case6.113 nb_sol=0 ticks=59565 tps=100 nb_sec=595
case_no=125 label=Case6.113 nb_sol=0 ticks=41564 tps=100 nb_sec=415
case_no=125 label=Case6.113 nb_sol=0 ticks=81565 tps=100 nb_sec=815
case_no=125 label=Case6.113 nb_sol=0 ticks=55466 tps=100 nb_sec=554
case_no=125 label=Case6.113 nb_sol=0 ticks=31687 tps=100 nb_sec=316
case_no=125 label=Case6.113 nb_sol=0 ticks=54070 tps=100 nb_sec=540
case_no=125 label=Case6.113 nb_sol=0 ticks=82798 tps=100 nb_sec=827
case_no=125 label=Case6.113 nb_sol=0 ticks=114148 tps=100 nb_sec=1141
case_no=125 label=Case6.113 nb_sol=0 ticks=117105 tps=100 nb_sec=1171
case_no=125 label=Case6.113 nb_sol=0 ticks=103805 tps=100 nb_sec=1038
case_no=125 label=Case6.113 nb_sol=0 ticks=46857 tps=100 nb_sec=468
case_no=125 label=Case6.113 nb_sol=0 ticks=65513 tps=100 nb_sec=655
case_no=125 label=Case6.113 nb_sol=0 ticks=70054 tps=100 nb_sec=700
case_no=125 label=Case6.113 nb_sol=0 ticks=71544 tps=100 nb_sec=715
case_no=125 label=Case6.113 nb_sol=0 ticks=49468 tps=100 nb_sec=494
case_no=125 label=Case6.113 nb_sol=0 ticks=49143 tps=100 nb_sec=491
case_no=125 label=Case6.113 nb_sol=0 ticks=78883 tps=100 nb_sec=788
case_no=125 label=Case6.113 nb_sol=0 ticks=68876 tps=100 nb_sec=688
case_no=125 label=Case6.113 nb_sol=0 ticks=51099 tps=100 nb_sec=510
case_no=125 label=Case6.113 nb_sol=0 ticks=80079 tps=100 nb_sec=800
case_no=125 label=Case6.113 nb_sol=0 ticks=83399 tps=100 nb_sec=833
case_no=125 label=Case6.113 nb_sol=0 ticks=57962 tps=100 nb_sec=579
case_no=125 label=Case6.113 nb_sol=0 ticks=98605 tps=100 nb_sec=986
case_no=125 label=Case6.113 nb_sol=0 ticks=79698 tps=100 nb_sec=796
case_no=125 label=Case6.113 nb_sol=0 ticks=47476 tps=100 nb_sec=474
case_no=125 label=Case6.113 nb_sol=0 ticks=47447 tps=100 nb_sec=474
case_no=125 label=Case6.113 nb_sol=0 ticks=95702 tps=100 nb_sec=957
case_no=125 label=Case6.113 nb_sol=0 ticks=81860 tps=100 nb_sec=818
case_no=125 label=Case6.113 nb_sol=0 ticks=57024 tps=100 nb_sec=570
case_no=125 label=Case6.113 nb_sol=0 ticks=68505 tps=100 nb_sec=685
case_no=125 label=Case6.113 nb_sol=0 ticks=96253 tps=100 nb_sec=962
case_no=125 label=Case6.113 nb_sol=0 ticks=40229 tps=100 nb_sec=402
case_no=125 label=Case6.113 nb_sol=0 ticks=96580 tps=100 nb_sec=965
case_no=125 label=Case6.113 nb_sol=0 ticks=85175 tps=100 nb_sec=851
case_no=125 label=Case6.113 nb_sol=0 ticks=75407 tps=100 nb_sec=754
case_no=125 label=Case6.113 nb_sol=0 ticks=73499 tps=100 nb_sec=734
case_no=125 label=Case6.113 nb_sol=0 ticks=71759 tps=100 nb_sec=717
case_no=125 label=Case6.113 nb_sol=0 ticks=66045 tps=100 nb_sec=660
case_no=125 label=Case6.113 nb_sol=0 ticks=39379 tps=100 nb_sec=393
case_no=125 label=Case6.113 nb_sol=0 ticks=48237 tps=100 nb_sec=482
case_no=125 label=Case6.113 nb_sol=0 ticks=56726 tps=100 nb_sec=567
case_no=125 label=Case6.113 nb_sol=0 ticks=75608 tps=100 nb_sec=756
case_no=125 label=Case6.113 nb_sol=0 ticks=43667 tps=100 nb_sec=436
case_no=125 label=Case6.113 nb_sol=0 ticks=49457 tps=100 nb_sec=494
case_no=125 label=Case6.113 nb_sol=0 ticks=64339 tps=100 nb_sec=643
case_no=125 label=Case6.113 nb_sol=0 ticks=85669 tps=100 nb_sec=856
case_no=125 label=Case6.113 nb_sol=0 ticks=42265 tps=100 nb_sec=422
case_no=125 label=Case6.113 nb_sol=0 ticks=40154 tps=100 nb_sec=401
case_no=125 label=Case6.113 nb_sol=0 ticks=96548 tps=100 nb_sec=965
case_no=125 label=Case6.113 nb_sol=0 ticks=90228 tps=100 nb_sec=902
case_no=125 label=Case6.113 nb_sol=0 ticks=56777 tps=100 nb_sec=567
case_no=125 label=Case6.113 nb_sol=0 ticks=108482 tps=100 nb_sec=1084
case_no=125 label=Case6.113 nb_sol=0 ticks=78355 tps=100 nb_sec=783
case_no=125 label=Case6.113 nb_sol=0 ticks=99412 tps=100 nb_sec=994
case_no=125 label=Case6.113 nb_sol=0 ticks=87873 tps=100 nb_sec=878
case_no=125 label=Case6.113 nb_sol=0 ticks=97856 tps=100 nb_sec=978
case_no=125 label=Case6.113 nb_sol=0 ticks=79164 tps=100 nb_sec=791
case_no=125 label=Case6.113 nb_sol=0 ticks=47518 tps=100 nb_sec=475
case_no=125 label=Case6.113 nb_sol=0 ticks=57853 tps=100 nb_sec=578
case_no=125 label=Case6.113 nb_sol=0 ticks=92354 tps=100 nb_sec=923
case_no=125 label=Case6.113 nb_sol=0 ticks=43159 tps=100 nb_sec=431
case_no=125 label=Case6.113 nb_sol=0 ticks=61145 tps=100 nb_sec=611
case_no=125 label=Case6.113 nb_sol=0 ticks=84177 tps=100 nb_sec=841
case_no=125 label=Case6.113 nb_sol=0 ticks=93939 tps=100 nb_sec=939
case_no=125 label=Case6.113 nb_sol=0 ticks=68378 tps=100 nb_sec=683
case_no=125 label=Case6.113 nb_sol=0 ticks=87103 tps=100 nb_sec=871
case_no=125 label=Case6.113 nb_sol=0 ticks=44222 tps=100 nb_sec=442
case_no=125 label=Case6.113 nb_sol=0 ticks=77850 tps=100 nb_sec=778
case_no=125 label=Case6.113 nb_sol=0 ticks=72823 tps=100 nb_sec=728
case_no=125 label=Case6.113 nb_sol=0 ticks=68669 tps=100 nb_sec=686
case_no=125 label=Case6.113 nb_sol=0 ticks=80532 tps=100 nb_sec=805
case_no=125 label=Case6.113 nb_sol=0 ticks=70666 tps=100 nb_sec=706
case_no=125 label=Case6.113 nb_sol=0 ticks=49964 tps=100 nb_sec=499
case_no=125 label=Case6.113 nb_sol=0 ticks=76764 tps=100 nb_sec=767
case_no=125 label=Case6.113 nb_sol=0 ticks=54024 tps=100 nb_sec=540
case_no=125 label=Case6.113 nb_sol=0 ticks=86288 tps=100 nb_sec=862
case_no=125 label=Case6.113 nb_sol=0 ticks=87440 tps=100 nb_sec=874
case_no=125 label=Case6.113 nb_sol=0 ticks=107783 tps=100 nb_sec=1077
case_no=125 label=Case6.113 nb_sol=0 ticks=84341 tps=100 nb_sec=843
case_no=125 label=Case6.113 nb_sol=0 ticks=76537 tps=100 nb_sec=765
case_no=125 label=Case6.113 nb_sol=0 ticks=108583 tps=100 nb_sec=1085
case_no=125 label=Case6.113 nb_sol=0 ticks=97553 tps=100 nb_sec=975
case_no=125 label=Case6.113 nb_sol=0 ticks=111479 tps=100 nb_sec=1114
case_no=125 label=Case6.113 nb_sol=0 ticks=113784 tps=100 nb_sec=1137
case_no=125 label=Case6.113 nb_sol=0 ticks=112453 tps=100 nb_sec=1124
case_no=125 label=Case6.113 nb_sol=0 ticks=84202 tps=100 nb_sec=842
case_no=125 label=Case6.113 nb_sol=0 ticks=77741 tps=100 nb_sec=777
case_no=125 label=Case6.113 nb_sol=0 ticks=88155 tps=100 nb_sec=881
case_no=125 label=Case6.113 nb_sol=0 ticks=81617 tps=100 nb_sec=816
case_no=125 label=Case6.113 nb_sol=0 ticks=73262 tps=100 nb_sec=732
case_no=125 label=Case6.113 nb_sol=0 ticks=82411 tps=100 nb_sec=824
case_no=125 label=Case6.113 nb_sol=0 ticks=71902 tps=100 nb_sec=719
case_no=125 label=Case6.113 nb_sol=0 ticks=63435 tps=100 nb_sec=634
case_no=125 label=Case6.113 nb_sol=0 ticks=69809 tps=100 nb_sec=698
case_no=125 label=Case6.113 nb_sol=0 ticks=50603 tps=100 nb_sec=506
case_no=125 label=Case6.113 nb_sol=0 ticks=56800 tps=100 nb_sec=568
case_no=125 label=Case6.113 nb_sol=0 ticks=78427 tps=100 nb_sec=784
case_no=125 label=Case6.113 nb_sol=0 ticks=91962 tps=100 nb_sec=919
case_no=125 label=Case6.113 nb_sol=0 ticks=80037 tps=100 nb_sec=800
case_no=125 label=Case6.113 nb_sol=0 ticks=77218 tps=100 nb_sec=772
case_no=125 label=Case6.113 nb_sol=0 ticks=69568 tps=100 nb_sec=695
case_no=125 label=Case6.113 nb_sol=0 ticks=111236 tps=100 nb_sec=1112
case_no=125 label=Case6.113 nb_sol=0 ticks=45963 tps=100 nb_sec=459
case_no=125 label=Case6.113 nb_sol=0 ticks=72272 tps=100 nb_sec=722
case_no=125 label=Case6.113 nb_sol=0 ticks=64329 tps=100 nb_sec=643
case_no=125 label=Case6.113 nb_sol=0 ticks=87196 tps=100 nb_sec=871
case_no=125 label=Case6.113 nb_sol=0 ticks=59629 tps=100 nb_sec=596
case_no=125 label=Case6.113 nb_sol=0 ticks=55664 tps=100 nb_sec=556
case_no=125 label=Case6.113 nb_sol=0 ticks=86764 tps=100 nb_sec=867
case_no=125 label=Case6.113 nb_sol=0 ticks=76948 tps=100 nb_sec=769
case_no=125 label=Case6.113 nb_sol=0 ticks=61109 tps=100 nb_sec=611
case_no=125 label=Case6.113 nb_sol=0 ticks=96917 tps=100 nb_sec=969
case_no=125 label=Case6.113 nb_sol=0 ticks=89464 tps=100 nb_sec=894
case_no=125 label=Case6.113 nb_sol=0 ticks=79557 tps=100 nb_sec=795
case_no=125 label=Case6.113 nb_sol=0 ticks=110031 tps=100 nb_sec=1100
case_no=125 label=Case6.113 nb_sol=0 ticks=68901 tps=100 nb_sec=689
case_no=125 label=Case6.113 nb_sol=0 ticks=63100 tps=100 nb_sec=631
case_no=125 label=Case6.113 nb_sol=0 ticks=60932 tps=100 nb_sec=609
case_no=125 label=Case6.113 nb_sol=0 ticks=49062 tps=100 nb_sec=490
case_no=125 label=Case6.113 nb_sol=0 ticks=74496 tps=100 nb_sec=744
case_no=125 label=Case6.113 nb_sol=0 ticks=110997 tps=100 nb_sec=1109
case_no=125 label=Case6.113 nb_sol=0 ticks=70434 tps=100 nb_sec=704
case_no=125 label=Case6.113 nb_sol=0 ticks=49627 tps=100 nb_sec=496
Nb_sol=0
Nb_sec=94977
1-2:22:57 or 26 hours
missing cases:
none