argc=5
-M 64
file2=30_select_Case6.103_starter_15_
checking files mod 64 from 0 to 63
case_no=115 label=Case6.103 nb_sol=0 ticks=439705 tps=100 nb_sec=4397
case_no=115 label=Case6.103 nb_sol=0 ticks=595472 tps=100 nb_sec=5954
case_no=115 label=Case6.103 nb_sol=0 ticks=419185 tps=100 nb_sec=4191
case_no=115 label=Case6.103 nb_sol=0 ticks=401597 tps=100 nb_sec=4015
case_no=115 label=Case6.103 nb_sol=0 ticks=577353 tps=100 nb_sec=5773
case_no=115 label=Case6.103 nb_sol=0 ticks=582621 tps=100 nb_sec=5826
case_no=115 label=Case6.103 nb_sol=0 ticks=541921 tps=100 nb_sec=5419
case_no=115 label=Case6.103 nb_sol=0 ticks=407604 tps=100 nb_sec=4076
case_no=115 label=Case6.103 nb_sol=0 ticks=509749 tps=100 nb_sec=5097
case_no=115 label=Case6.103 nb_sol=0 ticks=503593 tps=100 nb_sec=5035
case_no=115 label=Case6.103 nb_sol=0 ticks=502239 tps=100 nb_sec=5022
case_no=115 label=Case6.103 nb_sol=0 ticks=487447 tps=100 nb_sec=4874
case_no=115 label=Case6.103 nb_sol=0 ticks=525523 tps=100 nb_sec=5255
case_no=115 label=Case6.103 nb_sol=0 ticks=503857 tps=100 nb_sec=5038
case_no=115 label=Case6.103 nb_sol=0 ticks=545122 tps=100 nb_sec=5451
case_no=115 label=Case6.103 nb_sol=0 ticks=329355 tps=100 nb_sec=3293
case_no=115 label=Case6.103 nb_sol=0 ticks=446220 tps=100 nb_sec=4462
case_no=115 label=Case6.103 nb_sol=0 ticks=421808 tps=100 nb_sec=4218
case_no=115 label=Case6.103 nb_sol=0 ticks=404150 tps=100 nb_sec=4041
case_no=115 label=Case6.103 nb_sol=0 ticks=342824 tps=100 nb_sec=3428
case_no=115 label=Case6.103 nb_sol=0 ticks=349076 tps=100 nb_sec=3490
case_no=115 label=Case6.103 nb_sol=0 ticks=543158 tps=100 nb_sec=5431
case_no=115 label=Case6.103 nb_sol=0 ticks=630927 tps=100 nb_sec=6309
case_no=115 label=Case6.103 nb_sol=0 ticks=544876 tps=100 nb_sec=5448
case_no=115 label=Case6.103 nb_sol=0 ticks=472242 tps=100 nb_sec=4722
case_no=115 label=Case6.103 nb_sol=0 ticks=452664 tps=100 nb_sec=4526
case_no=115 label=Case6.103 nb_sol=0 ticks=433059 tps=100 nb_sec=4330
case_no=115 label=Case6.103 nb_sol=0 ticks=689894 tps=100 nb_sec=6898
case_no=115 label=Case6.103 nb_sol=0 ticks=658574 tps=100 nb_sec=6585
case_no=115 label=Case6.103 nb_sol=0 ticks=520930 tps=100 nb_sec=5209
case_no=115 label=Case6.103 nb_sol=0 ticks=599794 tps=100 nb_sec=5997
case_no=115 label=Case6.103 nb_sol=0 ticks=497533 tps=100 nb_sec=4975
case_no=115 label=Case6.103 nb_sol=0 ticks=534665 tps=100 nb_sec=5346
case_no=115 label=Case6.103 nb_sol=0 ticks=656304 tps=100 nb_sec=6563
case_no=115 label=Case6.103 nb_sol=0 ticks=444133 tps=100 nb_sec=4441
case_no=115 label=Case6.103 nb_sol=0 ticks=537579 tps=100 nb_sec=5375
case_no=115 label=Case6.103 nb_sol=0 ticks=468073 tps=100 nb_sec=4680
case_no=115 label=Case6.103 nb_sol=0 ticks=553020 tps=100 nb_sec=5530
case_no=115 label=Case6.103 nb_sol=0 ticks=593296 tps=100 nb_sec=5932
case_no=115 label=Case6.103 nb_sol=0 ticks=524072 tps=100 nb_sec=5240
case_no=115 label=Case6.103 nb_sol=0 ticks=692137 tps=100 nb_sec=6921
case_no=115 label=Case6.103 nb_sol=0 ticks=452966 tps=100 nb_sec=4529
case_no=115 label=Case6.103 nb_sol=0 ticks=363708 tps=100 nb_sec=3637
case_no=115 label=Case6.103 nb_sol=0 ticks=553371 tps=100 nb_sec=5533
case_no=115 label=Case6.103 nb_sol=0 ticks=489746 tps=100 nb_sec=4897
case_no=115 label=Case6.103 nb_sol=0 ticks=503680 tps=100 nb_sec=5036
case_no=115 label=Case6.103 nb_sol=0 ticks=557620 tps=100 nb_sec=5576
case_no=115 label=Case6.103 nb_sol=0 ticks=483858 tps=100 nb_sec=4838
case_no=115 label=Case6.103 nb_sol=0 ticks=654595 tps=100 nb_sec=6545
case_no=115 label=Case6.103 nb_sol=0 ticks=494587 tps=100 nb_sec=4945
case_no=115 label=Case6.103 nb_sol=0 ticks=539253 tps=100 nb_sec=5392
case_no=115 label=Case6.103 nb_sol=0 ticks=654904 tps=100 nb_sec=6549
case_no=115 label=Case6.103 nb_sol=0 ticks=711088 tps=100 nb_sec=7110
case_no=115 label=Case6.103 nb_sol=0 ticks=468188 tps=100 nb_sec=4681
case_no=115 label=Case6.103 nb_sol=0 ticks=536098 tps=100 nb_sec=5360
case_no=115 label=Case6.103 nb_sol=0 ticks=476784 tps=100 nb_sec=4767
case_no=115 label=Case6.103 nb_sol=0 ticks=487741 tps=100 nb_sec=4877
case_no=115 label=Case6.103 nb_sol=0 ticks=516529 tps=100 nb_sec=5165
case_no=115 label=Case6.103 nb_sol=0 ticks=432514 tps=100 nb_sec=4325
case_no=115 label=Case6.103 nb_sol=0 ticks=478754 tps=100 nb_sec=4787
case_no=115 label=Case6.103 nb_sol=0 ticks=396617 tps=100 nb_sec=3966
case_no=115 label=Case6.103 nb_sol=0 ticks=604517 tps=100 nb_sec=6045
case_no=115 label=Case6.103 nb_sol=0 ticks=613800 tps=100 nb_sec=6138
case_no=115 label=Case6.103 nb_sol=0 ticks=438677 tps=100 nb_sec=4386
Nb_sol=0
Nb_sec=327897
3-19:4:57 or 91 hours
missing cases:
none