argc=5
-M 64
file2=30_select_Case6.104_starter_15_
checking files mod 64 from 0 to 63
case_no=116 label=Case6.104 nb_sol=0 ticks=45837 tps=100 nb_sec=458
case_no=116 label=Case6.104 nb_sol=0 ticks=31504 tps=100 nb_sec=315
case_no=116 label=Case6.104 nb_sol=0 ticks=25890 tps=100 nb_sec=258
case_no=116 label=Case6.104 nb_sol=0 ticks=21316 tps=100 nb_sec=213
case_no=116 label=Case6.104 nb_sol=0 ticks=30773 tps=100 nb_sec=307
case_no=116 label=Case6.104 nb_sol=0 ticks=34389 tps=100 nb_sec=343
case_no=116 label=Case6.104 nb_sol=0 ticks=22377 tps=100 nb_sec=223
case_no=116 label=Case6.104 nb_sol=0 ticks=23735 tps=100 nb_sec=237
case_no=116 label=Case6.104 nb_sol=0 ticks=43073 tps=100 nb_sec=430
case_no=116 label=Case6.104 nb_sol=0 ticks=31429 tps=100 nb_sec=314
case_no=116 label=Case6.104 nb_sol=0 ticks=42553 tps=100 nb_sec=425
case_no=116 label=Case6.104 nb_sol=0 ticks=34007 tps=100 nb_sec=340
case_no=116 label=Case6.104 nb_sol=0 ticks=27455 tps=100 nb_sec=274
case_no=116 label=Case6.104 nb_sol=0 ticks=18976 tps=100 nb_sec=189
case_no=116 label=Case6.104 nb_sol=0 ticks=13061 tps=100 nb_sec=130
case_no=116 label=Case6.104 nb_sol=0 ticks=13582 tps=100 nb_sec=135
case_no=116 label=Case6.104 nb_sol=0 ticks=12805 tps=100 nb_sec=128
case_no=116 label=Case6.104 nb_sol=0 ticks=27194 tps=100 nb_sec=271
case_no=116 label=Case6.104 nb_sol=0 ticks=22426 tps=100 nb_sec=224
case_no=116 label=Case6.104 nb_sol=0 ticks=14973 tps=100 nb_sec=149
case_no=116 label=Case6.104 nb_sol=0 ticks=15009 tps=100 nb_sec=150
case_no=116 label=Case6.104 nb_sol=0 ticks=16864 tps=100 nb_sec=168
case_no=116 label=Case6.104 nb_sol=0 ticks=19930 tps=100 nb_sec=199
case_no=116 label=Case6.104 nb_sol=0 ticks=13230 tps=100 nb_sec=132
case_no=116 label=Case6.104 nb_sol=0 ticks=12780 tps=100 nb_sec=127
case_no=116 label=Case6.104 nb_sol=0 ticks=10252 tps=100 nb_sec=102
case_no=116 label=Case6.104 nb_sol=0 ticks=10379 tps=100 nb_sec=103
case_no=116 label=Case6.104 nb_sol=0 ticks=17446 tps=100 nb_sec=174
case_no=116 label=Case6.104 nb_sol=0 ticks=12818 tps=100 nb_sec=128
case_no=116 label=Case6.104 nb_sol=0 ticks=10978 tps=100 nb_sec=109
case_no=116 label=Case6.104 nb_sol=0 ticks=10608 tps=100 nb_sec=106
case_no=116 label=Case6.104 nb_sol=0 ticks=18749 tps=100 nb_sec=187
case_no=116 label=Case6.104 nb_sol=0 ticks=15681 tps=100 nb_sec=156
case_no=116 label=Case6.104 nb_sol=0 ticks=11515 tps=100 nb_sec=115
case_no=116 label=Case6.104 nb_sol=0 ticks=10140 tps=100 nb_sec=101
case_no=116 label=Case6.104 nb_sol=0 ticks=9153 tps=100 nb_sec=91
case_no=116 label=Case6.104 nb_sol=0 ticks=9198 tps=100 nb_sec=91
case_no=116 label=Case6.104 nb_sol=0 ticks=9177 tps=100 nb_sec=91
case_no=116 label=Case6.104 nb_sol=0 ticks=21238 tps=100 nb_sec=212
case_no=116 label=Case6.104 nb_sol=0 ticks=16238 tps=100 nb_sec=162
case_no=116 label=Case6.104 nb_sol=0 ticks=9819 tps=100 nb_sec=98
case_no=116 label=Case6.104 nb_sol=0 ticks=20623 tps=100 nb_sec=206
case_no=116 label=Case6.104 nb_sol=0 ticks=9602 tps=100 nb_sec=96
case_no=116 label=Case6.104 nb_sol=0 ticks=12389 tps=100 nb_sec=123
case_no=116 label=Case6.104 nb_sol=0 ticks=9145 tps=100 nb_sec=91
case_no=116 label=Case6.104 nb_sol=0 ticks=11445 tps=100 nb_sec=114
case_no=116 label=Case6.104 nb_sol=0 ticks=14380 tps=100 nb_sec=143
case_no=116 label=Case6.104 nb_sol=0 ticks=8695 tps=100 nb_sec=86
case_no=116 label=Case6.104 nb_sol=0 ticks=16106 tps=100 nb_sec=161
case_no=116 label=Case6.104 nb_sol=0 ticks=13330 tps=100 nb_sec=133
case_no=116 label=Case6.104 nb_sol=0 ticks=6983 tps=100 nb_sec=69
case_no=116 label=Case6.104 nb_sol=0 ticks=9128 tps=100 nb_sec=91
case_no=116 label=Case6.104 nb_sol=0 ticks=7183 tps=100 nb_sec=71
case_no=116 label=Case6.104 nb_sol=0 ticks=32121 tps=100 nb_sec=321
case_no=116 label=Case6.104 nb_sol=0 ticks=19816 tps=100 nb_sec=198
case_no=116 label=Case6.104 nb_sol=0 ticks=17977 tps=100 nb_sec=179
case_no=116 label=Case6.104 nb_sol=0 ticks=26405 tps=100 nb_sec=264
case_no=116 label=Case6.104 nb_sol=0 ticks=13716 tps=100 nb_sec=137
case_no=116 label=Case6.104 nb_sol=0 ticks=14679 tps=100 nb_sec=146
case_no=116 label=Case6.104 nb_sol=0 ticks=13814 tps=100 nb_sec=138
case_no=116 label=Case6.104 nb_sol=0 ticks=20634 tps=100 nb_sec=206
case_no=116 label=Case6.104 nb_sol=0 ticks=13231 tps=100 nb_sec=132
case_no=116 label=Case6.104 nb_sol=0 ticks=13590 tps=100 nb_sec=135
case_no=116 label=Case6.104 nb_sol=0 ticks=9122 tps=100 nb_sec=91
Nb_sol=0
Nb_sec=11496
0-3:11:36 or 3 hours
missing cases:
none