argc=5 -M 64 file2=30_select_Case6.107_starter_15_ checking files mod 64 from 0 to 63 case_no=119 label=Case6.107 nb_sol=0 ticks=184478 tps=100 nb_sec=1844 case_no=119 label=Case6.107 nb_sol=0 ticks=109644 tps=100 nb_sec=1096 case_no=119 label=Case6.107 nb_sol=0 ticks=63441 tps=100 nb_sec=634 case_no=119 label=Case6.107 nb_sol=0 ticks=85319 tps=100 nb_sec=853 case_no=119 label=Case6.107 nb_sol=0 ticks=175762 tps=100 nb_sec=1757 case_no=119 label=Case6.107 nb_sol=0 ticks=116021 tps=100 nb_sec=1160 case_no=119 label=Case6.107 nb_sol=0 ticks=104035 tps=100 nb_sec=1040 case_no=119 label=Case6.107 nb_sol=0 ticks=86670 tps=100 nb_sec=866 case_no=119 label=Case6.107 nb_sol=0 ticks=175004 tps=100 nb_sec=1750 case_no=119 label=Case6.107 nb_sol=0 ticks=118892 tps=100 nb_sec=1188 case_no=119 label=Case6.107 nb_sol=0 ticks=207803 tps=100 nb_sec=2078 case_no=119 label=Case6.107 nb_sol=0 ticks=112714 tps=100 nb_sec=1127 case_no=119 label=Case6.107 nb_sol=0 ticks=75342 tps=100 nb_sec=753 case_no=119 label=Case6.107 nb_sol=0 ticks=130423 tps=100 nb_sec=1304 case_no=119 label=Case6.107 nb_sol=0 ticks=72510 tps=100 nb_sec=725 case_no=119 label=Case6.107 nb_sol=0 ticks=68468 tps=100 nb_sec=684 case_no=119 label=Case6.107 nb_sol=0 ticks=66527 tps=100 nb_sec=665 case_no=119 label=Case6.107 nb_sol=0 ticks=138751 tps=100 nb_sec=1387 case_no=119 label=Case6.107 nb_sol=0 ticks=160044 tps=100 nb_sec=1600 case_no=119 label=Case6.107 nb_sol=0 ticks=78160 tps=100 nb_sec=781 case_no=119 label=Case6.107 nb_sol=0 ticks=81023 tps=100 nb_sec=810 case_no=119 label=Case6.107 nb_sol=0 ticks=74099 tps=100 nb_sec=740 case_no=119 label=Case6.107 nb_sol=0 ticks=109481 tps=100 nb_sec=1094 case_no=119 label=Case6.107 nb_sol=0 ticks=73886 tps=100 nb_sec=738 case_no=119 label=Case6.107 nb_sol=0 ticks=69697 tps=100 nb_sec=696 case_no=119 label=Case6.107 nb_sol=0 ticks=30561 tps=100 nb_sec=305 case_no=119 label=Case6.107 nb_sol=0 ticks=42934 tps=100 nb_sec=429 case_no=119 label=Case6.107 nb_sol=0 ticks=75407 tps=100 nb_sec=754 case_no=119 label=Case6.107 nb_sol=0 ticks=79605 tps=100 nb_sec=796 case_no=119 label=Case6.107 nb_sol=0 ticks=61562 tps=100 nb_sec=615 case_no=119 label=Case6.107 nb_sol=0 ticks=54504 tps=100 nb_sec=545 case_no=119 label=Case6.107 nb_sol=0 ticks=90346 tps=100 nb_sec=903 case_no=119 label=Case6.107 nb_sol=0 ticks=86471 tps=100 nb_sec=864 case_no=119 label=Case6.107 nb_sol=0 ticks=49244 tps=100 nb_sec=492 case_no=119 label=Case6.107 nb_sol=0 ticks=38698 tps=100 nb_sec=386 case_no=119 label=Case6.107 nb_sol=0 ticks=49845 tps=100 nb_sec=498 case_no=119 label=Case6.107 nb_sol=0 ticks=62572 tps=100 nb_sec=625 case_no=119 label=Case6.107 nb_sol=0 ticks=63770 tps=100 nb_sec=637 case_no=119 label=Case6.107 nb_sol=0 ticks=88889 tps=100 nb_sec=888 case_no=119 label=Case6.107 nb_sol=0 ticks=89495 tps=100 nb_sec=894 case_no=119 label=Case6.107 nb_sol=0 ticks=50018 tps=100 nb_sec=500 case_no=119 label=Case6.107 nb_sol=0 ticks=76011 tps=100 nb_sec=760 case_no=119 label=Case6.107 nb_sol=0 ticks=52198 tps=100 nb_sec=521 case_no=119 label=Case6.107 nb_sol=0 ticks=44745 tps=100 nb_sec=447 case_no=119 label=Case6.107 nb_sol=0 ticks=35667 tps=100 nb_sec=356 case_no=119 label=Case6.107 nb_sol=0 ticks=32576 tps=100 nb_sec=325 case_no=119 label=Case6.107 nb_sol=0 ticks=49758 tps=100 nb_sec=497 case_no=119 label=Case6.107 nb_sol=0 ticks=41094 tps=100 nb_sec=410 case_no=119 label=Case6.107 nb_sol=0 ticks=83445 tps=100 nb_sec=834 case_no=119 label=Case6.107 nb_sol=0 ticks=55254 tps=100 nb_sec=552 case_no=119 label=Case6.107 nb_sol=0 ticks=31215 tps=100 nb_sec=312 case_no=119 label=Case6.107 nb_sol=0 ticks=33417 tps=100 nb_sec=334 case_no=119 label=Case6.107 nb_sol=0 ticks=32410 tps=100 nb_sec=324 case_no=119 label=Case6.107 nb_sol=0 ticks=116950 tps=100 nb_sec=1169 case_no=119 label=Case6.107 nb_sol=0 ticks=67207 tps=100 nb_sec=672 case_no=119 label=Case6.107 nb_sol=0 ticks=65709 tps=100 nb_sec=657 case_no=119 label=Case6.107 nb_sol=0 ticks=81028 tps=100 nb_sec=810 case_no=119 label=Case6.107 nb_sol=0 ticks=42929 tps=100 nb_sec=429 case_no=119 label=Case6.107 nb_sol=0 ticks=53252 tps=100 nb_sec=532 case_no=119 label=Case6.107 nb_sol=0 ticks=53895 tps=100 nb_sec=538 case_no=119 label=Case6.107 nb_sol=0 ticks=80774 tps=100 nb_sec=807 case_no=119 label=Case6.107 nb_sol=0 ticks=49128 tps=100 nb_sec=491 case_no=119 label=Case6.107 nb_sol=0 ticks=42816 tps=100 nb_sec=428 case_no=119 label=Case6.107 nb_sol=0 ticks=49570 tps=100 nb_sec=495 Nb_sol=0 Nb_sec=50201 0-13:56:41 or 13 hours missing cases: none