argc=5
-M 128
file2=30_select_Case6.95_starter_15_
checking files mod 128 from 0 to 127
case_no=107 label=Case6.95 nb_sol=0 ticks=438546 tps=100 nb_sec=4385
case_no=107 label=Case6.95 nb_sol=0 ticks=427219 tps=100 nb_sec=4272
case_no=107 label=Case6.95 nb_sol=0 ticks=405759 tps=100 nb_sec=4057
case_no=107 label=Case6.95 nb_sol=0 ticks=260166 tps=100 nb_sec=2601
case_no=107 label=Case6.95 nb_sol=0 ticks=417510 tps=100 nb_sec=4175
case_no=107 label=Case6.95 nb_sol=0 ticks=424919 tps=100 nb_sec=4249
case_no=107 label=Case6.95 nb_sol=0 ticks=375960 tps=100 nb_sec=3759
case_no=107 label=Case6.95 nb_sol=0 ticks=246999 tps=100 nb_sec=2469
case_no=107 label=Case6.95 nb_sol=0 ticks=629442 tps=100 nb_sec=6294
case_no=107 label=Case6.95 nb_sol=0 ticks=424903 tps=100 nb_sec=4249
case_no=107 label=Case6.95 nb_sol=0 ticks=422768 tps=100 nb_sec=4227
case_no=107 label=Case6.95 nb_sol=0 ticks=405648 tps=100 nb_sec=4056
case_no=107 label=Case6.95 nb_sol=0 ticks=507208 tps=100 nb_sec=5072
case_no=107 label=Case6.95 nb_sol=0 ticks=469065 tps=100 nb_sec=4690
case_no=107 label=Case6.95 nb_sol=0 ticks=419576 tps=100 nb_sec=4195
case_no=107 label=Case6.95 nb_sol=0 ticks=511444 tps=100 nb_sec=5114
case_no=107 label=Case6.95 nb_sol=0 ticks=466905 tps=100 nb_sec=4669
case_no=107 label=Case6.95 nb_sol=0 ticks=586660 tps=100 nb_sec=5866
case_no=107 label=Case6.95 nb_sol=0 ticks=421686 tps=100 nb_sec=4216
case_no=107 label=Case6.95 nb_sol=0 ticks=364718 tps=100 nb_sec=3647
case_no=107 label=Case6.95 nb_sol=0 ticks=509973 tps=100 nb_sec=5099
case_no=107 label=Case6.95 nb_sol=0 ticks=482709 tps=100 nb_sec=4827
case_no=107 label=Case6.95 nb_sol=0 ticks=597415 tps=100 nb_sec=5974
case_no=107 label=Case6.95 nb_sol=0 ticks=643919 tps=100 nb_sec=6439
case_no=107 label=Case6.95 nb_sol=0 ticks=564770 tps=100 nb_sec=5647
case_no=107 label=Case6.95 nb_sol=0 ticks=508828 tps=100 nb_sec=5088
case_no=107 label=Case6.95 nb_sol=0 ticks=562631 tps=100 nb_sec=5626
case_no=107 label=Case6.95 nb_sol=0 ticks=548248 tps=100 nb_sec=5482
case_no=107 label=Case6.95 nb_sol=0 ticks=480819 tps=100 nb_sec=4808
case_no=107 label=Case6.95 nb_sol=0 ticks=502171 tps=100 nb_sec=5021
case_no=107 label=Case6.95 nb_sol=0 ticks=578608 tps=100 nb_sec=5786
case_no=107 label=Case6.95 nb_sol=0 ticks=474203 tps=100 nb_sec=4742
case_no=107 label=Case6.95 nb_sol=0 ticks=474814 tps=100 nb_sec=4748
case_no=107 label=Case6.95 nb_sol=0 ticks=531956 tps=100 nb_sec=5319
case_no=107 label=Case6.95 nb_sol=0 ticks=543544 tps=100 nb_sec=5435
case_no=107 label=Case6.95 nb_sol=0 ticks=707425 tps=100 nb_sec=7074
case_no=107 label=Case6.95 nb_sol=0 ticks=497366 tps=100 nb_sec=4973
case_no=107 label=Case6.95 nb_sol=0 ticks=539565 tps=100 nb_sec=5395
case_no=107 label=Case6.95 nb_sol=0 ticks=490640 tps=100 nb_sec=4906
case_no=107 label=Case6.95 nb_sol=0 ticks=447082 tps=100 nb_sec=4470
case_no=107 label=Case6.95 nb_sol=0 ticks=597672 tps=100 nb_sec=5976
case_no=107 label=Case6.95 nb_sol=0 ticks=523402 tps=100 nb_sec=5234
case_no=107 label=Case6.95 nb_sol=0 ticks=653562 tps=100 nb_sec=6535
case_no=107 label=Case6.95 nb_sol=0 ticks=294870 tps=100 nb_sec=2948
case_no=107 label=Case6.95 nb_sol=0 ticks=526498 tps=100 nb_sec=5264
case_no=107 label=Case6.95 nb_sol=0 ticks=699169 tps=100 nb_sec=6991
case_no=107 label=Case6.95 nb_sol=0 ticks=495516 tps=100 nb_sec=4955
case_no=107 label=Case6.95 nb_sol=0 ticks=271270 tps=100 nb_sec=2712
case_no=107 label=Case6.95 nb_sol=0 ticks=397405 tps=100 nb_sec=3974
case_no=107 label=Case6.95 nb_sol=0 ticks=463062 tps=100 nb_sec=4630
case_no=107 label=Case6.95 nb_sol=0 ticks=278714 tps=100 nb_sec=2787
case_no=107 label=Case6.95 nb_sol=0 ticks=467181 tps=100 nb_sec=4671
case_no=107 label=Case6.95 nb_sol=0 ticks=436676 tps=100 nb_sec=4366
case_no=107 label=Case6.95 nb_sol=0 ticks=461688 tps=100 nb_sec=4616
case_no=107 label=Case6.95 nb_sol=0 ticks=441226 tps=100 nb_sec=4412
case_no=107 label=Case6.95 nb_sol=0 ticks=613404 tps=100 nb_sec=6134
case_no=107 label=Case6.95 nb_sol=0 ticks=627780 tps=100 nb_sec=6277
case_no=107 label=Case6.95 nb_sol=0 ticks=426063 tps=100 nb_sec=4260
case_no=107 label=Case6.95 nb_sol=0 ticks=557847 tps=100 nb_sec=5578
case_no=107 label=Case6.95 nb_sol=0 ticks=499264 tps=100 nb_sec=4992
case_no=107 label=Case6.95 nb_sol=0 ticks=766195 tps=100 nb_sec=7661
case_no=107 label=Case6.95 nb_sol=0 ticks=556182 tps=100 nb_sec=5561
case_no=107 label=Case6.95 nb_sol=0 ticks=680149 tps=100 nb_sec=6801
case_no=107 label=Case6.95 nb_sol=0 ticks=338689 tps=100 nb_sec=3386
case_no=107 label=Case6.95 nb_sol=0 ticks=376056 tps=100 nb_sec=3760
case_no=107 label=Case6.95 nb_sol=0 ticks=584271 tps=100 nb_sec=5842
case_no=107 label=Case6.95 nb_sol=0 ticks=595193 tps=100 nb_sec=5951
case_no=107 label=Case6.95 nb_sol=0 ticks=495247 tps=100 nb_sec=4952
case_no=107 label=Case6.95 nb_sol=0 ticks=497595 tps=100 nb_sec=4975
case_no=107 label=Case6.95 nb_sol=0 ticks=712940 tps=100 nb_sec=7129
case_no=107 label=Case6.95 nb_sol=0 ticks=763718 tps=100 nb_sec=7637
case_no=107 label=Case6.95 nb_sol=0 ticks=551940 tps=100 nb_sec=5519
case_no=107 label=Case6.95 nb_sol=0 ticks=393904 tps=100 nb_sec=3939
case_no=107 label=Case6.95 nb_sol=0 ticks=714486 tps=100 nb_sec=7144
case_no=107 label=Case6.95 nb_sol=0 ticks=508213 tps=100 nb_sec=5082
case_no=107 label=Case6.95 nb_sol=0 ticks=566699 tps=100 nb_sec=5666
case_no=107 label=Case6.95 nb_sol=0 ticks=597925 tps=100 nb_sec=5979
case_no=107 label=Case6.95 nb_sol=0 ticks=518010 tps=100 nb_sec=5180
case_no=107 label=Case6.95 nb_sol=0 ticks=441976 tps=100 nb_sec=4419
case_no=107 label=Case6.95 nb_sol=0 ticks=413994 tps=100 nb_sec=4139
case_no=107 label=Case6.95 nb_sol=0 ticks=524599 tps=100 nb_sec=5245
case_no=107 label=Case6.95 nb_sol=0 ticks=690862 tps=100 nb_sec=6908
case_no=107 label=Case6.95 nb_sol=0 ticks=374333 tps=100 nb_sec=3743
case_no=107 label=Case6.95 nb_sol=0 ticks=269475 tps=100 nb_sec=2694
case_no=107 label=Case6.95 nb_sol=0 ticks=373174 tps=100 nb_sec=3731
case_no=107 label=Case6.95 nb_sol=0 ticks=394820 tps=100 nb_sec=3948
case_no=107 label=Case6.95 nb_sol=0 ticks=807365 tps=100 nb_sec=8073
case_no=107 label=Case6.95 nb_sol=0 ticks=412970 tps=100 nb_sec=4129
case_no=107 label=Case6.95 nb_sol=0 ticks=371998 tps=100 nb_sec=3719
case_no=107 label=Case6.95 nb_sol=0 ticks=403814 tps=100 nb_sec=4038
case_no=107 label=Case6.95 nb_sol=0 ticks=223288 tps=100 nb_sec=2232
case_no=107 label=Case6.95 nb_sol=0 ticks=370659 tps=100 nb_sec=3706
case_no=107 label=Case6.95 nb_sol=0 ticks=359577 tps=100 nb_sec=3595
case_no=107 label=Case6.95 nb_sol=0 ticks=297332 tps=100 nb_sec=2973
case_no=107 label=Case6.95 nb_sol=0 ticks=301755 tps=100 nb_sec=3017
case_no=107 label=Case6.95 nb_sol=0 ticks=457900 tps=100 nb_sec=4579
case_no=107 label=Case6.95 nb_sol=0 ticks=507605 tps=100 nb_sec=5076
case_no=107 label=Case6.95 nb_sol=0 ticks=431966 tps=100 nb_sec=4319
case_no=107 label=Case6.95 nb_sol=0 ticks=381618 tps=100 nb_sec=3816
case_no=107 label=Case6.95 nb_sol=0 ticks=451841 tps=100 nb_sec=4518
case_no=107 label=Case6.95 nb_sol=0 ticks=431578 tps=100 nb_sec=4315
case_no=107 label=Case6.95 nb_sol=0 ticks=486657 tps=100 nb_sec=4866
case_no=107 label=Case6.95 nb_sol=0 ticks=390545 tps=100 nb_sec=3905
case_no=107 label=Case6.95 nb_sol=0 ticks=507910 tps=100 nb_sec=5079
case_no=107 label=Case6.95 nb_sol=0 ticks=282458 tps=100 nb_sec=2824
case_no=107 label=Case6.95 nb_sol=0 ticks=463356 tps=100 nb_sec=4633
case_no=107 label=Case6.95 nb_sol=0 ticks=479841 tps=100 nb_sec=4798
case_no=107 label=Case6.95 nb_sol=0 ticks=524226 tps=100 nb_sec=5242
case_no=107 label=Case6.95 nb_sol=0 ticks=389285 tps=100 nb_sec=3892
case_no=107 label=Case6.95 nb_sol=0 ticks=301444 tps=100 nb_sec=3014
case_no=107 label=Case6.95 nb_sol=0 ticks=426369 tps=100 nb_sec=4263
case_no=107 label=Case6.95 nb_sol=0 ticks=461187 tps=100 nb_sec=4611
case_no=107 label=Case6.95 nb_sol=0 ticks=377938 tps=100 nb_sec=3779
case_no=107 label=Case6.95 nb_sol=0 ticks=553426 tps=100 nb_sec=5534
case_no=107 label=Case6.95 nb_sol=0 ticks=368130 tps=100 nb_sec=3681
case_no=107 label=Case6.95 nb_sol=0 ticks=205443 tps=100 nb_sec=2054
case_no=107 label=Case6.95 nb_sol=0 ticks=517718 tps=100 nb_sec=5177
case_no=107 label=Case6.95 nb_sol=0 ticks=395502 tps=100 nb_sec=3955
case_no=107 label=Case6.95 nb_sol=0 ticks=447654 tps=100 nb_sec=4476
case_no=107 label=Case6.95 nb_sol=0 ticks=396895 tps=100 nb_sec=3968
case_no=107 label=Case6.95 nb_sol=0 ticks=208285 tps=100 nb_sec=2082
case_no=107 label=Case6.95 nb_sol=0 ticks=376742 tps=100 nb_sec=3767
case_no=107 label=Case6.95 nb_sol=0 ticks=195439 tps=100 nb_sec=1954
case_no=107 label=Case6.95 nb_sol=0 ticks=404655 tps=100 nb_sec=4046
case_no=107 label=Case6.95 nb_sol=0 ticks=409697 tps=100 nb_sec=4096
case_no=107 label=Case6.95 nb_sol=0 ticks=373715 tps=100 nb_sec=3737
case_no=107 label=Case6.95 nb_sol=0 ticks=485862 tps=100 nb_sec=4858
case_no=107 label=Case6.95 nb_sol=0 ticks=265207 tps=100 nb_sec=2652
Nb_sol=0
Nb_sec=596472
6-21:41:12 or 165 hours
missing cases:
none