argc=5
-M 128
file2=30_select_Case6.89_starter_15_
checking files mod 128 from 0 to 127
case_no=101 label=Case6.89 nb_sol=0 ticks=77494 tps=100 nb_sec=774
case_no=101 label=Case6.89 nb_sol=0 ticks=79573 tps=100 nb_sec=795
case_no=101 label=Case6.89 nb_sol=0 ticks=75793 tps=100 nb_sec=757
case_no=101 label=Case6.89 nb_sol=0 ticks=52425 tps=100 nb_sec=524
case_no=101 label=Case6.89 nb_sol=0 ticks=71481 tps=100 nb_sec=714
case_no=101 label=Case6.89 nb_sol=0 ticks=76257 tps=100 nb_sec=762
case_no=101 label=Case6.89 nb_sol=0 ticks=67676 tps=100 nb_sec=676
case_no=101 label=Case6.89 nb_sol=0 ticks=72953 tps=100 nb_sec=729
case_no=101 label=Case6.89 nb_sol=0 ticks=84697 tps=100 nb_sec=846
case_no=101 label=Case6.89 nb_sol=0 ticks=46414 tps=100 nb_sec=464
case_no=101 label=Case6.89 nb_sol=0 ticks=78365 tps=100 nb_sec=783
case_no=101 label=Case6.89 nb_sol=0 ticks=73152 tps=100 nb_sec=731
case_no=101 label=Case6.89 nb_sol=0 ticks=83210 tps=100 nb_sec=832
case_no=101 label=Case6.89 nb_sol=0 ticks=37866 tps=100 nb_sec=378
case_no=101 label=Case6.89 nb_sol=0 ticks=81162 tps=100 nb_sec=811
case_no=101 label=Case6.89 nb_sol=0 ticks=94219 tps=100 nb_sec=942
case_no=101 label=Case6.89 nb_sol=0 ticks=70258 tps=100 nb_sec=702
case_no=101 label=Case6.89 nb_sol=0 ticks=86852 tps=100 nb_sec=868
case_no=101 label=Case6.89 nb_sol=0 ticks=77312 tps=100 nb_sec=773
case_no=101 label=Case6.89 nb_sol=0 ticks=47876 tps=100 nb_sec=478
case_no=101 label=Case6.89 nb_sol=0 ticks=60327 tps=100 nb_sec=603
case_no=101 label=Case6.89 nb_sol=0 ticks=73866 tps=100 nb_sec=738
case_no=101 label=Case6.89 nb_sol=0 ticks=91348 tps=100 nb_sec=913
case_no=101 label=Case6.89 nb_sol=0 ticks=109350 tps=100 nb_sec=1093
case_no=101 label=Case6.89 nb_sol=0 ticks=93166 tps=100 nb_sec=931
case_no=101 label=Case6.89 nb_sol=0 ticks=94829 tps=100 nb_sec=948
case_no=101 label=Case6.89 nb_sol=0 ticks=107173 tps=100 nb_sec=1071
case_no=101 label=Case6.89 nb_sol=0 ticks=98114 tps=100 nb_sec=981
case_no=101 label=Case6.89 nb_sol=0 ticks=82988 tps=100 nb_sec=829
case_no=101 label=Case6.89 nb_sol=0 ticks=85439 tps=100 nb_sec=854
case_no=101 label=Case6.89 nb_sol=0 ticks=90833 tps=100 nb_sec=908
case_no=101 label=Case6.89 nb_sol=0 ticks=76104 tps=100 nb_sec=761
case_no=101 label=Case6.89 nb_sol=0 ticks=50732 tps=100 nb_sec=507
case_no=101 label=Case6.89 nb_sol=0 ticks=98940 tps=100 nb_sec=989
case_no=101 label=Case6.89 nb_sol=0 ticks=123408 tps=100 nb_sec=1234
case_no=101 label=Case6.89 nb_sol=0 ticks=86563 tps=100 nb_sec=865
case_no=101 label=Case6.89 nb_sol=0 ticks=107451 tps=100 nb_sec=1074
case_no=101 label=Case6.89 nb_sol=0 ticks=71211 tps=100 nb_sec=712
case_no=101 label=Case6.89 nb_sol=0 ticks=75456 tps=100 nb_sec=754
case_no=101 label=Case6.89 nb_sol=0 ticks=80627 tps=100 nb_sec=806
case_no=101 label=Case6.89 nb_sol=0 ticks=81846 tps=100 nb_sec=818
case_no=101 label=Case6.89 nb_sol=0 ticks=97684 tps=100 nb_sec=976
case_no=101 label=Case6.89 nb_sol=0 ticks=95631 tps=100 nb_sec=956
case_no=101 label=Case6.89 nb_sol=0 ticks=92263 tps=100 nb_sec=922
case_no=101 label=Case6.89 nb_sol=0 ticks=84296 tps=100 nb_sec=842
case_no=101 label=Case6.89 nb_sol=0 ticks=106761 tps=100 nb_sec=1067
case_no=101 label=Case6.89 nb_sol=0 ticks=82697 tps=100 nb_sec=826
case_no=101 label=Case6.89 nb_sol=0 ticks=93724 tps=100 nb_sec=937
case_no=101 label=Case6.89 nb_sol=0 ticks=84693 tps=100 nb_sec=846
case_no=101 label=Case6.89 nb_sol=0 ticks=78835 tps=100 nb_sec=788
case_no=101 label=Case6.89 nb_sol=0 ticks=79852 tps=100 nb_sec=798
case_no=101 label=Case6.89 nb_sol=0 ticks=73393 tps=100 nb_sec=733
case_no=101 label=Case6.89 nb_sol=0 ticks=37369 tps=100 nb_sec=373
case_no=101 label=Case6.89 nb_sol=0 ticks=60541 tps=100 nb_sec=605
case_no=101 label=Case6.89 nb_sol=0 ticks=71140 tps=100 nb_sec=711
case_no=101 label=Case6.89 nb_sol=0 ticks=98835 tps=100 nb_sec=988
case_no=101 label=Case6.89 nb_sol=0 ticks=80514 tps=100 nb_sec=805
case_no=101 label=Case6.89 nb_sol=0 ticks=82673 tps=100 nb_sec=826
case_no=101 label=Case6.89 nb_sol=0 ticks=87727 tps=100 nb_sec=877
case_no=101 label=Case6.89 nb_sol=0 ticks=81595 tps=100 nb_sec=815
case_no=101 label=Case6.89 nb_sol=0 ticks=100707 tps=100 nb_sec=1007
case_no=101 label=Case6.89 nb_sol=0 ticks=79370 tps=100 nb_sec=793
case_no=101 label=Case6.89 nb_sol=0 ticks=86213 tps=100 nb_sec=862
case_no=101 label=Case6.89 nb_sol=0 ticks=95845 tps=100 nb_sec=958
case_no=101 label=Case6.89 nb_sol=0 ticks=71339 tps=100 nb_sec=713
case_no=101 label=Case6.89 nb_sol=0 ticks=89720 tps=100 nb_sec=897
case_no=101 label=Case6.89 nb_sol=0 ticks=80105 tps=100 nb_sec=801
case_no=101 label=Case6.89 nb_sol=0 ticks=46683 tps=100 nb_sec=466
case_no=101 label=Case6.89 nb_sol=0 ticks=109176 tps=100 nb_sec=1091
case_no=101 label=Case6.89 nb_sol=0 ticks=86877 tps=100 nb_sec=868
case_no=101 label=Case6.89 nb_sol=0 ticks=86395 tps=100 nb_sec=863
case_no=101 label=Case6.89 nb_sol=0 ticks=99274 tps=100 nb_sec=992
case_no=101 label=Case6.89 nb_sol=0 ticks=100496 tps=100 nb_sec=1004
case_no=101 label=Case6.89 nb_sol=0 ticks=62467 tps=100 nb_sec=624
case_no=101 label=Case6.89 nb_sol=0 ticks=87734 tps=100 nb_sec=877
case_no=101 label=Case6.89 nb_sol=0 ticks=48715 tps=100 nb_sec=487
case_no=101 label=Case6.89 nb_sol=0 ticks=93876 tps=100 nb_sec=938
case_no=101 label=Case6.89 nb_sol=0 ticks=64179 tps=100 nb_sec=641
case_no=101 label=Case6.89 nb_sol=0 ticks=119797 tps=100 nb_sec=1197
case_no=101 label=Case6.89 nb_sol=0 ticks=114389 tps=100 nb_sec=1143
case_no=101 label=Case6.89 nb_sol=0 ticks=55416 tps=100 nb_sec=554
case_no=101 label=Case6.89 nb_sol=0 ticks=81105 tps=100 nb_sec=811
case_no=101 label=Case6.89 nb_sol=0 ticks=63467 tps=100 nb_sec=634
case_no=101 label=Case6.89 nb_sol=0 ticks=65526 tps=100 nb_sec=655
case_no=101 label=Case6.89 nb_sol=0 ticks=38108 tps=100 nb_sec=381
case_no=101 label=Case6.89 nb_sol=0 ticks=78545 tps=100 nb_sec=785
case_no=101 label=Case6.89 nb_sol=0 ticks=88737 tps=100 nb_sec=887
case_no=101 label=Case6.89 nb_sol=0 ticks=78427 tps=100 nb_sec=784
case_no=101 label=Case6.89 nb_sol=0 ticks=71933 tps=100 nb_sec=719
case_no=101 label=Case6.89 nb_sol=0 ticks=64315 tps=100 nb_sec=643
case_no=101 label=Case6.89 nb_sol=0 ticks=74772 tps=100 nb_sec=747
case_no=101 label=Case6.89 nb_sol=0 ticks=47087 tps=100 nb_sec=470
case_no=101 label=Case6.89 nb_sol=0 ticks=62591 tps=100 nb_sec=625
case_no=101 label=Case6.89 nb_sol=0 ticks=51140 tps=100 nb_sec=511
case_no=101 label=Case6.89 nb_sol=0 ticks=58532 tps=100 nb_sec=585
case_no=101 label=Case6.89 nb_sol=0 ticks=84739 tps=100 nb_sec=847
case_no=101 label=Case6.89 nb_sol=0 ticks=79812 tps=100 nb_sec=798
case_no=101 label=Case6.89 nb_sol=0 ticks=64115 tps=100 nb_sec=641
case_no=101 label=Case6.89 nb_sol=0 ticks=72057 tps=100 nb_sec=720
case_no=101 label=Case6.89 nb_sol=0 ticks=65189 tps=100 nb_sec=651
case_no=101 label=Case6.89 nb_sol=0 ticks=50524 tps=100 nb_sec=505
case_no=101 label=Case6.89 nb_sol=0 ticks=88733 tps=100 nb_sec=887
case_no=101 label=Case6.89 nb_sol=0 ticks=48988 tps=100 nb_sec=489
case_no=101 label=Case6.89 nb_sol=0 ticks=90964 tps=100 nb_sec=909
case_no=101 label=Case6.89 nb_sol=0 ticks=66475 tps=100 nb_sec=664
case_no=101 label=Case6.89 nb_sol=0 ticks=46350 tps=100 nb_sec=463
case_no=101 label=Case6.89 nb_sol=0 ticks=109842 tps=100 nb_sec=1098
case_no=101 label=Case6.89 nb_sol=0 ticks=63232 tps=100 nb_sec=632
case_no=101 label=Case6.89 nb_sol=0 ticks=34038 tps=100 nb_sec=340
case_no=101 label=Case6.89 nb_sol=0 ticks=74311 tps=100 nb_sec=743
case_no=101 label=Case6.89 nb_sol=0 ticks=51651 tps=100 nb_sec=516
case_no=101 label=Case6.89 nb_sol=0 ticks=75499 tps=100 nb_sec=754
case_no=101 label=Case6.89 nb_sol=0 ticks=63050 tps=100 nb_sec=630
case_no=101 label=Case6.89 nb_sol=0 ticks=88995 tps=100 nb_sec=889
case_no=101 label=Case6.89 nb_sol=0 ticks=76993 tps=100 nb_sec=769
case_no=101 label=Case6.89 nb_sol=0 ticks=85629 tps=100 nb_sec=856
case_no=101 label=Case6.89 nb_sol=0 ticks=85362 tps=100 nb_sec=853
case_no=101 label=Case6.89 nb_sol=0 ticks=47604 tps=100 nb_sec=476
case_no=101 label=Case6.89 nb_sol=0 ticks=80158 tps=100 nb_sec=801
case_no=101 label=Case6.89 nb_sol=0 ticks=64020 tps=100 nb_sec=640
case_no=101 label=Case6.89 nb_sol=0 ticks=81881 tps=100 nb_sec=818
case_no=101 label=Case6.89 nb_sol=0 ticks=91637 tps=100 nb_sec=916
case_no=101 label=Case6.89 nb_sol=0 ticks=70318 tps=100 nb_sec=703
case_no=101 label=Case6.89 nb_sol=0 ticks=69725 tps=100 nb_sec=697
case_no=101 label=Case6.89 nb_sol=0 ticks=68468 tps=100 nb_sec=684
case_no=101 label=Case6.89 nb_sol=0 ticks=69497 tps=100 nb_sec=694
case_no=101 label=Case6.89 nb_sol=0 ticks=70607 tps=100 nb_sec=706
case_no=101 label=Case6.89 nb_sol=0 ticks=72183 tps=100 nb_sec=721
Nb_sol=0
Nb_sec=98942
1-3:29:2 or 27 hours
missing cases:
none