argc=5 -M 64 file2=30_select_Case6.109_starter_15_ checking files mod 64 from 0 to 63 case_no=121 label=Case6.109 nb_sol=0 ticks=251361 tps=100 nb_sec=2513 case_no=121 label=Case6.109 nb_sol=0 ticks=87916 tps=100 nb_sec=879 case_no=121 label=Case6.109 nb_sol=0 ticks=79698 tps=100 nb_sec=796 case_no=121 label=Case6.109 nb_sol=0 ticks=85615 tps=100 nb_sec=856 case_no=121 label=Case6.109 nb_sol=0 ticks=165146 tps=100 nb_sec=1651 case_no=121 label=Case6.109 nb_sol=0 ticks=161728 tps=100 nb_sec=1617 case_no=121 label=Case6.109 nb_sol=0 ticks=99684 tps=100 nb_sec=996 case_no=121 label=Case6.109 nb_sol=0 ticks=94587 tps=100 nb_sec=945 case_no=121 label=Case6.109 nb_sol=0 ticks=175518 tps=100 nb_sec=1755 case_no=121 label=Case6.109 nb_sol=0 ticks=126346 tps=100 nb_sec=1263 case_no=121 label=Case6.109 nb_sol=0 ticks=185479 tps=100 nb_sec=1854 case_no=121 label=Case6.109 nb_sol=0 ticks=187661 tps=100 nb_sec=1876 case_no=121 label=Case6.109 nb_sol=0 ticks=72319 tps=100 nb_sec=723 case_no=121 label=Case6.109 nb_sol=0 ticks=126990 tps=100 nb_sec=1269 case_no=121 label=Case6.109 nb_sol=0 ticks=55542 tps=100 nb_sec=555 case_no=121 label=Case6.109 nb_sol=0 ticks=90841 tps=100 nb_sec=908 case_no=121 label=Case6.109 nb_sol=0 ticks=79931 tps=100 nb_sec=799 case_no=121 label=Case6.109 nb_sol=0 ticks=163371 tps=100 nb_sec=1633 case_no=121 label=Case6.109 nb_sol=0 ticks=141918 tps=100 nb_sec=1419 case_no=121 label=Case6.109 nb_sol=0 ticks=107429 tps=100 nb_sec=1074 case_no=121 label=Case6.109 nb_sol=0 ticks=73782 tps=100 nb_sec=737 case_no=121 label=Case6.109 nb_sol=0 ticks=88381 tps=100 nb_sec=883 case_no=121 label=Case6.109 nb_sol=0 ticks=113575 tps=100 nb_sec=1135 case_no=121 label=Case6.109 nb_sol=0 ticks=87917 tps=100 nb_sec=879 case_no=121 label=Case6.109 nb_sol=0 ticks=94947 tps=100 nb_sec=949 case_no=121 label=Case6.109 nb_sol=0 ticks=28521 tps=100 nb_sec=285 case_no=121 label=Case6.109 nb_sol=0 ticks=41040 tps=100 nb_sec=410 case_no=121 label=Case6.109 nb_sol=0 ticks=118745 tps=100 nb_sec=1187 case_no=121 label=Case6.109 nb_sol=0 ticks=92708 tps=100 nb_sec=927 case_no=121 label=Case6.109 nb_sol=0 ticks=65679 tps=100 nb_sec=656 case_no=121 label=Case6.109 nb_sol=0 ticks=67769 tps=100 nb_sec=677 case_no=121 label=Case6.109 nb_sol=0 ticks=101166 tps=100 nb_sec=1011 case_no=121 label=Case6.109 nb_sol=0 ticks=75061 tps=100 nb_sec=750 case_no=121 label=Case6.109 nb_sol=0 ticks=37332 tps=100 nb_sec=373 case_no=121 label=Case6.109 nb_sol=0 ticks=48674 tps=100 nb_sec=486 case_no=121 label=Case6.109 nb_sol=0 ticks=61743 tps=100 nb_sec=617 case_no=121 label=Case6.109 nb_sol=0 ticks=72102 tps=100 nb_sec=721 case_no=121 label=Case6.109 nb_sol=0 ticks=98770 tps=100 nb_sec=987 case_no=121 label=Case6.109 nb_sol=0 ticks=159281 tps=100 nb_sec=1592 case_no=121 label=Case6.109 nb_sol=0 ticks=84918 tps=100 nb_sec=849 case_no=121 label=Case6.109 nb_sol=0 ticks=59975 tps=100 nb_sec=599 case_no=121 label=Case6.109 nb_sol=0 ticks=103415 tps=100 nb_sec=1034 case_no=121 label=Case6.109 nb_sol=0 ticks=51619 tps=100 nb_sec=516 case_no=121 label=Case6.109 nb_sol=0 ticks=62324 tps=100 nb_sec=623 case_no=121 label=Case6.109 nb_sol=0 ticks=42992 tps=100 nb_sec=429 case_no=121 label=Case6.109 nb_sol=0 ticks=35375 tps=100 nb_sec=353 case_no=121 label=Case6.109 nb_sol=0 ticks=60263 tps=100 nb_sec=602 case_no=121 label=Case6.109 nb_sol=0 ticks=56524 tps=100 nb_sec=565 case_no=121 label=Case6.109 nb_sol=0 ticks=70238 tps=100 nb_sec=702 case_no=121 label=Case6.109 nb_sol=0 ticks=71059 tps=100 nb_sec=710 case_no=121 label=Case6.109 nb_sol=0 ticks=43855 tps=100 nb_sec=438 case_no=121 label=Case6.109 nb_sol=0 ticks=47392 tps=100 nb_sec=473 case_no=121 label=Case6.109 nb_sol=0 ticks=24755 tps=100 nb_sec=247 case_no=121 label=Case6.109 nb_sol=0 ticks=88540 tps=100 nb_sec=885 case_no=121 label=Case6.109 nb_sol=0 ticks=82380 tps=100 nb_sec=823 case_no=121 label=Case6.109 nb_sol=0 ticks=73443 tps=100 nb_sec=734 case_no=121 label=Case6.109 nb_sol=0 ticks=108067 tps=100 nb_sec=1080 case_no=121 label=Case6.109 nb_sol=0 ticks=57227 tps=100 nb_sec=572 case_no=121 label=Case6.109 nb_sol=0 ticks=67596 tps=100 nb_sec=675 case_no=121 label=Case6.109 nb_sol=0 ticks=50341 tps=100 nb_sec=503 case_no=121 label=Case6.109 nb_sol=0 ticks=97017 tps=100 nb_sec=970 case_no=121 label=Case6.109 nb_sol=0 ticks=65686 tps=100 nb_sec=656 case_no=121 label=Case6.109 nb_sol=0 ticks=63244 tps=100 nb_sec=632 case_no=121 label=Case6.109 nb_sol=0 ticks=59536 tps=100 nb_sec=595 Nb_sol=0 Nb_sec=56908 0-15:48:28 or 15 hours missing cases: none