argc=5
-M 64
file2=30_select_Case6.101_starter_15_
checking files mod 64 from 0 to 63
case_no=113 label=Case6.101 nb_sol=0 ticks=1446881 tps=100 nb_sec=14468
case_no=113 label=Case6.101 nb_sol=0 ticks=734035 tps=100 nb_sec=7340
case_no=113 label=Case6.101 nb_sol=0 ticks=422642 tps=100 nb_sec=4226
case_no=113 label=Case6.101 nb_sol=0 ticks=1041061 tps=100 nb_sec=10410
case_no=113 label=Case6.101 nb_sol=0 ticks=1210388 tps=100 nb_sec=12103
case_no=113 label=Case6.101 nb_sol=0 ticks=963034 tps=100 nb_sec=9630
case_no=113 label=Case6.101 nb_sol=0 ticks=934048 tps=100 nb_sec=9340
case_no=113 label=Case6.101 nb_sol=0 ticks=449895 tps=100 nb_sec=4498
case_no=113 label=Case6.101 nb_sol=0 ticks=1027475 tps=100 nb_sec=10274
case_no=113 label=Case6.101 nb_sol=0 ticks=900265 tps=100 nb_sec=9002
case_no=113 label=Case6.101 nb_sol=0 ticks=737119 tps=100 nb_sec=7371
case_no=113 label=Case6.101 nb_sol=0 ticks=1087146 tps=100 nb_sec=10871
case_no=113 label=Case6.101 nb_sol=0 ticks=523214 tps=100 nb_sec=5232
case_no=113 label=Case6.101 nb_sol=0 ticks=1001718 tps=100 nb_sec=10017
case_no=113 label=Case6.101 nb_sol=0 ticks=698435 tps=100 nb_sec=6984
case_no=113 label=Case6.101 nb_sol=0 ticks=1694100 tps=100 nb_sec=16941
case_no=113 label=Case6.101 nb_sol=0 ticks=532160 tps=100 nb_sec=5321
case_no=113 label=Case6.101 nb_sol=0 ticks=991125 tps=100 nb_sec=9911
case_no=113 label=Case6.101 nb_sol=0 ticks=633973 tps=100 nb_sec=6339
case_no=113 label=Case6.101 nb_sol=0 ticks=1014196 tps=100 nb_sec=10141
case_no=113 label=Case6.101 nb_sol=0 ticks=904234 tps=100 nb_sec=9042
case_no=113 label=Case6.101 nb_sol=0 ticks=1609153 tps=100 nb_sec=16091
case_no=113 label=Case6.101 nb_sol=0 ticks=1053616 tps=100 nb_sec=10536
case_no=113 label=Case6.101 nb_sol=0 ticks=519442 tps=100 nb_sec=5194
case_no=113 label=Case6.101 nb_sol=0 ticks=597988 tps=100 nb_sec=5979
case_no=113 label=Case6.101 nb_sol=0 ticks=907837 tps=100 nb_sec=9078
case_no=113 label=Case6.101 nb_sol=0 ticks=475522 tps=100 nb_sec=4755
case_no=113 label=Case6.101 nb_sol=0 ticks=970424 tps=100 nb_sec=9704
case_no=113 label=Case6.101 nb_sol=0 ticks=492081 tps=100 nb_sec=4920
case_no=113 label=Case6.101 nb_sol=0 ticks=907335 tps=100 nb_sec=9073
case_no=113 label=Case6.101 nb_sol=0 ticks=1850422 tps=100 nb_sec=18504
case_no=113 label=Case6.101 nb_sol=0 ticks=1093934 tps=100 nb_sec=10939
case_no=113 label=Case6.101 nb_sol=0 ticks=651065 tps=100 nb_sec=6510
case_no=113 label=Case6.101 nb_sol=0 ticks=899942 tps=100 nb_sec=8999
case_no=113 label=Case6.101 nb_sol=0 ticks=915790 tps=100 nb_sec=9157
case_no=113 label=Case6.101 nb_sol=0 ticks=1543921 tps=100 nb_sec=15439
case_no=113 label=Case6.101 nb_sol=0 ticks=731183 tps=100 nb_sec=7311
case_no=113 label=Case6.101 nb_sol=0 ticks=700534 tps=100 nb_sec=7005
case_no=113 label=Case6.101 nb_sol=0 ticks=522967 tps=100 nb_sec=5229
case_no=113 label=Case6.101 nb_sol=0 ticks=886030 tps=100 nb_sec=8860
case_no=113 label=Case6.101 nb_sol=0 ticks=901847 tps=100 nb_sec=9018
case_no=113 label=Case6.101 nb_sol=0 ticks=1012600 tps=100 nb_sec=10126
case_no=113 label=Case6.101 nb_sol=0 ticks=1541601 tps=100 nb_sec=15416
case_no=113 label=Case6.101 nb_sol=0 ticks=1049627 tps=100 nb_sec=10496
case_no=113 label=Case6.101 nb_sol=0 ticks=675877 tps=100 nb_sec=6758
case_no=113 label=Case6.101 nb_sol=0 ticks=796071 tps=100 nb_sec=7960
case_no=113 label=Case6.101 nb_sol=0 ticks=476044 tps=100 nb_sec=4760
case_no=113 label=Case6.101 nb_sol=0 ticks=1539035 tps=100 nb_sec=15390
case_no=113 label=Case6.101 nb_sol=0 ticks=711404 tps=100 nb_sec=7114
case_no=113 label=Case6.101 nb_sol=0 ticks=844400 tps=100 nb_sec=8444
case_no=113 label=Case6.101 nb_sol=0 ticks=888854 tps=100 nb_sec=8888
case_no=113 label=Case6.101 nb_sol=0 ticks=398044 tps=100 nb_sec=3980
case_no=113 label=Case6.101 nb_sol=0 ticks=1749216 tps=100 nb_sec=17492
case_no=113 label=Case6.101 nb_sol=0 ticks=776553 tps=100 nb_sec=7765
case_no=113 label=Case6.101 nb_sol=0 ticks=1055570 tps=100 nb_sec=10555
case_no=113 label=Case6.101 nb_sol=0 ticks=1469241 tps=100 nb_sec=14692
case_no=113 label=Case6.101 nb_sol=0 ticks=1160599 tps=100 nb_sec=11605
case_no=113 label=Case6.101 nb_sol=0 ticks=447840 tps=100 nb_sec=4478
case_no=113 label=Case6.101 nb_sol=0 ticks=916813 tps=100 nb_sec=9168
case_no=113 label=Case6.101 nb_sol=0 ticks=432044 tps=100 nb_sec=4320
case_no=113 label=Case6.101 nb_sol=0 ticks=901127 tps=100 nb_sec=9011
case_no=113 label=Case6.101 nb_sol=0 ticks=1145247 tps=100 nb_sec=11452
case_no=113 label=Case6.101 nb_sol=0 ticks=1430562 tps=100 nb_sec=14305
case_no=113 label=Case6.101 nb_sol=0 ticks=786872 tps=100 nb_sec=7868
Nb_sol=0
Nb_sec=593805
6-20:56:45 or 164 hours
missing cases:
none