argc=5
-M 64
file2=30_select_Case6.144_starter_15_
checking files mod 64 from 0 to 63
case_no=156 label=Case6.144 nb_sol=0 ticks=282459 tps=100 nb_sec=2824
case_no=156 label=Case6.144 nb_sol=0 ticks=292900 tps=100 nb_sec=2929
case_no=156 label=Case6.144 nb_sol=0 ticks=252188 tps=100 nb_sec=2521
case_no=156 label=Case6.144 nb_sol=0 ticks=447994 tps=100 nb_sec=4479
case_no=156 label=Case6.144 nb_sol=0 ticks=224583 tps=100 nb_sec=2245
case_no=156 label=Case6.144 nb_sol=0 ticks=422928 tps=100 nb_sec=4229
case_no=156 label=Case6.144 nb_sol=0 ticks=473849 tps=100 nb_sec=4738
case_no=156 label=Case6.144 nb_sol=0 ticks=458058 tps=100 nb_sec=4580
case_no=156 label=Case6.144 nb_sol=0 ticks=463645 tps=100 nb_sec=4636
case_no=156 label=Case6.144 nb_sol=0 ticks=480576 tps=100 nb_sec=4805
case_no=156 label=Case6.144 nb_sol=0 ticks=426910 tps=100 nb_sec=4269
case_no=156 label=Case6.144 nb_sol=0 ticks=532975 tps=100 nb_sec=5329
case_no=156 label=Case6.144 nb_sol=0 ticks=540169 tps=100 nb_sec=5401
case_no=156 label=Case6.144 nb_sol=0 ticks=524606 tps=100 nb_sec=5246
case_no=156 label=Case6.144 nb_sol=0 ticks=545688 tps=100 nb_sec=5456
case_no=156 label=Case6.144 nb_sol=0 ticks=384003 tps=100 nb_sec=3840
case_no=156 label=Case6.144 nb_sol=0 ticks=515148 tps=100 nb_sec=5151
case_no=156 label=Case6.144 nb_sol=0 ticks=324486 tps=100 nb_sec=3244
case_no=156 label=Case6.144 nb_sol=0 ticks=406405 tps=100 nb_sec=4064
case_no=156 label=Case6.144 nb_sol=0 ticks=326261 tps=100 nb_sec=3262
case_no=156 label=Case6.144 nb_sol=0 ticks=276178 tps=100 nb_sec=2761
case_no=156 label=Case6.144 nb_sol=0 ticks=455638 tps=100 nb_sec=4556
case_no=156 label=Case6.144 nb_sol=0 ticks=460888 tps=100 nb_sec=4608
case_no=156 label=Case6.144 nb_sol=0 ticks=478689 tps=100 nb_sec=4786
case_no=156 label=Case6.144 nb_sol=0 ticks=252997 tps=100 nb_sec=2529
case_no=156 label=Case6.144 nb_sol=0 ticks=268616 tps=100 nb_sec=2686
case_no=156 label=Case6.144 nb_sol=0 ticks=475121 tps=100 nb_sec=4751
case_no=156 label=Case6.144 nb_sol=0 ticks=375174 tps=100 nb_sec=3751
case_no=156 label=Case6.144 nb_sol=0 ticks=243365 tps=100 nb_sec=2433
case_no=156 label=Case6.144 nb_sol=0 ticks=452772 tps=100 nb_sec=4527
case_no=156 label=Case6.144 nb_sol=0 ticks=518181 tps=100 nb_sec=5181
case_no=156 label=Case6.144 nb_sol=0 ticks=416011 tps=100 nb_sec=4160
case_no=156 label=Case6.144 nb_sol=0 ticks=451194 tps=100 nb_sec=4511
case_no=156 label=Case6.144 nb_sol=0 ticks=463055 tps=100 nb_sec=4630
case_no=156 label=Case6.144 nb_sol=0 ticks=416895 tps=100 nb_sec=4168
case_no=156 label=Case6.144 nb_sol=0 ticks=396391 tps=100 nb_sec=3963
case_no=156 label=Case6.144 nb_sol=0 ticks=399459 tps=100 nb_sec=3994
case_no=156 label=Case6.144 nb_sol=0 ticks=416267 tps=100 nb_sec=4162
case_no=156 label=Case6.144 nb_sol=0 ticks=504272 tps=100 nb_sec=5042
case_no=156 label=Case6.144 nb_sol=0 ticks=471698 tps=100 nb_sec=4716
case_no=156 label=Case6.144 nb_sol=0 ticks=432797 tps=100 nb_sec=4327
case_no=156 label=Case6.144 nb_sol=0 ticks=441756 tps=100 nb_sec=4417
case_no=156 label=Case6.144 nb_sol=0 ticks=485760 tps=100 nb_sec=4857
case_no=156 label=Case6.144 nb_sol=0 ticks=233120 tps=100 nb_sec=2331
case_no=156 label=Case6.144 nb_sol=0 ticks=353466 tps=100 nb_sec=3534
case_no=156 label=Case6.144 nb_sol=0 ticks=565843 tps=100 nb_sec=5658
case_no=156 label=Case6.144 nb_sol=0 ticks=296853 tps=100 nb_sec=2968
case_no=156 label=Case6.144 nb_sol=0 ticks=386374 tps=100 nb_sec=3863
case_no=156 label=Case6.144 nb_sol=0 ticks=289324 tps=100 nb_sec=2893
case_no=156 label=Case6.144 nb_sol=0 ticks=448351 tps=100 nb_sec=4483
case_no=156 label=Case6.144 nb_sol=0 ticks=263721 tps=100 nb_sec=2637
case_no=156 label=Case6.144 nb_sol=0 ticks=310031 tps=100 nb_sec=3100
case_no=156 label=Case6.144 nb_sol=0 ticks=503391 tps=100 nb_sec=5033
case_no=156 label=Case6.144 nb_sol=0 ticks=414651 tps=100 nb_sec=4146
case_no=156 label=Case6.144 nb_sol=0 ticks=495649 tps=100 nb_sec=4956
case_no=156 label=Case6.144 nb_sol=0 ticks=477280 tps=100 nb_sec=4772
case_no=156 label=Case6.144 nb_sol=0 ticks=525812 tps=100 nb_sec=5258
case_no=156 label=Case6.144 nb_sol=0 ticks=205826 tps=100 nb_sec=2058
case_no=156 label=Case6.144 nb_sol=0 ticks=387101 tps=100 nb_sec=3871
case_no=156 label=Case6.144 nb_sol=0 ticks=345756 tps=100 nb_sec=3457
case_no=156 label=Case6.144 nb_sol=0 ticks=371048 tps=100 nb_sec=3710
case_no=156 label=Case6.144 nb_sol=0 ticks=335699 tps=100 nb_sec=3356
case_no=156 label=Case6.144 nb_sol=0 ticks=349873 tps=100 nb_sec=3498
case_no=156 label=Case6.144 nb_sol=0 ticks=323581 tps=100 nb_sec=3235
Nb_sol=0
Nb_sec=257581
2-23:33:1 or 71 hours
missing cases:
none