argc=5 -M 64 file2=30_select_Case6.171_starter_15_ checking files mod 64 from 0 to 63 case_no=183 label=Case6.171 nb_sol=0 ticks=64783 tps=100 nb_sec=647 case_no=183 label=Case6.171 nb_sol=0 ticks=56249 tps=100 nb_sec=562 case_no=183 label=Case6.171 nb_sol=0 ticks=27475 tps=100 nb_sec=274 case_no=183 label=Case6.171 nb_sol=0 ticks=59072 tps=100 nb_sec=590 case_no=183 label=Case6.171 nb_sol=0 ticks=62245 tps=100 nb_sec=622 case_no=183 label=Case6.171 nb_sol=0 ticks=64226 tps=100 nb_sec=642 case_no=183 label=Case6.171 nb_sol=0 ticks=58207 tps=100 nb_sec=582 case_no=183 label=Case6.171 nb_sol=0 ticks=48869 tps=100 nb_sec=488 case_no=183 label=Case6.171 nb_sol=0 ticks=49702 tps=100 nb_sec=497 case_no=183 label=Case6.171 nb_sol=0 ticks=66141 tps=100 nb_sec=661 case_no=183 label=Case6.171 nb_sol=0 ticks=58861 tps=100 nb_sec=588 case_no=183 label=Case6.171 nb_sol=0 ticks=76116 tps=100 nb_sec=761 case_no=183 label=Case6.171 nb_sol=0 ticks=57426 tps=100 nb_sec=574 case_no=183 label=Case6.171 nb_sol=0 ticks=69101 tps=100 nb_sec=691 case_no=183 label=Case6.171 nb_sol=0 ticks=61998 tps=100 nb_sec=619 case_no=183 label=Case6.171 nb_sol=0 ticks=81207 tps=100 nb_sec=812 case_no=183 label=Case6.171 nb_sol=0 ticks=44633 tps=100 nb_sec=446 case_no=183 label=Case6.171 nb_sol=0 ticks=74545 tps=100 nb_sec=745 case_no=183 label=Case6.171 nb_sol=0 ticks=73966 tps=100 nb_sec=739 case_no=183 label=Case6.171 nb_sol=0 ticks=72994 tps=100 nb_sec=729 case_no=183 label=Case6.171 nb_sol=0 ticks=46004 tps=100 nb_sec=460 case_no=183 label=Case6.171 nb_sol=0 ticks=30633 tps=100 nb_sec=306 case_no=183 label=Case6.171 nb_sol=0 ticks=28544 tps=100 nb_sec=285 case_no=183 label=Case6.171 nb_sol=0 ticks=37039 tps=100 nb_sec=370 case_no=183 label=Case6.171 nb_sol=0 ticks=24026 tps=100 nb_sec=240 case_no=183 label=Case6.171 nb_sol=0 ticks=49376 tps=100 nb_sec=493 case_no=183 label=Case6.171 nb_sol=0 ticks=52896 tps=100 nb_sec=528 case_no=183 label=Case6.171 nb_sol=0 ticks=63537 tps=100 nb_sec=635 case_no=183 label=Case6.171 nb_sol=0 ticks=71271 tps=100 nb_sec=712 case_no=183 label=Case6.171 nb_sol=0 ticks=57999 tps=100 nb_sec=579 case_no=183 label=Case6.171 nb_sol=0 ticks=57904 tps=100 nb_sec=579 case_no=183 label=Case6.171 nb_sol=0 ticks=26657 tps=100 nb_sec=266 case_no=183 label=Case6.171 nb_sol=0 ticks=58517 tps=100 nb_sec=585 case_no=183 label=Case6.171 nb_sol=0 ticks=51301 tps=100 nb_sec=513 case_no=183 label=Case6.171 nb_sol=0 ticks=35635 tps=100 nb_sec=356 case_no=183 label=Case6.171 nb_sol=0 ticks=22012 tps=100 nb_sec=220 case_no=183 label=Case6.171 nb_sol=0 ticks=51215 tps=100 nb_sec=512 case_no=183 label=Case6.171 nb_sol=0 ticks=29130 tps=100 nb_sec=291 case_no=183 label=Case6.171 nb_sol=0 ticks=54780 tps=100 nb_sec=547 case_no=183 label=Case6.171 nb_sol=0 ticks=65187 tps=100 nb_sec=651 case_no=183 label=Case6.171 nb_sol=0 ticks=24269 tps=100 nb_sec=242 case_no=183 label=Case6.171 nb_sol=0 ticks=37607 tps=100 nb_sec=376 case_no=183 label=Case6.171 nb_sol=0 ticks=25077 tps=100 nb_sec=250 case_no=183 label=Case6.171 nb_sol=0 ticks=24627 tps=100 nb_sec=246 case_no=183 label=Case6.171 nb_sol=0 ticks=45091 tps=100 nb_sec=450 case_no=183 label=Case6.171 nb_sol=0 ticks=29743 tps=100 nb_sec=297 case_no=183 label=Case6.171 nb_sol=0 ticks=28586 tps=100 nb_sec=285 case_no=183 label=Case6.171 nb_sol=0 ticks=28714 tps=100 nb_sec=287 case_no=183 label=Case6.171 nb_sol=0 ticks=29424 tps=100 nb_sec=294 case_no=183 label=Case6.171 nb_sol=0 ticks=29029 tps=100 nb_sec=290 case_no=183 label=Case6.171 nb_sol=0 ticks=36820 tps=100 nb_sec=368 case_no=183 label=Case6.171 nb_sol=0 ticks=28365 tps=100 nb_sec=283 case_no=183 label=Case6.171 nb_sol=0 ticks=50433 tps=100 nb_sec=504 case_no=183 label=Case6.171 nb_sol=0 ticks=24049 tps=100 nb_sec=240 case_no=183 label=Case6.171 nb_sol=0 ticks=94918 tps=100 nb_sec=949 case_no=183 label=Case6.171 nb_sol=0 ticks=58165 tps=100 nb_sec=581 case_no=183 label=Case6.171 nb_sol=0 ticks=47783 tps=100 nb_sec=477 case_no=183 label=Case6.171 nb_sol=0 ticks=28130 tps=100 nb_sec=281 case_no=183 label=Case6.171 nb_sol=0 ticks=33197 tps=100 nb_sec=331 case_no=183 label=Case6.171 nb_sol=0 ticks=52358 tps=100 nb_sec=523 case_no=183 label=Case6.171 nb_sol=0 ticks=39366 tps=100 nb_sec=393 case_no=183 label=Case6.171 nb_sol=0 ticks=29829 tps=100 nb_sec=298 case_no=183 label=Case6.171 nb_sol=0 ticks=20886 tps=100 nb_sec=208 case_no=183 label=Case6.171 nb_sol=0 ticks=53071 tps=100 nb_sec=530 Nb_sol=0 Nb_sec=30380 0-8:26:20 or 8 hours missing cases: none