argc=5
-M 64
file2=30_select_Case6.106_starter_15_
checking files mod 64 from 0 to 63
case_no=118 label=Case6.106 nb_sol=0 ticks=127576 tps=100 nb_sec=1275
case_no=118 label=Case6.106 nb_sol=0 ticks=104801 tps=100 nb_sec=1048
case_no=118 label=Case6.106 nb_sol=0 ticks=66281 tps=100 nb_sec=662
case_no=118 label=Case6.106 nb_sol=0 ticks=115896 tps=100 nb_sec=1158
case_no=118 label=Case6.106 nb_sol=0 ticks=159862 tps=100 nb_sec=1598
case_no=118 label=Case6.106 nb_sol=0 ticks=141030 tps=100 nb_sec=1410
case_no=118 label=Case6.106 nb_sol=0 ticks=82012 tps=100 nb_sec=820
case_no=118 label=Case6.106 nb_sol=0 ticks=62191 tps=100 nb_sec=621
case_no=118 label=Case6.106 nb_sol=0 ticks=169601 tps=100 nb_sec=1696
case_no=118 label=Case6.106 nb_sol=0 ticks=88803 tps=100 nb_sec=888
case_no=118 label=Case6.106 nb_sol=0 ticks=140811 tps=100 nb_sec=1408
case_no=118 label=Case6.106 nb_sol=0 ticks=175310 tps=100 nb_sec=1753
case_no=118 label=Case6.106 nb_sol=0 ticks=133387 tps=100 nb_sec=1333
case_no=118 label=Case6.106 nb_sol=0 ticks=147313 tps=100 nb_sec=1473
case_no=118 label=Case6.106 nb_sol=0 ticks=70353 tps=100 nb_sec=703
case_no=118 label=Case6.106 nb_sol=0 ticks=36400 tps=100 nb_sec=364
case_no=118 label=Case6.106 nb_sol=0 ticks=83353 tps=100 nb_sec=833
case_no=118 label=Case6.106 nb_sol=0 ticks=86226 tps=100 nb_sec=862
case_no=118 label=Case6.106 nb_sol=0 ticks=112344 tps=100 nb_sec=1123
case_no=118 label=Case6.106 nb_sol=0 ticks=112587 tps=100 nb_sec=1125
case_no=118 label=Case6.106 nb_sol=0 ticks=68679 tps=100 nb_sec=686
case_no=118 label=Case6.106 nb_sol=0 ticks=80461 tps=100 nb_sec=804
case_no=118 label=Case6.106 nb_sol=0 ticks=123915 tps=100 nb_sec=1239
case_no=118 label=Case6.106 nb_sol=0 ticks=76942 tps=100 nb_sec=769
case_no=118 label=Case6.106 nb_sol=0 ticks=79616 tps=100 nb_sec=796
case_no=118 label=Case6.106 nb_sol=0 ticks=40429 tps=100 nb_sec=404
case_no=118 label=Case6.106 nb_sol=0 ticks=41761 tps=100 nb_sec=417
case_no=118 label=Case6.106 nb_sol=0 ticks=60182 tps=100 nb_sec=601
case_no=118 label=Case6.106 nb_sol=0 ticks=53164 tps=100 nb_sec=531
case_no=118 label=Case6.106 nb_sol=0 ticks=71893 tps=100 nb_sec=718
case_no=118 label=Case6.106 nb_sol=0 ticks=57046 tps=100 nb_sec=570
case_no=118 label=Case6.106 nb_sol=0 ticks=100707 tps=100 nb_sec=1007
case_no=118 label=Case6.106 nb_sol=0 ticks=66658 tps=100 nb_sec=666
case_no=118 label=Case6.106 nb_sol=0 ticks=48332 tps=100 nb_sec=483
case_no=118 label=Case6.106 nb_sol=0 ticks=39525 tps=100 nb_sec=395
case_no=118 label=Case6.106 nb_sol=0 ticks=46945 tps=100 nb_sec=469
case_no=118 label=Case6.106 nb_sol=0 ticks=52385 tps=100 nb_sec=523
case_no=118 label=Case6.106 nb_sol=0 ticks=55356 tps=100 nb_sec=553
case_no=118 label=Case6.106 nb_sol=0 ticks=98493 tps=100 nb_sec=984
case_no=118 label=Case6.106 nb_sol=0 ticks=78293 tps=100 nb_sec=782
case_no=118 label=Case6.106 nb_sol=0 ticks=46298 tps=100 nb_sec=462
case_no=118 label=Case6.106 nb_sol=0 ticks=106865 tps=100 nb_sec=1068
case_no=118 label=Case6.106 nb_sol=0 ticks=57476 tps=100 nb_sec=574
case_no=118 label=Case6.106 nb_sol=0 ticks=40241 tps=100 nb_sec=402
case_no=118 label=Case6.106 nb_sol=0 ticks=23132 tps=100 nb_sec=231
case_no=118 label=Case6.106 nb_sol=0 ticks=28031 tps=100 nb_sec=280
case_no=118 label=Case6.106 nb_sol=0 ticks=56873 tps=100 nb_sec=568
case_no=118 label=Case6.106 nb_sol=0 ticks=49757 tps=100 nb_sec=497
case_no=118 label=Case6.106 nb_sol=0 ticks=66243 tps=100 nb_sec=662
case_no=118 label=Case6.106 nb_sol=0 ticks=71597 tps=100 nb_sec=715
case_no=118 label=Case6.106 nb_sol=0 ticks=38194 tps=100 nb_sec=381
case_no=118 label=Case6.106 nb_sol=0 ticks=31900 tps=100 nb_sec=319
case_no=118 label=Case6.106 nb_sol=0 ticks=21407 tps=100 nb_sec=214
case_no=118 label=Case6.106 nb_sol=0 ticks=93776 tps=100 nb_sec=937
case_no=118 label=Case6.106 nb_sol=0 ticks=67680 tps=100 nb_sec=676
case_no=118 label=Case6.106 nb_sol=0 ticks=54795 tps=100 nb_sec=547
case_no=118 label=Case6.106 nb_sol=0 ticks=90225 tps=100 nb_sec=902
case_no=118 label=Case6.106 nb_sol=0 ticks=48652 tps=100 nb_sec=486
case_no=118 label=Case6.106 nb_sol=0 ticks=51827 tps=100 nb_sec=518
case_no=118 label=Case6.106 nb_sol=0 ticks=48361 tps=100 nb_sec=483
case_no=118 label=Case6.106 nb_sol=0 ticks=102576 tps=100 nb_sec=1025
case_no=118 label=Case6.106 nb_sol=0 ticks=53372 tps=100 nb_sec=533
case_no=118 label=Case6.106 nb_sol=0 ticks=79809 tps=100 nb_sec=798
case_no=118 label=Case6.106 nb_sol=0 ticks=48873 tps=100 nb_sec=488
Nb_sol=0
Nb_sec=49316
0-13:41:56 or 13 hours
missing cases:
none