argc=5
-M 128
file2=30_select_Case6.110_starter_15_
checking files mod 128 from 0 to 127
case_no=122 label=Case6.110 nb_sol=0 ticks=78632 tps=100 nb_sec=786
case_no=122 label=Case6.110 nb_sol=0 ticks=27553 tps=100 nb_sec=275
case_no=122 label=Case6.110 nb_sol=0 ticks=24983 tps=100 nb_sec=249
case_no=122 label=Case6.110 nb_sol=0 ticks=14834 tps=100 nb_sec=148
case_no=122 label=Case6.110 nb_sol=0 ticks=17971 tps=100 nb_sec=179
case_no=122 label=Case6.110 nb_sol=0 ticks=55298 tps=100 nb_sec=552
case_no=122 label=Case6.110 nb_sol=0 ticks=36980 tps=100 nb_sec=369
case_no=122 label=Case6.110 nb_sol=0 ticks=16934 tps=100 nb_sec=169
case_no=122 label=Case6.110 nb_sol=0 ticks=58028 tps=100 nb_sec=580
case_no=122 label=Case6.110 nb_sol=0 ticks=37108 tps=100 nb_sec=371
case_no=122 label=Case6.110 nb_sol=0 ticks=132066 tps=100 nb_sec=1320
case_no=122 label=Case6.110 nb_sol=0 ticks=52314 tps=100 nb_sec=523
case_no=122 label=Case6.110 nb_sol=0 ticks=25794 tps=100 nb_sec=257
case_no=122 label=Case6.110 nb_sol=0 ticks=115860 tps=100 nb_sec=1158
case_no=122 label=Case6.110 nb_sol=0 ticks=38496 tps=100 nb_sec=384
case_no=122 label=Case6.110 nb_sol=0 ticks=50445 tps=100 nb_sec=504
case_no=122 label=Case6.110 nb_sol=0 ticks=67879 tps=100 nb_sec=678
case_no=122 label=Case6.110 nb_sol=0 ticks=102523 tps=100 nb_sec=1025
case_no=122 label=Case6.110 nb_sol=0 ticks=78620 tps=100 nb_sec=786
case_no=122 label=Case6.110 nb_sol=0 ticks=96932 tps=100 nb_sec=969
case_no=122 label=Case6.110 nb_sol=0 ticks=53307 tps=100 nb_sec=533
case_no=122 label=Case6.110 nb_sol=0 ticks=77495 tps=100 nb_sec=774
case_no=122 label=Case6.110 nb_sol=0 ticks=90675 tps=100 nb_sec=906
case_no=122 label=Case6.110 nb_sol=0 ticks=62688 tps=100 nb_sec=626
case_no=122 label=Case6.110 nb_sol=0 ticks=69130 tps=100 nb_sec=691
case_no=122 label=Case6.110 nb_sol=0 ticks=42589 tps=100 nb_sec=425
case_no=122 label=Case6.110 nb_sol=0 ticks=43636 tps=100 nb_sec=436
case_no=122 label=Case6.110 nb_sol=0 ticks=57446 tps=100 nb_sec=574
case_no=122 label=Case6.110 nb_sol=0 ticks=61064 tps=100 nb_sec=610
case_no=122 label=Case6.110 nb_sol=0 ticks=61392 tps=100 nb_sec=613
case_no=122 label=Case6.110 nb_sol=0 ticks=57549 tps=100 nb_sec=575
case_no=122 label=Case6.110 nb_sol=0 ticks=93200 tps=100 nb_sec=932
case_no=122 label=Case6.110 nb_sol=0 ticks=36881 tps=100 nb_sec=368
case_no=122 label=Case6.110 nb_sol=0 ticks=57259 tps=100 nb_sec=572
case_no=122 label=Case6.110 nb_sol=0 ticks=20540 tps=100 nb_sec=205
case_no=122 label=Case6.110 nb_sol=0 ticks=43495 tps=100 nb_sec=434
case_no=122 label=Case6.110 nb_sol=0 ticks=66621 tps=100 nb_sec=666
case_no=122 label=Case6.110 nb_sol=0 ticks=56498 tps=100 nb_sec=564
case_no=122 label=Case6.110 nb_sol=0 ticks=61163 tps=100 nb_sec=611
case_no=122 label=Case6.110 nb_sol=0 ticks=78739 tps=100 nb_sec=787
case_no=122 label=Case6.110 nb_sol=0 ticks=58648 tps=100 nb_sec=586
case_no=122 label=Case6.110 nb_sol=0 ticks=117552 tps=100 nb_sec=1175
case_no=122 label=Case6.110 nb_sol=0 ticks=72139 tps=100 nb_sec=721
case_no=122 label=Case6.110 nb_sol=0 ticks=45761 tps=100 nb_sec=457
case_no=122 label=Case6.110 nb_sol=0 ticks=31206 tps=100 nb_sec=312
case_no=122 label=Case6.110 nb_sol=0 ticks=45501 tps=100 nb_sec=455
case_no=122 label=Case6.110 nb_sol=0 ticks=53579 tps=100 nb_sec=535
case_no=122 label=Case6.110 nb_sol=0 ticks=29463 tps=100 nb_sec=294
case_no=122 label=Case6.110 nb_sol=0 ticks=30343 tps=100 nb_sec=303
case_no=122 label=Case6.110 nb_sol=0 ticks=70596 tps=100 nb_sec=705
case_no=122 label=Case6.110 nb_sol=0 ticks=41183 tps=100 nb_sec=411
case_no=122 label=Case6.110 nb_sol=0 ticks=34122 tps=100 nb_sec=341
case_no=122 label=Case6.110 nb_sol=0 ticks=39740 tps=100 nb_sec=397
case_no=122 label=Case6.110 nb_sol=0 ticks=59687 tps=100 nb_sec=596
case_no=122 label=Case6.110 nb_sol=0 ticks=46801 tps=100 nb_sec=468
case_no=122 label=Case6.110 nb_sol=0 ticks=54558 tps=100 nb_sec=545
case_no=122 label=Case6.110 nb_sol=0 ticks=83875 tps=100 nb_sec=838
case_no=122 label=Case6.110 nb_sol=0 ticks=65216 tps=100 nb_sec=652
case_no=122 label=Case6.110 nb_sol=0 ticks=62692 tps=100 nb_sec=626
case_no=122 label=Case6.110 nb_sol=0 ticks=14814 tps=100 nb_sec=148
case_no=122 label=Case6.110 nb_sol=0 ticks=118629 tps=100 nb_sec=1186
case_no=122 label=Case6.110 nb_sol=0 ticks=30768 tps=100 nb_sec=307
case_no=122 label=Case6.110 nb_sol=0 ticks=64086 tps=100 nb_sec=640
case_no=122 label=Case6.110 nb_sol=0 ticks=42375 tps=100 nb_sec=423
case_no=122 label=Case6.110 nb_sol=0 ticks=94031 tps=100 nb_sec=940
case_no=122 label=Case6.110 nb_sol=0 ticks=48435 tps=100 nb_sec=484
case_no=122 label=Case6.110 nb_sol=0 ticks=66955 tps=100 nb_sec=669
case_no=122 label=Case6.110 nb_sol=0 ticks=56716 tps=100 nb_sec=567
case_no=122 label=Case6.110 nb_sol=0 ticks=129859 tps=100 nb_sec=1298
case_no=122 label=Case6.110 nb_sol=0 ticks=72490 tps=100 nb_sec=724
case_no=122 label=Case6.110 nb_sol=0 ticks=75546 tps=100 nb_sec=755
case_no=122 label=Case6.110 nb_sol=0 ticks=59426 tps=100 nb_sec=594
case_no=122 label=Case6.110 nb_sol=0 ticks=146479 tps=100 nb_sec=1464
case_no=122 label=Case6.110 nb_sol=0 ticks=64237 tps=100 nb_sec=642
case_no=122 label=Case6.110 nb_sol=0 ticks=62234 tps=100 nb_sec=622
case_no=122 label=Case6.110 nb_sol=0 ticks=81172 tps=100 nb_sec=811
case_no=122 label=Case6.110 nb_sol=0 ticks=66727 tps=100 nb_sec=667
case_no=122 label=Case6.110 nb_sol=0 ticks=1 tps=100 nb_sec=0
case_no=122 label=Case6.110 nb_sol=0 ticks=1 tps=100 nb_sec=0
case_no=122 label=Case6.110 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=122 label=Case6.110 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=122 label=Case6.110 nb_sol=0 ticks=1 tps=100 nb_sec=0
case_no=122 label=Case6.110 nb_sol=0 ticks=1 tps=100 nb_sec=0
case_no=122 label=Case6.110 nb_sol=0 ticks=1 tps=100 nb_sec=0
case_no=122 label=Case6.110 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=122 label=Case6.110 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=122 label=Case6.110 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=122 label=Case6.110 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=122 label=Case6.110 nb_sol=0 ticks=1 tps=100 nb_sec=0
case_no=122 label=Case6.110 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=122 label=Case6.110 nb_sol=0 ticks=1 tps=100 nb_sec=0
case_no=122 label=Case6.110 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=122 label=Case6.110 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=122 label=Case6.110 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=122 label=Case6.110 nb_sol=0 ticks=1 tps=100 nb_sec=0
case_no=122 label=Case6.110 nb_sol=0 ticks=1 tps=100 nb_sec=0
case_no=122 label=Case6.110 nb_sol=0 ticks=1 tps=100 nb_sec=0
case_no=122 label=Case6.110 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=122 label=Case6.110 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=122 label=Case6.110 nb_sol=0 ticks=1 tps=100 nb_sec=0
case_no=122 label=Case6.110 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=122 label=Case6.110 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=122 label=Case6.110 nb_sol=0 ticks=1 tps=100 nb_sec=0
case_no=122 label=Case6.110 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=122 label=Case6.110 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=122 label=Case6.110 nb_sol=0 ticks=1 tps=100 nb_sec=0
case_no=122 label=Case6.110 nb_sol=0 ticks=1 tps=100 nb_sec=0
case_no=122 label=Case6.110 nb_sol=0 ticks=1 tps=100 nb_sec=0
case_no=122 label=Case6.110 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=122 label=Case6.110 nb_sol=0 ticks=1 tps=100 nb_sec=0
case_no=122 label=Case6.110 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=122 label=Case6.110 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=122 label=Case6.110 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=122 label=Case6.110 nb_sol=0 ticks=1 tps=100 nb_sec=0
case_no=122 label=Case6.110 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=122 label=Case6.110 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=122 label=Case6.110 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=122 label=Case6.110 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=122 label=Case6.110 nb_sol=0 ticks=1 tps=100 nb_sec=0
case_no=122 label=Case6.110 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=122 label=Case6.110 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=122 label=Case6.110 nb_sol=0 ticks=1 tps=100 nb_sec=0
case_no=122 label=Case6.110 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=122 label=Case6.110 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=122 label=Case6.110 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=122 label=Case6.110 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=122 label=Case6.110 nb_sol=0 ticks=0 tps=100 nb_sec=0
case_no=122 label=Case6.110 nb_sol=0 ticks=1 tps=100 nb_sec=0
Nb_sol=0
Nb_sec=46542
0-12:55:42 or 12 hours
missing cases:
none