argc=5
-M 128
file2=30_select_Case6.88_starter_15_
checking files mod 128 from 0 to 127
case_no=100 label=Case6.88 nb_sol=0 ticks=203768 tps=100 nb_sec=2037
case_no=100 label=Case6.88 nb_sol=0 ticks=90190 tps=100 nb_sec=901
case_no=100 label=Case6.88 nb_sol=0 ticks=175966 tps=100 nb_sec=1759
case_no=100 label=Case6.88 nb_sol=0 ticks=188437 tps=100 nb_sec=1884
case_no=100 label=Case6.88 nb_sol=0 ticks=85548 tps=100 nb_sec=855
case_no=100 label=Case6.88 nb_sol=0 ticks=159256 tps=100 nb_sec=1592
case_no=100 label=Case6.88 nb_sol=0 ticks=54860 tps=100 nb_sec=548
case_no=100 label=Case6.88 nb_sol=0 ticks=97764 tps=100 nb_sec=977
case_no=100 label=Case6.88 nb_sol=0 ticks=177040 tps=100 nb_sec=1770
case_no=100 label=Case6.88 nb_sol=0 ticks=88632 tps=100 nb_sec=886
case_no=100 label=Case6.88 nb_sol=0 ticks=73718 tps=100 nb_sec=737
case_no=100 label=Case6.88 nb_sol=0 ticks=111770 tps=100 nb_sec=1117
case_no=100 label=Case6.88 nb_sol=0 ticks=135830 tps=100 nb_sec=1358
case_no=100 label=Case6.88 nb_sol=0 ticks=68418 tps=100 nb_sec=684
case_no=100 label=Case6.88 nb_sol=0 ticks=94573 tps=100 nb_sec=945
case_no=100 label=Case6.88 nb_sol=0 ticks=116003 tps=100 nb_sec=1160
case_no=100 label=Case6.88 nb_sol=0 ticks=93504 tps=100 nb_sec=935
case_no=100 label=Case6.88 nb_sol=0 ticks=63806 tps=100 nb_sec=638
case_no=100 label=Case6.88 nb_sol=0 ticks=104997 tps=100 nb_sec=1049
case_no=100 label=Case6.88 nb_sol=0 ticks=206391 tps=100 nb_sec=2063
case_no=100 label=Case6.88 nb_sol=0 ticks=102832 tps=100 nb_sec=1028
case_no=100 label=Case6.88 nb_sol=0 ticks=176262 tps=100 nb_sec=1762
case_no=100 label=Case6.88 nb_sol=0 ticks=80084 tps=100 nb_sec=800
case_no=100 label=Case6.88 nb_sol=0 ticks=137394 tps=100 nb_sec=1373
case_no=100 label=Case6.88 nb_sol=0 ticks=177414 tps=100 nb_sec=1774
case_no=100 label=Case6.88 nb_sol=0 ticks=130297 tps=100 nb_sec=1302
case_no=100 label=Case6.88 nb_sol=0 ticks=136558 tps=100 nb_sec=1365
case_no=100 label=Case6.88 nb_sol=0 ticks=136634 tps=100 nb_sec=1366
case_no=100 label=Case6.88 nb_sol=0 ticks=116053 tps=100 nb_sec=1160
case_no=100 label=Case6.88 nb_sol=0 ticks=109418 tps=100 nb_sec=1094
case_no=100 label=Case6.88 nb_sol=0 ticks=121191 tps=100 nb_sec=1211
case_no=100 label=Case6.88 nb_sol=0 ticks=51006 tps=100 nb_sec=510
case_no=100 label=Case6.88 nb_sol=0 ticks=94184 tps=100 nb_sec=941
case_no=100 label=Case6.88 nb_sol=0 ticks=110996 tps=100 nb_sec=1109
case_no=100 label=Case6.88 nb_sol=0 ticks=122874 tps=100 nb_sec=1228
case_no=100 label=Case6.88 nb_sol=0 ticks=79636 tps=100 nb_sec=796
case_no=100 label=Case6.88 nb_sol=0 ticks=90820 tps=100 nb_sec=908
case_no=100 label=Case6.88 nb_sol=0 ticks=41243 tps=100 nb_sec=412
case_no=100 label=Case6.88 nb_sol=0 ticks=114759 tps=100 nb_sec=1147
case_no=100 label=Case6.88 nb_sol=0 ticks=114187 tps=100 nb_sec=1141
case_no=100 label=Case6.88 nb_sol=0 ticks=96240 tps=100 nb_sec=962
case_no=100 label=Case6.88 nb_sol=0 ticks=99590 tps=100 nb_sec=995
case_no=100 label=Case6.88 nb_sol=0 ticks=104787 tps=100 nb_sec=1047
case_no=100 label=Case6.88 nb_sol=0 ticks=99030 tps=100 nb_sec=990
case_no=100 label=Case6.88 nb_sol=0 ticks=57142 tps=100 nb_sec=571
case_no=100 label=Case6.88 nb_sol=0 ticks=113002 tps=100 nb_sec=1130
case_no=100 label=Case6.88 nb_sol=0 ticks=112391 tps=100 nb_sec=1123
case_no=100 label=Case6.88 nb_sol=0 ticks=73027 tps=100 nb_sec=730
case_no=100 label=Case6.88 nb_sol=0 ticks=122606 tps=100 nb_sec=1226
case_no=100 label=Case6.88 nb_sol=0 ticks=76163 tps=100 nb_sec=761
case_no=100 label=Case6.88 nb_sol=0 ticks=96089 tps=100 nb_sec=960
case_no=100 label=Case6.88 nb_sol=0 ticks=110149 tps=100 nb_sec=1101
case_no=100 label=Case6.88 nb_sol=0 ticks=83258 tps=100 nb_sec=832
case_no=100 label=Case6.88 nb_sol=0 ticks=80071 tps=100 nb_sec=800
case_no=100 label=Case6.88 nb_sol=0 ticks=33961 tps=100 nb_sec=339
case_no=100 label=Case6.88 nb_sol=0 ticks=104384 tps=100 nb_sec=1043
case_no=100 label=Case6.88 nb_sol=0 ticks=97734 tps=100 nb_sec=977
case_no=100 label=Case6.88 nb_sol=0 ticks=53969 tps=100 nb_sec=539
case_no=100 label=Case6.88 nb_sol=0 ticks=68772 tps=100 nb_sec=687
case_no=100 label=Case6.88 nb_sol=0 ticks=83581 tps=100 nb_sec=835
case_no=100 label=Case6.88 nb_sol=0 ticks=69783 tps=100 nb_sec=697
case_no=100 label=Case6.88 nb_sol=0 ticks=32626 tps=100 nb_sec=326
case_no=100 label=Case6.88 nb_sol=0 ticks=78944 tps=100 nb_sec=789
case_no=100 label=Case6.88 nb_sol=0 ticks=42289 tps=100 nb_sec=422
case_no=100 label=Case6.88 nb_sol=0 ticks=37258 tps=100 nb_sec=372
case_no=100 label=Case6.88 nb_sol=0 ticks=79448 tps=100 nb_sec=794
case_no=100 label=Case6.88 nb_sol=0 ticks=121464 tps=100 nb_sec=1214
case_no=100 label=Case6.88 nb_sol=0 ticks=88290 tps=100 nb_sec=882
case_no=100 label=Case6.88 nb_sol=0 ticks=86522 tps=100 nb_sec=865
case_no=100 label=Case6.88 nb_sol=0 ticks=94893 tps=100 nb_sec=948
case_no=100 label=Case6.88 nb_sol=0 ticks=48932 tps=100 nb_sec=489
case_no=100 label=Case6.88 nb_sol=0 ticks=115081 tps=100 nb_sec=1150
case_no=100 label=Case6.88 nb_sol=0 ticks=82182 tps=100 nb_sec=821
case_no=100 label=Case6.88 nb_sol=0 ticks=64695 tps=100 nb_sec=646
case_no=100 label=Case6.88 nb_sol=0 ticks=53050 tps=100 nb_sec=530
case_no=100 label=Case6.88 nb_sol=0 ticks=34479 tps=100 nb_sec=344
case_no=100 label=Case6.88 nb_sol=0 ticks=60873 tps=100 nb_sec=608
case_no=100 label=Case6.88 nb_sol=0 ticks=39144 tps=100 nb_sec=391
case_no=100 label=Case6.88 nb_sol=0 ticks=124649 tps=100 nb_sec=1246
case_no=100 label=Case6.88 nb_sol=0 ticks=73348 tps=100 nb_sec=733
case_no=100 label=Case6.88 nb_sol=0 ticks=48651 tps=100 nb_sec=486
case_no=100 label=Case6.88 nb_sol=0 ticks=60551 tps=100 nb_sec=605
case_no=100 label=Case6.88 nb_sol=0 ticks=53051 tps=100 nb_sec=530
case_no=100 label=Case6.88 nb_sol=0 ticks=110671 tps=100 nb_sec=1106
case_no=100 label=Case6.88 nb_sol=0 ticks=66179 tps=100 nb_sec=661
case_no=100 label=Case6.88 nb_sol=0 ticks=76454 tps=100 nb_sec=764
case_no=100 label=Case6.88 nb_sol=0 ticks=105299 tps=100 nb_sec=1052
case_no=100 label=Case6.88 nb_sol=0 ticks=73832 tps=100 nb_sec=738
case_no=100 label=Case6.88 nb_sol=0 ticks=105426 tps=100 nb_sec=1054
case_no=100 label=Case6.88 nb_sol=0 ticks=62681 tps=100 nb_sec=626
case_no=100 label=Case6.88 nb_sol=0 ticks=37063 tps=100 nb_sec=370
case_no=100 label=Case6.88 nb_sol=0 ticks=51132 tps=100 nb_sec=511
case_no=100 label=Case6.88 nb_sol=0 ticks=29391 tps=100 nb_sec=293
case_no=100 label=Case6.88 nb_sol=0 ticks=58295 tps=100 nb_sec=582
case_no=100 label=Case6.88 nb_sol=0 ticks=35804 tps=100 nb_sec=358
case_no=100 label=Case6.88 nb_sol=0 ticks=63498 tps=100 nb_sec=634
case_no=100 label=Case6.88 nb_sol=0 ticks=115176 tps=100 nb_sec=1151
case_no=100 label=Case6.88 nb_sol=0 ticks=48411 tps=100 nb_sec=484
case_no=100 label=Case6.88 nb_sol=0 ticks=85254 tps=100 nb_sec=852
case_no=100 label=Case6.88 nb_sol=0 ticks=119688 tps=100 nb_sec=1196
case_no=100 label=Case6.88 nb_sol=0 ticks=53118 tps=100 nb_sec=531
case_no=100 label=Case6.88 nb_sol=0 ticks=105666 tps=100 nb_sec=1056
case_no=100 label=Case6.88 nb_sol=0 ticks=120475 tps=100 nb_sec=1204
case_no=100 label=Case6.88 nb_sol=0 ticks=77654 tps=100 nb_sec=776
case_no=100 label=Case6.88 nb_sol=0 ticks=105810 tps=100 nb_sec=1058
case_no=100 label=Case6.88 nb_sol=0 ticks=81549 tps=100 nb_sec=815
case_no=100 label=Case6.88 nb_sol=0 ticks=73946 tps=100 nb_sec=739
case_no=100 label=Case6.88 nb_sol=0 ticks=59191 tps=100 nb_sec=591
case_no=100 label=Case6.88 nb_sol=0 ticks=69181 tps=100 nb_sec=691
case_no=100 label=Case6.88 nb_sol=0 ticks=80410 tps=100 nb_sec=804
case_no=100 label=Case6.88 nb_sol=0 ticks=63113 tps=100 nb_sec=631
case_no=100 label=Case6.88 nb_sol=0 ticks=55069 tps=100 nb_sec=550
case_no=100 label=Case6.88 nb_sol=0 ticks=60966 tps=100 nb_sec=609
case_no=100 label=Case6.88 nb_sol=0 ticks=61559 tps=100 nb_sec=615
case_no=100 label=Case6.88 nb_sol=0 ticks=92426 tps=100 nb_sec=924
case_no=100 label=Case6.88 nb_sol=0 ticks=83916 tps=100 nb_sec=839
case_no=100 label=Case6.88 nb_sol=0 ticks=40596 tps=100 nb_sec=405
case_no=100 label=Case6.88 nb_sol=0 ticks=48286 tps=100 nb_sec=482
case_no=100 label=Case6.88 nb_sol=0 ticks=81747 tps=100 nb_sec=817
case_no=100 label=Case6.88 nb_sol=0 ticks=102990 tps=100 nb_sec=1029
case_no=100 label=Case6.88 nb_sol=0 ticks=69010 tps=100 nb_sec=690
case_no=100 label=Case6.88 nb_sol=0 ticks=37394 tps=100 nb_sec=373
case_no=100 label=Case6.88 nb_sol=0 ticks=67204 tps=100 nb_sec=672
case_no=100 label=Case6.88 nb_sol=0 ticks=19546 tps=100 nb_sec=195
case_no=100 label=Case6.88 nb_sol=0 ticks=96707 tps=100 nb_sec=967
case_no=100 label=Case6.88 nb_sol=0 ticks=122174 tps=100 nb_sec=1221
case_no=100 label=Case6.88 nb_sol=0 ticks=62692 tps=100 nb_sec=626
case_no=100 label=Case6.88 nb_sol=0 ticks=78103 tps=100 nb_sec=781
Nb_sol=0
Nb_sec=112981
1-7:23:1 or 31 hours
missing cases:
none