argc=5
-M 128
file2=30_select_Case6.94_starter_15_
checking files mod 128 from 0 to 127
case_no=106 label=Case6.94 nb_sol=0 ticks=517089 tps=100 nb_sec=5170
case_no=106 label=Case6.94 nb_sol=0 ticks=537974 tps=100 nb_sec=5379
case_no=106 label=Case6.94 nb_sol=0 ticks=461282 tps=100 nb_sec=4612
case_no=106 label=Case6.94 nb_sol=0 ticks=482145 tps=100 nb_sec=4821
case_no=106 label=Case6.94 nb_sol=0 ticks=606302 tps=100 nb_sec=6063
case_no=106 label=Case6.94 nb_sol=0 ticks=625235 tps=100 nb_sec=6252
case_no=106 label=Case6.94 nb_sol=0 ticks=521066 tps=100 nb_sec=5210
case_no=106 label=Case6.94 nb_sol=0 ticks=555127 tps=100 nb_sec=5551
case_no=106 label=Case6.94 nb_sol=0 ticks=814782 tps=100 nb_sec=8147
case_no=106 label=Case6.94 nb_sol=0 ticks=473835 tps=100 nb_sec=4738
case_no=106 label=Case6.94 nb_sol=0 ticks=640573 tps=100 nb_sec=6405
case_no=106 label=Case6.94 nb_sol=0 ticks=513004 tps=100 nb_sec=5130
case_no=106 label=Case6.94 nb_sol=0 ticks=441305 tps=100 nb_sec=4413
case_no=106 label=Case6.94 nb_sol=0 ticks=574833 tps=100 nb_sec=5748
case_no=106 label=Case6.94 nb_sol=0 ticks=487960 tps=100 nb_sec=4879
case_no=106 label=Case6.94 nb_sol=0 ticks=574249 tps=100 nb_sec=5742
case_no=106 label=Case6.94 nb_sol=0 ticks=509644 tps=100 nb_sec=5096
case_no=106 label=Case6.94 nb_sol=0 ticks=831206 tps=100 nb_sec=8312
case_no=106 label=Case6.94 nb_sol=0 ticks=615734 tps=100 nb_sec=6157
case_no=106 label=Case6.94 nb_sol=0 ticks=568873 tps=100 nb_sec=5688
case_no=106 label=Case6.94 nb_sol=0 ticks=598005 tps=100 nb_sec=5980
case_no=106 label=Case6.94 nb_sol=0 ticks=588069 tps=100 nb_sec=5880
case_no=106 label=Case6.94 nb_sol=0 ticks=632050 tps=100 nb_sec=6320
case_no=106 label=Case6.94 nb_sol=0 ticks=623067 tps=100 nb_sec=6230
case_no=106 label=Case6.94 nb_sol=0 ticks=850165 tps=100 nb_sec=8501
case_no=106 label=Case6.94 nb_sol=0 ticks=592864 tps=100 nb_sec=5928
case_no=106 label=Case6.94 nb_sol=0 ticks=683867 tps=100 nb_sec=6838
case_no=106 label=Case6.94 nb_sol=0 ticks=638487 tps=100 nb_sec=6384
case_no=106 label=Case6.94 nb_sol=0 ticks=584751 tps=100 nb_sec=5847
case_no=106 label=Case6.94 nb_sol=0 ticks=697601 tps=100 nb_sec=6976
case_no=106 label=Case6.94 nb_sol=0 ticks=513475 tps=100 nb_sec=5134
case_no=106 label=Case6.94 nb_sol=0 ticks=599809 tps=100 nb_sec=5998
case_no=106 label=Case6.94 nb_sol=0 ticks=605680 tps=100 nb_sec=6056
case_no=106 label=Case6.94 nb_sol=0 ticks=563013 tps=100 nb_sec=5630
case_no=106 label=Case6.94 nb_sol=0 ticks=584635 tps=100 nb_sec=5846
case_no=106 label=Case6.94 nb_sol=0 ticks=766151 tps=100 nb_sec=7661
case_no=106 label=Case6.94 nb_sol=0 ticks=841473 tps=100 nb_sec=8414
case_no=106 label=Case6.94 nb_sol=0 ticks=534514 tps=100 nb_sec=5345
case_no=106 label=Case6.94 nb_sol=0 ticks=540831 tps=100 nb_sec=5408
case_no=106 label=Case6.94 nb_sol=0 ticks=513827 tps=100 nb_sec=5138
case_no=106 label=Case6.94 nb_sol=0 ticks=624925 tps=100 nb_sec=6249
case_no=106 label=Case6.94 nb_sol=0 ticks=843065 tps=100 nb_sec=8430
case_no=106 label=Case6.94 nb_sol=0 ticks=547661 tps=100 nb_sec=5476
case_no=106 label=Case6.94 nb_sol=0 ticks=313013 tps=100 nb_sec=3130
case_no=106 label=Case6.94 nb_sol=0 ticks=364449 tps=100 nb_sec=3644
case_no=106 label=Case6.94 nb_sol=0 ticks=551588 tps=100 nb_sec=5515
case_no=106 label=Case6.94 nb_sol=0 ticks=431910 tps=100 nb_sec=4319
case_no=106 label=Case6.94 nb_sol=0 ticks=653566 tps=100 nb_sec=6535
case_no=106 label=Case6.94 nb_sol=0 ticks=720207 tps=100 nb_sec=7202
case_no=106 label=Case6.94 nb_sol=0 ticks=628818 tps=100 nb_sec=6288
case_no=106 label=Case6.94 nb_sol=0 ticks=434416 tps=100 nb_sec=4344
case_no=106 label=Case6.94 nb_sol=0 ticks=459790 tps=100 nb_sec=4597
case_no=106 label=Case6.94 nb_sol=0 ticks=475284 tps=100 nb_sec=4752
case_no=106 label=Case6.94 nb_sol=0 ticks=511590 tps=100 nb_sec=5115
case_no=106 label=Case6.94 nb_sol=0 ticks=393692 tps=100 nb_sec=3936
case_no=106 label=Case6.94 nb_sol=0 ticks=759637 tps=100 nb_sec=7596
case_no=106 label=Case6.94 nb_sol=0 ticks=792291 tps=100 nb_sec=7922
case_no=106 label=Case6.94 nb_sol=0 ticks=736563 tps=100 nb_sec=7365
case_no=106 label=Case6.94 nb_sol=0 ticks=502162 tps=100 nb_sec=5021
case_no=106 label=Case6.94 nb_sol=0 ticks=501435 tps=100 nb_sec=5014
case_no=106 label=Case6.94 nb_sol=0 ticks=700052 tps=100 nb_sec=7000
case_no=106 label=Case6.94 nb_sol=0 ticks=535088 tps=100 nb_sec=5350
case_no=106 label=Case6.94 nb_sol=0 ticks=877858 tps=100 nb_sec=8778
case_no=106 label=Case6.94 nb_sol=0 ticks=571403 tps=100 nb_sec=5714
case_no=106 label=Case6.94 nb_sol=0 ticks=490213 tps=100 nb_sec=4902
case_no=106 label=Case6.94 nb_sol=0 ticks=806709 tps=100 nb_sec=8067
case_no=106 label=Case6.94 nb_sol=0 ticks=493381 tps=100 nb_sec=4933
case_no=106 label=Case6.94 nb_sol=0 ticks=612550 tps=100 nb_sec=6125
case_no=106 label=Case6.94 nb_sol=0 ticks=522964 tps=100 nb_sec=5229
case_no=106 label=Case6.94 nb_sol=0 ticks=611171 tps=100 nb_sec=6111
case_no=106 label=Case6.94 nb_sol=0 ticks=777083 tps=100 nb_sec=7770
case_no=106 label=Case6.94 nb_sol=0 ticks=596729 tps=100 nb_sec=5967
case_no=106 label=Case6.94 nb_sol=0 ticks=514723 tps=100 nb_sec=5147
case_no=106 label=Case6.94 nb_sol=0 ticks=508427 tps=100 nb_sec=5084
case_no=106 label=Case6.94 nb_sol=0 ticks=612125 tps=100 nb_sec=6121
case_no=106 label=Case6.94 nb_sol=0 ticks=490207 tps=100 nb_sec=4902
case_no=106 label=Case6.94 nb_sol=0 ticks=632222 tps=100 nb_sec=6322
case_no=106 label=Case6.94 nb_sol=0 ticks=273221 tps=100 nb_sec=2732
case_no=106 label=Case6.94 nb_sol=0 ticks=668746 tps=100 nb_sec=6687
case_no=106 label=Case6.94 nb_sol=0 ticks=333997 tps=100 nb_sec=3339
case_no=106 label=Case6.94 nb_sol=0 ticks=914072 tps=100 nb_sec=9140
case_no=106 label=Case6.94 nb_sol=0 ticks=591407 tps=100 nb_sec=5914
case_no=106 label=Case6.94 nb_sol=0 ticks=419813 tps=100 nb_sec=4198
case_no=106 label=Case6.94 nb_sol=0 ticks=490102 tps=100 nb_sec=4901
case_no=106 label=Case6.94 nb_sol=0 ticks=373032 tps=100 nb_sec=3730
case_no=106 label=Case6.94 nb_sol=0 ticks=728973 tps=100 nb_sec=7289
case_no=106 label=Case6.94 nb_sol=0 ticks=493091 tps=100 nb_sec=4930
case_no=106 label=Case6.94 nb_sol=0 ticks=669401 tps=100 nb_sec=6694
case_no=106 label=Case6.94 nb_sol=0 ticks=536689 tps=100 nb_sec=5366
case_no=106 label=Case6.94 nb_sol=0 ticks=389181 tps=100 nb_sec=3891
case_no=106 label=Case6.94 nb_sol=0 ticks=438295 tps=100 nb_sec=4382
case_no=106 label=Case6.94 nb_sol=0 ticks=425572 tps=100 nb_sec=4255
case_no=106 label=Case6.94 nb_sol=0 ticks=529470 tps=100 nb_sec=5294
case_no=106 label=Case6.94 nb_sol=0 ticks=281626 tps=100 nb_sec=2816
case_no=106 label=Case6.94 nb_sol=0 ticks=606642 tps=100 nb_sec=6066
case_no=106 label=Case6.94 nb_sol=0 ticks=475662 tps=100 nb_sec=4756
case_no=106 label=Case6.94 nb_sol=0 ticks=469730 tps=100 nb_sec=4697
case_no=106 label=Case6.94 nb_sol=0 ticks=654365 tps=100 nb_sec=6543
case_no=106 label=Case6.94 nb_sol=0 ticks=673090 tps=100 nb_sec=6730
case_no=106 label=Case6.94 nb_sol=0 ticks=639878 tps=100 nb_sec=6398
case_no=106 label=Case6.94 nb_sol=0 ticks=626743 tps=100 nb_sec=6267
case_no=106 label=Case6.94 nb_sol=0 ticks=272348 tps=100 nb_sec=2723
case_no=106 label=Case6.94 nb_sol=0 ticks=213207 tps=100 nb_sec=2132
case_no=106 label=Case6.94 nb_sol=0 ticks=306644 tps=100 nb_sec=3066
case_no=106 label=Case6.94 nb_sol=0 ticks=232753 tps=100 nb_sec=2327
case_no=106 label=Case6.94 nb_sol=0 ticks=482068 tps=100 nb_sec=4820
case_no=106 label=Case6.94 nb_sol=0 ticks=467557 tps=100 nb_sec=4675
case_no=106 label=Case6.94 nb_sol=0 ticks=374613 tps=100 nb_sec=3746
case_no=106 label=Case6.94 nb_sol=0 ticks=315402 tps=100 nb_sec=3154
case_no=106 label=Case6.94 nb_sol=0 ticks=428995 tps=100 nb_sec=4289
case_no=106 label=Case6.94 nb_sol=0 ticks=488244 tps=100 nb_sec=4882
case_no=106 label=Case6.94 nb_sol=0 ticks=201779 tps=100 nb_sec=2017
case_no=106 label=Case6.94 nb_sol=0 ticks=203598 tps=100 nb_sec=2035
case_no=106 label=Case6.94 nb_sol=0 ticks=531697 tps=100 nb_sec=5316
case_no=106 label=Case6.94 nb_sol=0 ticks=537429 tps=100 nb_sec=5374
case_no=106 label=Case6.94 nb_sol=0 ticks=654359 tps=100 nb_sec=6543
case_no=106 label=Case6.94 nb_sol=0 ticks=802134 tps=100 nb_sec=8021
case_no=106 label=Case6.94 nb_sol=0 ticks=465839 tps=100 nb_sec=4658
case_no=106 label=Case6.94 nb_sol=0 ticks=426030 tps=100 nb_sec=4260
case_no=106 label=Case6.94 nb_sol=0 ticks=395282 tps=100 nb_sec=3952
case_no=106 label=Case6.94 nb_sol=0 ticks=497223 tps=100 nb_sec=4972
case_no=106 label=Case6.94 nb_sol=0 ticks=241167 tps=100 nb_sec=2411
case_no=106 label=Case6.94 nb_sol=0 ticks=414012 tps=100 nb_sec=4140
case_no=106 label=Case6.94 nb_sol=0 ticks=487478 tps=100 nb_sec=4874
case_no=106 label=Case6.94 nb_sol=0 ticks=332904 tps=100 nb_sec=3329
case_no=106 label=Case6.94 nb_sol=0 ticks=366918 tps=100 nb_sec=3669
case_no=106 label=Case6.94 nb_sol=0 ticks=514371 tps=100 nb_sec=5143
case_no=106 label=Case6.94 nb_sol=0 ticks=620584 tps=100 nb_sec=6205
Nb_sol=0
Nb_sec=694747
8-0:59:7 or 192 hours
missing cases:
none