argc=5
-M 512
file2=30_select_Case6.127_starter_15_
checking files mod 512 from 0 to 511
case_no=139 label=Case6.127 nb_sol=0 ticks=574276 tps=100 nb_sec=5742
case_no=139 label=Case6.127 nb_sol=0 ticks=630784 tps=100 nb_sec=6307
case_no=139 label=Case6.127 nb_sol=0 ticks=350300 tps=100 nb_sec=3503
case_no=139 label=Case6.127 nb_sol=0 ticks=417322 tps=100 nb_sec=4173
case_no=139 label=Case6.127 nb_sol=0 ticks=1125063 tps=100 nb_sec=11250
case_no=139 label=Case6.127 nb_sol=0 ticks=550674 tps=100 nb_sec=5506
case_no=139 label=Case6.127 nb_sol=0 ticks=311251 tps=100 nb_sec=3112
case_no=139 label=Case6.127 nb_sol=0 ticks=715792 tps=100 nb_sec=7157
case_no=139 label=Case6.127 nb_sol=0 ticks=755633 tps=100 nb_sec=7556
case_no=139 label=Case6.127 nb_sol=0 ticks=639387 tps=100 nb_sec=6393
case_no=139 label=Case6.127 nb_sol=0 ticks=554114 tps=100 nb_sec=5541
case_no=139 label=Case6.127 nb_sol=0 ticks=435856 tps=100 nb_sec=4358
case_no=139 label=Case6.127 nb_sol=0 ticks=658265 tps=100 nb_sec=6582
case_no=139 label=Case6.127 nb_sol=0 ticks=403400 tps=100 nb_sec=4034
case_no=139 label=Case6.127 nb_sol=0 ticks=743547 tps=100 nb_sec=7435
case_no=139 label=Case6.127 nb_sol=0 ticks=604848 tps=100 nb_sec=6048
case_no=139 label=Case6.127 nb_sol=0 ticks=967995 tps=100 nb_sec=9679
case_no=139 label=Case6.127 nb_sol=0 ticks=369932 tps=100 nb_sec=3699
case_no=139 label=Case6.127 nb_sol=0 ticks=642034 tps=100 nb_sec=6420
case_no=139 label=Case6.127 nb_sol=0 ticks=412723 tps=100 nb_sec=4127
case_no=139 label=Case6.127 nb_sol=0 ticks=631843 tps=100 nb_sec=6318
case_no=139 label=Case6.127 nb_sol=0 ticks=688693 tps=100 nb_sec=6886
case_no=139 label=Case6.127 nb_sol=0 ticks=734297 tps=100 nb_sec=7342
case_no=139 label=Case6.127 nb_sol=0 ticks=822322 tps=100 nb_sec=8223
case_no=139 label=Case6.127 nb_sol=0 ticks=281910 tps=100 nb_sec=2819
case_no=139 label=Case6.127 nb_sol=0 ticks=842946 tps=100 nb_sec=8429
case_no=139 label=Case6.127 nb_sol=0 ticks=465887 tps=100 nb_sec=4658
case_no=139 label=Case6.127 nb_sol=0 ticks=737574 tps=100 nb_sec=7375
case_no=139 label=Case6.127 nb_sol=0 ticks=956871 tps=100 nb_sec=9568
case_no=139 label=Case6.127 nb_sol=0 ticks=1073883 tps=100 nb_sec=10738
case_no=139 label=Case6.127 nb_sol=0 ticks=651046 tps=100 nb_sec=6510
case_no=139 label=Case6.127 nb_sol=0 ticks=1028852 tps=100 nb_sec=10288
case_no=139 label=Case6.127 nb_sol=0 ticks=1030426 tps=100 nb_sec=10304
case_no=139 label=Case6.127 nb_sol=0 ticks=359981 tps=100 nb_sec=3599
case_no=139 label=Case6.127 nb_sol=0 ticks=729000 tps=100 nb_sec=7290
case_no=139 label=Case6.127 nb_sol=0 ticks=646275 tps=100 nb_sec=6462
case_no=139 label=Case6.127 nb_sol=0 ticks=409585 tps=100 nb_sec=4095
case_no=139 label=Case6.127 nb_sol=0 ticks=773350 tps=100 nb_sec=7733
case_no=139 label=Case6.127 nb_sol=0 ticks=962076 tps=100 nb_sec=9620
case_no=139 label=Case6.127 nb_sol=0 ticks=415996 tps=100 nb_sec=4159
case_no=139 label=Case6.127 nb_sol=0 ticks=978570 tps=100 nb_sec=9785
case_no=139 label=Case6.127 nb_sol=0 ticks=723326 tps=100 nb_sec=7233
case_no=139 label=Case6.127 nb_sol=0 ticks=645455 tps=100 nb_sec=6454
case_no=139 label=Case6.127 nb_sol=0 ticks=817170 tps=100 nb_sec=8171
case_no=139 label=Case6.127 nb_sol=0 ticks=983945 tps=100 nb_sec=9839
case_no=139 label=Case6.127 nb_sol=0 ticks=930112 tps=100 nb_sec=9301
case_no=139 label=Case6.127 nb_sol=0 ticks=920769 tps=100 nb_sec=9207
case_no=139 label=Case6.127 nb_sol=0 ticks=825332 tps=100 nb_sec=8253
case_no=139 label=Case6.127 nb_sol=0 ticks=713614 tps=100 nb_sec=7136
case_no=139 label=Case6.127 nb_sol=0 ticks=764018 tps=100 nb_sec=7640
case_no=139 label=Case6.127 nb_sol=0 ticks=670610 tps=100 nb_sec=6706
case_no=139 label=Case6.127 nb_sol=0 ticks=351252 tps=100 nb_sec=3512
case_no=139 label=Case6.127 nb_sol=0 ticks=724411 tps=100 nb_sec=7244
case_no=139 label=Case6.127 nb_sol=0 ticks=857672 tps=100 nb_sec=8576
case_no=139 label=Case6.127 nb_sol=0 ticks=676740 tps=100 nb_sec=6767
case_no=139 label=Case6.127 nb_sol=0 ticks=657601 tps=100 nb_sec=6576
case_no=139 label=Case6.127 nb_sol=0 ticks=612623 tps=100 nb_sec=6126
case_no=139 label=Case6.127 nb_sol=0 ticks=775294 tps=100 nb_sec=7752
case_no=139 label=Case6.127 nb_sol=0 ticks=584628 tps=100 nb_sec=5846
case_no=139 label=Case6.127 nb_sol=0 ticks=815352 tps=100 nb_sec=8153
case_no=139 label=Case6.127 nb_sol=0 ticks=647404 tps=100 nb_sec=6474
case_no=139 label=Case6.127 nb_sol=0 ticks=946819 tps=100 nb_sec=9468
case_no=139 label=Case6.127 nb_sol=0 ticks=746392 tps=100 nb_sec=7463
case_no=139 label=Case6.127 nb_sol=0 ticks=736141 tps=100 nb_sec=7361
case_no=139 label=Case6.127 nb_sol=0 ticks=625328 tps=100 nb_sec=6253
case_no=139 label=Case6.127 nb_sol=0 ticks=708394 tps=100 nb_sec=7083
case_no=139 label=Case6.127 nb_sol=0 ticks=631336 tps=100 nb_sec=6313
case_no=139 label=Case6.127 nb_sol=0 ticks=725951 tps=100 nb_sec=7259
case_no=139 label=Case6.127 nb_sol=0 ticks=1026216 tps=100 nb_sec=10262
case_no=139 label=Case6.127 nb_sol=0 ticks=557381 tps=100 nb_sec=5573
case_no=139 label=Case6.127 nb_sol=0 ticks=312021 tps=100 nb_sec=3120
case_no=139 label=Case6.127 nb_sol=0 ticks=686693 tps=100 nb_sec=6866
case_no=139 label=Case6.127 nb_sol=0 ticks=303540 tps=100 nb_sec=3035
case_no=139 label=Case6.127 nb_sol=0 ticks=675110 tps=100 nb_sec=6751
case_no=139 label=Case6.127 nb_sol=0 ticks=358144 tps=100 nb_sec=3581
case_no=139 label=Case6.127 nb_sol=0 ticks=829304 tps=100 nb_sec=8293
case_no=139 label=Case6.127 nb_sol=0 ticks=374614 tps=100 nb_sec=3746
case_no=139 label=Case6.127 nb_sol=0 ticks=794150 tps=100 nb_sec=7941
case_no=139 label=Case6.127 nb_sol=0 ticks=727832 tps=100 nb_sec=7278
case_no=139 label=Case6.127 nb_sol=0 ticks=680635 tps=100 nb_sec=6806
case_no=139 label=Case6.127 nb_sol=0 ticks=679814 tps=100 nb_sec=6798
case_no=139 label=Case6.127 nb_sol=0 ticks=764637 tps=100 nb_sec=7646
case_no=139 label=Case6.127 nb_sol=0 ticks=682586 tps=100 nb_sec=6825
case_no=139 label=Case6.127 nb_sol=0 ticks=655450 tps=100 nb_sec=6554
case_no=139 label=Case6.127 nb_sol=0 ticks=515956 tps=100 nb_sec=5159
case_no=139 label=Case6.127 nb_sol=0 ticks=754886 tps=100 nb_sec=7548
case_no=139 label=Case6.127 nb_sol=0 ticks=461391 tps=100 nb_sec=4613
case_no=139 label=Case6.127 nb_sol=0 ticks=900065 tps=100 nb_sec=9000
case_no=139 label=Case6.127 nb_sol=0 ticks=675312 tps=100 nb_sec=6753
case_no=139 label=Case6.127 nb_sol=0 ticks=836873 tps=100 nb_sec=8368
case_no=139 label=Case6.127 nb_sol=0 ticks=676473 tps=100 nb_sec=6764
case_no=139 label=Case6.127 nb_sol=0 ticks=637318 tps=100 nb_sec=6373
case_no=139 label=Case6.127 nb_sol=0 ticks=764705 tps=100 nb_sec=7647
case_no=139 label=Case6.127 nb_sol=0 ticks=376966 tps=100 nb_sec=3769
case_no=139 label=Case6.127 nb_sol=0 ticks=717648 tps=100 nb_sec=7176
case_no=139 label=Case6.127 nb_sol=0 ticks=707898 tps=100 nb_sec=7078
case_no=139 label=Case6.127 nb_sol=0 ticks=601323 tps=100 nb_sec=6013
case_no=139 label=Case6.127 nb_sol=0 ticks=501008 tps=100 nb_sec=5010
case_no=139 label=Case6.127 nb_sol=0 ticks=618732 tps=100 nb_sec=6187
case_no=139 label=Case6.127 nb_sol=0 ticks=487928 tps=100 nb_sec=4879
case_no=139 label=Case6.127 nb_sol=0 ticks=536424 tps=100 nb_sec=5364
case_no=139 label=Case6.127 nb_sol=0 ticks=697499 tps=100 nb_sec=6974
case_no=139 label=Case6.127 nb_sol=0 ticks=359416 tps=100 nb_sec=3594
case_no=139 label=Case6.127 nb_sol=0 ticks=627911 tps=100 nb_sec=6279
case_no=139 label=Case6.127 nb_sol=0 ticks=659474 tps=100 nb_sec=6594
case_no=139 label=Case6.127 nb_sol=0 ticks=674188 tps=100 nb_sec=6741
case_no=139 label=Case6.127 nb_sol=0 ticks=644878 tps=100 nb_sec=6448
case_no=139 label=Case6.127 nb_sol=0 ticks=876391 tps=100 nb_sec=8763
case_no=139 label=Case6.127 nb_sol=0 ticks=600633 tps=100 nb_sec=6006
case_no=139 label=Case6.127 nb_sol=0 ticks=702611 tps=100 nb_sec=7026
case_no=139 label=Case6.127 nb_sol=0 ticks=552350 tps=100 nb_sec=5523
case_no=139 label=Case6.127 nb_sol=0 ticks=835794 tps=100 nb_sec=8357
case_no=139 label=Case6.127 nb_sol=0 ticks=771183 tps=100 nb_sec=7711
case_no=139 label=Case6.127 nb_sol=0 ticks=611927 tps=100 nb_sec=6119
case_no=139 label=Case6.127 nb_sol=0 ticks=831092 tps=100 nb_sec=8310
case_no=139 label=Case6.127 nb_sol=0 ticks=688688 tps=100 nb_sec=6886
case_no=139 label=Case6.127 nb_sol=0 ticks=748235 tps=100 nb_sec=7482
case_no=139 label=Case6.127 nb_sol=0 ticks=492464 tps=100 nb_sec=4924
case_no=139 label=Case6.127 nb_sol=0 ticks=678909 tps=100 nb_sec=6789
case_no=139 label=Case6.127 nb_sol=0 ticks=710256 tps=100 nb_sec=7102
case_no=139 label=Case6.127 nb_sol=0 ticks=771695 tps=100 nb_sec=7716
case_no=139 label=Case6.127 nb_sol=0 ticks=736092 tps=100 nb_sec=7360
case_no=139 label=Case6.127 nb_sol=0 ticks=326620 tps=100 nb_sec=3266
case_no=139 label=Case6.127 nb_sol=0 ticks=543847 tps=100 nb_sec=5438
case_no=139 label=Case6.127 nb_sol=0 ticks=659762 tps=100 nb_sec=6597
case_no=139 label=Case6.127 nb_sol=0 ticks=728469 tps=100 nb_sec=7284
case_no=139 label=Case6.127 nb_sol=0 ticks=468875 tps=100 nb_sec=4688
case_no=139 label=Case6.127 nb_sol=0 ticks=690093 tps=100 nb_sec=6900
case_no=139 label=Case6.127 nb_sol=0 ticks=384000 tps=100 nb_sec=3840
case_no=139 label=Case6.127 nb_sol=0 ticks=349132 tps=100 nb_sec=3491
case_no=139 label=Case6.127 nb_sol=0 ticks=437619 tps=100 nb_sec=4376
case_no=139 label=Case6.127 nb_sol=0 ticks=875837 tps=100 nb_sec=8758
case_no=139 label=Case6.127 nb_sol=0 ticks=765512 tps=100 nb_sec=7655
case_no=139 label=Case6.127 nb_sol=0 ticks=803072 tps=100 nb_sec=8030
case_no=139 label=Case6.127 nb_sol=0 ticks=768907 tps=100 nb_sec=7689
case_no=139 label=Case6.127 nb_sol=0 ticks=843121 tps=100 nb_sec=8431
case_no=139 label=Case6.127 nb_sol=0 ticks=414543 tps=100 nb_sec=4145
case_no=139 label=Case6.127 nb_sol=0 ticks=687994 tps=100 nb_sec=6879
case_no=139 label=Case6.127 nb_sol=0 ticks=374655 tps=100 nb_sec=3746
case_no=139 label=Case6.127 nb_sol=0 ticks=871426 tps=100 nb_sec=8714
case_no=139 label=Case6.127 nb_sol=0 ticks=534254 tps=100 nb_sec=5342
case_no=139 label=Case6.127 nb_sol=0 ticks=732330 tps=100 nb_sec=7323
case_no=139 label=Case6.127 nb_sol=0 ticks=477353 tps=100 nb_sec=4773
case_no=139 label=Case6.127 nb_sol=0 ticks=876267 tps=100 nb_sec=8762
case_no=139 label=Case6.127 nb_sol=0 ticks=674153 tps=100 nb_sec=6741
case_no=139 label=Case6.127 nb_sol=0 ticks=522467 tps=100 nb_sec=5224
case_no=139 label=Case6.127 nb_sol=0 ticks=608156 tps=100 nb_sec=6081
case_no=139 label=Case6.127 nb_sol=0 ticks=325083 tps=100 nb_sec=3250
case_no=139 label=Case6.127 nb_sol=0 ticks=554994 tps=100 nb_sec=5549
case_no=139 label=Case6.127 nb_sol=0 ticks=746125 tps=100 nb_sec=7461
case_no=139 label=Case6.127 nb_sol=0 ticks=348699 tps=100 nb_sec=3486
case_no=139 label=Case6.127 nb_sol=0 ticks=844463 tps=100 nb_sec=8444
case_no=139 label=Case6.127 nb_sol=0 ticks=459173 tps=100 nb_sec=4591
case_no=139 label=Case6.127 nb_sol=0 ticks=652091 tps=100 nb_sec=6520
case_no=139 label=Case6.127 nb_sol=0 ticks=367719 tps=100 nb_sec=3677
case_no=139 label=Case6.127 nb_sol=0 ticks=693474 tps=100 nb_sec=6934
case_no=139 label=Case6.127 nb_sol=0 ticks=360005 tps=100 nb_sec=3600
case_no=139 label=Case6.127 nb_sol=0 ticks=479103 tps=100 nb_sec=4791
case_no=139 label=Case6.127 nb_sol=0 ticks=562518 tps=100 nb_sec=5625
case_no=139 label=Case6.127 nb_sol=0 ticks=737364 tps=100 nb_sec=7373
case_no=139 label=Case6.127 nb_sol=0 ticks=716634 tps=100 nb_sec=7166
case_no=139 label=Case6.127 nb_sol=0 ticks=668321 tps=100 nb_sec=6683
case_no=139 label=Case6.127 nb_sol=0 ticks=664576 tps=100 nb_sec=6645
case_no=139 label=Case6.127 nb_sol=0 ticks=754100 tps=100 nb_sec=7541
case_no=139 label=Case6.127 nb_sol=0 ticks=606693 tps=100 nb_sec=6066
case_no=139 label=Case6.127 nb_sol=0 ticks=670248 tps=100 nb_sec=6702
case_no=139 label=Case6.127 nb_sol=0 ticks=736356 tps=100 nb_sec=7363
case_no=139 label=Case6.127 nb_sol=0 ticks=363767 tps=100 nb_sec=3637
case_no=139 label=Case6.127 nb_sol=0 ticks=414704 tps=100 nb_sec=4147
case_no=139 label=Case6.127 nb_sol=0 ticks=873992 tps=100 nb_sec=8739
case_no=139 label=Case6.127 nb_sol=0 ticks=664168 tps=100 nb_sec=6641
case_no=139 label=Case6.127 nb_sol=0 ticks=402033 tps=100 nb_sec=4020
case_no=139 label=Case6.127 nb_sol=0 ticks=455274 tps=100 nb_sec=4552
case_no=139 label=Case6.127 nb_sol=0 ticks=647365 tps=100 nb_sec=6473
case_no=139 label=Case6.127 nb_sol=0 ticks=769324 tps=100 nb_sec=7693
case_no=139 label=Case6.127 nb_sol=0 ticks=733768 tps=100 nb_sec=7337
case_no=139 label=Case6.127 nb_sol=0 ticks=676459 tps=100 nb_sec=6764
case_no=139 label=Case6.127 nb_sol=0 ticks=851811 tps=100 nb_sec=8518
case_no=139 label=Case6.127 nb_sol=0 ticks=731595 tps=100 nb_sec=7315
case_no=139 label=Case6.127 nb_sol=0 ticks=837437 tps=100 nb_sec=8374
case_no=139 label=Case6.127 nb_sol=0 ticks=795642 tps=100 nb_sec=7956
case_no=139 label=Case6.127 nb_sol=0 ticks=694264 tps=100 nb_sec=6942
case_no=139 label=Case6.127 nb_sol=0 ticks=769855 tps=100 nb_sec=7698
case_no=139 label=Case6.127 nb_sol=0 ticks=759136 tps=100 nb_sec=7591
case_no=139 label=Case6.127 nb_sol=0 ticks=601540 tps=100 nb_sec=6015
case_no=139 label=Case6.127 nb_sol=0 ticks=697070 tps=100 nb_sec=6970
case_no=139 label=Case6.127 nb_sol=0 ticks=527713 tps=100 nb_sec=5277
case_no=139 label=Case6.127 nb_sol=0 ticks=609741 tps=100 nb_sec=6097
case_no=139 label=Case6.127 nb_sol=0 ticks=501173 tps=100 nb_sec=5011
case_no=139 label=Case6.127 nb_sol=0 ticks=707523 tps=100 nb_sec=7075
case_no=139 label=Case6.127 nb_sol=0 ticks=355221 tps=100 nb_sec=3552
case_no=139 label=Case6.127 nb_sol=0 ticks=787704 tps=100 nb_sec=7877
case_no=139 label=Case6.127 nb_sol=0 ticks=480958 tps=100 nb_sec=4809
case_no=139 label=Case6.127 nb_sol=0 ticks=685979 tps=100 nb_sec=6859
case_no=139 label=Case6.127 nb_sol=0 ticks=600606 tps=100 nb_sec=6006
case_no=139 label=Case6.127 nb_sol=0 ticks=892333 tps=100 nb_sec=8923
case_no=139 label=Case6.127 nb_sol=0 ticks=1118278 tps=100 nb_sec=11182
case_no=139 label=Case6.127 nb_sol=0 ticks=443204 tps=100 nb_sec=4432
case_no=139 label=Case6.127 nb_sol=0 ticks=498186 tps=100 nb_sec=4981
case_no=139 label=Case6.127 nb_sol=0 ticks=713181 tps=100 nb_sec=7131
case_no=139 label=Case6.127 nb_sol=0 ticks=368366 tps=100 nb_sec=3683
case_no=139 label=Case6.127 nb_sol=0 ticks=844224 tps=100 nb_sec=8442
case_no=139 label=Case6.127 nb_sol=0 ticks=417738 tps=100 nb_sec=4177
case_no=139 label=Case6.127 nb_sol=0 ticks=350100 tps=100 nb_sec=3501
case_no=139 label=Case6.127 nb_sol=0 ticks=467657 tps=100 nb_sec=4676
case_no=139 label=Case6.127 nb_sol=0 ticks=454007 tps=100 nb_sec=4540
case_no=139 label=Case6.127 nb_sol=0 ticks=309256 tps=100 nb_sec=3092
case_no=139 label=Case6.127 nb_sol=0 ticks=445241 tps=100 nb_sec=4452
case_no=139 label=Case6.127 nb_sol=0 ticks=787901 tps=100 nb_sec=7879
case_no=139 label=Case6.127 nb_sol=0 ticks=758615 tps=100 nb_sec=7586
case_no=139 label=Case6.127 nb_sol=0 ticks=397300 tps=100 nb_sec=3973
case_no=139 label=Case6.127 nb_sol=0 ticks=555993 tps=100 nb_sec=5559
case_no=139 label=Case6.127 nb_sol=0 ticks=648093 tps=100 nb_sec=6480
case_no=139 label=Case6.127 nb_sol=0 ticks=538530 tps=100 nb_sec=5385
case_no=139 label=Case6.127 nb_sol=0 ticks=771157 tps=100 nb_sec=7711
case_no=139 label=Case6.127 nb_sol=0 ticks=719317 tps=100 nb_sec=7193
case_no=139 label=Case6.127 nb_sol=0 ticks=480525 tps=100 nb_sec=4805
case_no=139 label=Case6.127 nb_sol=0 ticks=426872 tps=100 nb_sec=4268
case_no=139 label=Case6.127 nb_sol=0 ticks=410235 tps=100 nb_sec=4102
case_no=139 label=Case6.127 nb_sol=0 ticks=326720 tps=100 nb_sec=3267
case_no=139 label=Case6.127 nb_sol=0 ticks=714479 tps=100 nb_sec=7144
case_no=139 label=Case6.127 nb_sol=0 ticks=825222 tps=100 nb_sec=8252
case_no=139 label=Case6.127 nb_sol=0 ticks=466238 tps=100 nb_sec=4662
case_no=139 label=Case6.127 nb_sol=0 ticks=756829 tps=100 nb_sec=7568
case_no=139 label=Case6.127 nb_sol=0 ticks=746760 tps=100 nb_sec=7467
case_no=139 label=Case6.127 nb_sol=0 ticks=378018 tps=100 nb_sec=3780
case_no=139 label=Case6.127 nb_sol=0 ticks=337327 tps=100 nb_sec=3373
case_no=139 label=Case6.127 nb_sol=0 ticks=557723 tps=100 nb_sec=5577
case_no=139 label=Case6.127 nb_sol=0 ticks=324322 tps=100 nb_sec=3243
case_no=139 label=Case6.127 nb_sol=0 ticks=436524 tps=100 nb_sec=4365
case_no=139 label=Case6.127 nb_sol=0 ticks=615471 tps=100 nb_sec=6154
case_no=139 label=Case6.127 nb_sol=0 ticks=628691 tps=100 nb_sec=6286
case_no=139 label=Case6.127 nb_sol=0 ticks=713370 tps=100 nb_sec=7133
case_no=139 label=Case6.127 nb_sol=0 ticks=543749 tps=100 nb_sec=5437
case_no=139 label=Case6.127 nb_sol=0 ticks=754513 tps=100 nb_sec=7545
case_no=139 label=Case6.127 nb_sol=0 ticks=607215 tps=100 nb_sec=6072
case_no=139 label=Case6.127 nb_sol=0 ticks=746833 tps=100 nb_sec=7468
case_no=139 label=Case6.127 nb_sol=0 ticks=678260 tps=100 nb_sec=6782
case_no=139 label=Case6.127 nb_sol=0 ticks=674473 tps=100 nb_sec=6744
case_no=139 label=Case6.127 nb_sol=0 ticks=795941 tps=100 nb_sec=7959
case_no=139 label=Case6.127 nb_sol=0 ticks=592657 tps=100 nb_sec=5926
case_no=139 label=Case6.127 nb_sol=0 ticks=758619 tps=100 nb_sec=7586
case_no=139 label=Case6.127 nb_sol=0 ticks=391441 tps=100 nb_sec=3914
case_no=139 label=Case6.127 nb_sol=0 ticks=443832 tps=100 nb_sec=4438
case_no=139 label=Case6.127 nb_sol=0 ticks=412152 tps=100 nb_sec=4121
case_no=139 label=Case6.127 nb_sol=0 ticks=556088 tps=100 nb_sec=5560
case_no=139 label=Case6.127 nb_sol=0 ticks=871765 tps=100 nb_sec=8717
case_no=139 label=Case6.127 nb_sol=0 ticks=752856 tps=100 nb_sec=7528
case_no=139 label=Case6.127 nb_sol=0 ticks=660982 tps=100 nb_sec=6609
case_no=139 label=Case6.127 nb_sol=0 ticks=920347 tps=100 nb_sec=9203
case_no=139 label=Case6.127 nb_sol=0 ticks=672459 tps=100 nb_sec=6724
case_no=139 label=Case6.127 nb_sol=0 ticks=685062 tps=100 nb_sec=6850
case_no=139 label=Case6.127 nb_sol=0 ticks=781934 tps=100 nb_sec=7819
case_no=139 label=Case6.127 nb_sol=0 ticks=805630 tps=100 nb_sec=8056
case_no=139 label=Case6.127 nb_sol=0 ticks=449874 tps=100 nb_sec=4498
case_no=139 label=Case6.127 nb_sol=0 ticks=762695 tps=100 nb_sec=7626
case_no=139 label=Case6.127 nb_sol=0 ticks=743899 tps=100 nb_sec=7438
case_no=139 label=Case6.127 nb_sol=0 ticks=678899 tps=100 nb_sec=6788
case_no=139 label=Case6.127 nb_sol=0 ticks=655289 tps=100 nb_sec=6552
case_no=139 label=Case6.127 nb_sol=0 ticks=851248 tps=100 nb_sec=8512
case_no=139 label=Case6.127 nb_sol=0 ticks=395944 tps=100 nb_sec=3959
case_no=139 label=Case6.127 nb_sol=0 ticks=812937 tps=100 nb_sec=8129
case_no=139 label=Case6.127 nb_sol=0 ticks=713502 tps=100 nb_sec=7135
case_no=139 label=Case6.127 nb_sol=0 ticks=388587 tps=100 nb_sec=3885
case_no=139 label=Case6.127 nb_sol=0 ticks=744316 tps=100 nb_sec=7443
case_no=139 label=Case6.127 nb_sol=0 ticks=645607 tps=100 nb_sec=6456
case_no=139 label=Case6.127 nb_sol=0 ticks=609800 tps=100 nb_sec=6098
case_no=139 label=Case6.127 nb_sol=0 ticks=597890 tps=100 nb_sec=5978
case_no=139 label=Case6.127 nb_sol=0 ticks=397915 tps=100 nb_sec=3979
case_no=139 label=Case6.127 nb_sol=0 ticks=682818 tps=100 nb_sec=6828
case_no=139 label=Case6.127 nb_sol=0 ticks=615833 tps=100 nb_sec=6158
case_no=139 label=Case6.127 nb_sol=0 ticks=438224 tps=100 nb_sec=4382
case_no=139 label=Case6.127 nb_sol=0 ticks=781169 tps=100 nb_sec=7811
case_no=139 label=Case6.127 nb_sol=0 ticks=878310 tps=100 nb_sec=8783
case_no=139 label=Case6.127 nb_sol=0 ticks=598426 tps=100 nb_sec=5984
case_no=139 label=Case6.127 nb_sol=0 ticks=792200 tps=100 nb_sec=7922
case_no=139 label=Case6.127 nb_sol=0 ticks=775736 tps=100 nb_sec=7757
case_no=139 label=Case6.127 nb_sol=0 ticks=925710 tps=100 nb_sec=9257
case_no=139 label=Case6.127 nb_sol=0 ticks=647691 tps=100 nb_sec=6476
case_no=139 label=Case6.127 nb_sol=0 ticks=783645 tps=100 nb_sec=7836
case_no=139 label=Case6.127 nb_sol=0 ticks=634515 tps=100 nb_sec=6345
case_no=139 label=Case6.127 nb_sol=0 ticks=417703 tps=100 nb_sec=4177
case_no=139 label=Case6.127 nb_sol=0 ticks=731204 tps=100 nb_sec=7312
case_no=139 label=Case6.127 nb_sol=0 ticks=396140 tps=100 nb_sec=3961
case_no=139 label=Case6.127 nb_sol=0 ticks=575346 tps=100 nb_sec=5753
case_no=139 label=Case6.127 nb_sol=0 ticks=722824 tps=100 nb_sec=7228
case_no=139 label=Case6.127 nb_sol=0 ticks=398529 tps=100 nb_sec=3985
case_no=139 label=Case6.127 nb_sol=0 ticks=526936 tps=100 nb_sec=5269
case_no=139 label=Case6.127 nb_sol=0 ticks=690379 tps=100 nb_sec=6903
case_no=139 label=Case6.127 nb_sol=0 ticks=425651 tps=100 nb_sec=4256
case_no=139 label=Case6.127 nb_sol=0 ticks=567344 tps=100 nb_sec=5673
case_no=139 label=Case6.127 nb_sol=0 ticks=386337 tps=100 nb_sec=3863
case_no=139 label=Case6.127 nb_sol=0 ticks=542438 tps=100 nb_sec=5424
case_no=139 label=Case6.127 nb_sol=0 ticks=414404 tps=100 nb_sec=4144
case_no=139 label=Case6.127 nb_sol=0 ticks=803748 tps=100 nb_sec=8037
case_no=139 label=Case6.127 nb_sol=0 ticks=368619 tps=100 nb_sec=3686
case_no=139 label=Case6.127 nb_sol=0 ticks=631230 tps=100 nb_sec=6312
case_no=139 label=Case6.127 nb_sol=0 ticks=363592 tps=100 nb_sec=3635
case_no=139 label=Case6.127 nb_sol=0 ticks=677999 tps=100 nb_sec=6779
case_no=139 label=Case6.127 nb_sol=0 ticks=544417 tps=100 nb_sec=5444
case_no=139 label=Case6.127 nb_sol=0 ticks=621753 tps=100 nb_sec=6217
case_no=139 label=Case6.127 nb_sol=0 ticks=373095 tps=100 nb_sec=3730
case_no=139 label=Case6.127 nb_sol=0 ticks=530280 tps=100 nb_sec=5302
case_no=139 label=Case6.127 nb_sol=0 ticks=655383 tps=100 nb_sec=6553
case_no=139 label=Case6.127 nb_sol=0 ticks=362650 tps=100 nb_sec=3626
case_no=139 label=Case6.127 nb_sol=0 ticks=395074 tps=100 nb_sec=3950
case_no=139 label=Case6.127 nb_sol=0 ticks=348365 tps=100 nb_sec=3483
case_no=139 label=Case6.127 nb_sol=0 ticks=370221 tps=100 nb_sec=3702
case_no=139 label=Case6.127 nb_sol=0 ticks=557753 tps=100 nb_sec=5577
case_no=139 label=Case6.127 nb_sol=0 ticks=719317 tps=100 nb_sec=7193
case_no=139 label=Case6.127 nb_sol=0 ticks=590091 tps=100 nb_sec=5900
case_no=139 label=Case6.127 nb_sol=0 ticks=584927 tps=100 nb_sec=5849
case_no=139 label=Case6.127 nb_sol=0 ticks=319495 tps=100 nb_sec=3194
case_no=139 label=Case6.127 nb_sol=0 ticks=725860 tps=100 nb_sec=7258
case_no=139 label=Case6.127 nb_sol=0 ticks=424206 tps=100 nb_sec=4242
case_no=139 label=Case6.127 nb_sol=0 ticks=619363 tps=100 nb_sec=6193
case_no=139 label=Case6.127 nb_sol=0 ticks=646953 tps=100 nb_sec=6469
case_no=139 label=Case6.127 nb_sol=0 ticks=379308 tps=100 nb_sec=3793
case_no=139 label=Case6.127 nb_sol=0 ticks=410044 tps=100 nb_sec=4100
case_no=139 label=Case6.127 nb_sol=0 ticks=670971 tps=100 nb_sec=6709
case_no=139 label=Case6.127 nb_sol=0 ticks=343731 tps=100 nb_sec=3437
case_no=139 label=Case6.127 nb_sol=0 ticks=455209 tps=100 nb_sec=4552
case_no=139 label=Case6.127 nb_sol=0 ticks=518340 tps=100 nb_sec=5183
case_no=139 label=Case6.127 nb_sol=0 ticks=330508 tps=100 nb_sec=3305
case_no=139 label=Case6.127 nb_sol=0 ticks=511649 tps=100 nb_sec=5116
case_no=139 label=Case6.127 nb_sol=0 ticks=350684 tps=100 nb_sec=3506
case_no=139 label=Case6.127 nb_sol=0 ticks=555179 tps=100 nb_sec=5551
case_no=139 label=Case6.127 nb_sol=0 ticks=537226 tps=100 nb_sec=5372
case_no=139 label=Case6.127 nb_sol=0 ticks=352185 tps=100 nb_sec=3521
case_no=139 label=Case6.127 nb_sol=0 ticks=597397 tps=100 nb_sec=5973
case_no=139 label=Case6.127 nb_sol=0 ticks=464759 tps=100 nb_sec=4647
case_no=139 label=Case6.127 nb_sol=0 ticks=565277 tps=100 nb_sec=5652
case_no=139 label=Case6.127 nb_sol=0 ticks=565709 tps=100 nb_sec=5657
case_no=139 label=Case6.127 nb_sol=0 ticks=470747 tps=100 nb_sec=4707
case_no=139 label=Case6.127 nb_sol=0 ticks=643434 tps=100 nb_sec=6434
case_no=139 label=Case6.127 nb_sol=0 ticks=840413 tps=100 nb_sec=8404
case_no=139 label=Case6.127 nb_sol=0 ticks=568306 tps=100 nb_sec=5683
case_no=139 label=Case6.127 nb_sol=0 ticks=646908 tps=100 nb_sec=6469
case_no=139 label=Case6.127 nb_sol=0 ticks=277851 tps=100 nb_sec=2778
case_no=139 label=Case6.127 nb_sol=0 ticks=402588 tps=100 nb_sec=4025
case_no=139 label=Case6.127 nb_sol=0 ticks=585927 tps=100 nb_sec=5859
case_no=139 label=Case6.127 nb_sol=0 ticks=747706 tps=100 nb_sec=7477
case_no=139 label=Case6.127 nb_sol=0 ticks=316463 tps=100 nb_sec=3164
case_no=139 label=Case6.127 nb_sol=0 ticks=702215 tps=100 nb_sec=7022
case_no=139 label=Case6.127 nb_sol=0 ticks=335848 tps=100 nb_sec=3358
case_no=139 label=Case6.127 nb_sol=0 ticks=414512 tps=100 nb_sec=4145
case_no=139 label=Case6.127 nb_sol=0 ticks=624666 tps=100 nb_sec=6246
case_no=139 label=Case6.127 nb_sol=0 ticks=446542 tps=100 nb_sec=4465
case_no=139 label=Case6.127 nb_sol=0 ticks=666365 tps=100 nb_sec=6663
case_no=139 label=Case6.127 nb_sol=0 ticks=518070 tps=100 nb_sec=5180
case_no=139 label=Case6.127 nb_sol=0 ticks=519033 tps=100 nb_sec=5190
case_no=139 label=Case6.127 nb_sol=0 ticks=763018 tps=100 nb_sec=7630
case_no=139 label=Case6.127 nb_sol=0 ticks=375843 tps=100 nb_sec=3758
case_no=139 label=Case6.127 nb_sol=0 ticks=692130 tps=100 nb_sec=6921
case_no=139 label=Case6.127 nb_sol=0 ticks=313543 tps=100 nb_sec=3135
case_no=139 label=Case6.127 nb_sol=0 ticks=444899 tps=100 nb_sec=4448
case_no=139 label=Case6.127 nb_sol=0 ticks=497273 tps=100 nb_sec=4972
case_no=139 label=Case6.127 nb_sol=0 ticks=286353 tps=100 nb_sec=2863
case_no=139 label=Case6.127 nb_sol=0 ticks=601815 tps=100 nb_sec=6018
case_no=139 label=Case6.127 nb_sol=0 ticks=343920 tps=100 nb_sec=3439
case_no=139 label=Case6.127 nb_sol=0 ticks=565850 tps=100 nb_sec=5658
case_no=139 label=Case6.127 nb_sol=0 ticks=695199 tps=100 nb_sec=6951
case_no=139 label=Case6.127 nb_sol=0 ticks=279748 tps=100 nb_sec=2797
case_no=139 label=Case6.127 nb_sol=0 ticks=477508 tps=100 nb_sec=4775
case_no=139 label=Case6.127 nb_sol=0 ticks=666158 tps=100 nb_sec=6661
case_no=139 label=Case6.127 nb_sol=0 ticks=651438 tps=100 nb_sec=6514
case_no=139 label=Case6.127 nb_sol=0 ticks=787876 tps=100 nb_sec=7878
case_no=139 label=Case6.127 nb_sol=0 ticks=760721 tps=100 nb_sec=7607
case_no=139 label=Case6.127 nb_sol=0 ticks=750574 tps=100 nb_sec=7505
case_no=139 label=Case6.127 nb_sol=0 ticks=740568 tps=100 nb_sec=7405
case_no=139 label=Case6.127 nb_sol=0 ticks=636371 tps=100 nb_sec=6363
case_no=139 label=Case6.127 nb_sol=0 ticks=671963 tps=100 nb_sec=6719
case_no=139 label=Case6.127 nb_sol=0 ticks=622382 tps=100 nb_sec=6223
case_no=139 label=Case6.127 nb_sol=0 ticks=722611 tps=100 nb_sec=7226
case_no=139 label=Case6.127 nb_sol=0 ticks=676872 tps=100 nb_sec=6768
case_no=139 label=Case6.127 nb_sol=0 ticks=741387 tps=100 nb_sec=7413
case_no=139 label=Case6.127 nb_sol=0 ticks=432392 tps=100 nb_sec=4323
case_no=139 label=Case6.127 nb_sol=0 ticks=442630 tps=100 nb_sec=4426
case_no=139 label=Case6.127 nb_sol=0 ticks=364285 tps=100 nb_sec=3642
case_no=139 label=Case6.127 nb_sol=0 ticks=697200 tps=100 nb_sec=6972
case_no=139 label=Case6.127 nb_sol=0 ticks=478331 tps=100 nb_sec=4783
case_no=139 label=Case6.127 nb_sol=0 ticks=724946 tps=100 nb_sec=7249
case_no=139 label=Case6.127 nb_sol=0 ticks=835670 tps=100 nb_sec=8356
case_no=139 label=Case6.127 nb_sol=0 ticks=722083 tps=100 nb_sec=7220
case_no=139 label=Case6.127 nb_sol=0 ticks=730283 tps=100 nb_sec=7302
case_no=139 label=Case6.127 nb_sol=0 ticks=681239 tps=100 nb_sec=6812
case_no=139 label=Case6.127 nb_sol=0 ticks=673745 tps=100 nb_sec=6737
case_no=139 label=Case6.127 nb_sol=0 ticks=573107 tps=100 nb_sec=5731
case_no=139 label=Case6.127 nb_sol=0 ticks=506858 tps=100 nb_sec=5068
case_no=139 label=Case6.127 nb_sol=0 ticks=585874 tps=100 nb_sec=5858
case_no=139 label=Case6.127 nb_sol=0 ticks=585609 tps=100 nb_sec=5856
case_no=139 label=Case6.127 nb_sol=0 ticks=754541 tps=100 nb_sec=7545
case_no=139 label=Case6.127 nb_sol=0 ticks=536665 tps=100 nb_sec=5366
case_no=139 label=Case6.127 nb_sol=0 ticks=662930 tps=100 nb_sec=6629
case_no=139 label=Case6.127 nb_sol=0 ticks=499509 tps=100 nb_sec=4995
case_no=139 label=Case6.127 nb_sol=0 ticks=640507 tps=100 nb_sec=6405
case_no=139 label=Case6.127 nb_sol=0 ticks=712719 tps=100 nb_sec=7127
case_no=139 label=Case6.127 nb_sol=0 ticks=426288 tps=100 nb_sec=4262
case_no=139 label=Case6.127 nb_sol=0 ticks=1024780 tps=100 nb_sec=10247
case_no=139 label=Case6.127 nb_sol=0 ticks=726942 tps=100 nb_sec=7269
case_no=139 label=Case6.127 nb_sol=0 ticks=993407 tps=100 nb_sec=9934
case_no=139 label=Case6.127 nb_sol=0 ticks=664547 tps=100 nb_sec=6645
case_no=139 label=Case6.127 nb_sol=0 ticks=573274 tps=100 nb_sec=5732
case_no=139 label=Case6.127 nb_sol=0 ticks=761310 tps=100 nb_sec=7613
case_no=139 label=Case6.127 nb_sol=0 ticks=293443 tps=100 nb_sec=2934
case_no=139 label=Case6.127 nb_sol=0 ticks=517089 tps=100 nb_sec=5170
case_no=139 label=Case6.127 nb_sol=0 ticks=486340 tps=100 nb_sec=4863
case_no=139 label=Case6.127 nb_sol=0 ticks=796492 tps=100 nb_sec=7964
case_no=139 label=Case6.127 nb_sol=0 ticks=409856 tps=100 nb_sec=4098
case_no=139 label=Case6.127 nb_sol=0 ticks=581849 tps=100 nb_sec=5818
case_no=139 label=Case6.127 nb_sol=0 ticks=620921 tps=100 nb_sec=6209
case_no=139 label=Case6.127 nb_sol=0 ticks=467825 tps=100 nb_sec=4678
case_no=139 label=Case6.127 nb_sol=0 ticks=565403 tps=100 nb_sec=5654
case_no=139 label=Case6.127 nb_sol=0 ticks=420026 tps=100 nb_sec=4200
case_no=139 label=Case6.127 nb_sol=0 ticks=651925 tps=100 nb_sec=6519
case_no=139 label=Case6.127 nb_sol=0 ticks=615746 tps=100 nb_sec=6157
case_no=139 label=Case6.127 nb_sol=0 ticks=604064 tps=100 nb_sec=6040
case_no=139 label=Case6.127 nb_sol=0 ticks=362914 tps=100 nb_sec=3629
case_no=139 label=Case6.127 nb_sol=0 ticks=575875 tps=100 nb_sec=5758
case_no=139 label=Case6.127 nb_sol=0 ticks=793801 tps=100 nb_sec=7938
case_no=139 label=Case6.127 nb_sol=0 ticks=618721 tps=100 nb_sec=6187
case_no=139 label=Case6.127 nb_sol=0 ticks=343357 tps=100 nb_sec=3433
case_no=139 label=Case6.127 nb_sol=0 ticks=566466 tps=100 nb_sec=5664
case_no=139 label=Case6.127 nb_sol=0 ticks=739810 tps=100 nb_sec=7398
case_no=139 label=Case6.127 nb_sol=0 ticks=509846 tps=100 nb_sec=5098
case_no=139 label=Case6.127 nb_sol=0 ticks=679343 tps=100 nb_sec=6793
case_no=139 label=Case6.127 nb_sol=0 ticks=465669 tps=100 nb_sec=4656
case_no=139 label=Case6.127 nb_sol=0 ticks=886617 tps=100 nb_sec=8866
case_no=139 label=Case6.127 nb_sol=0 ticks=793008 tps=100 nb_sec=7930
case_no=139 label=Case6.127 nb_sol=0 ticks=807586 tps=100 nb_sec=8075
case_no=139 label=Case6.127 nb_sol=0 ticks=783505 tps=100 nb_sec=7835
case_no=139 label=Case6.127 nb_sol=0 ticks=872734 tps=100 nb_sec=8727
case_no=139 label=Case6.127 nb_sol=0 ticks=654502 tps=100 nb_sec=6545
case_no=139 label=Case6.127 nb_sol=0 ticks=652696 tps=100 nb_sec=6526
case_no=139 label=Case6.127 nb_sol=0 ticks=622043 tps=100 nb_sec=6220
case_no=139 label=Case6.127 nb_sol=0 ticks=685004 tps=100 nb_sec=6850
case_no=139 label=Case6.127 nb_sol=0 ticks=740140 tps=100 nb_sec=7401
case_no=139 label=Case6.127 nb_sol=0 ticks=451819 tps=100 nb_sec=4518
case_no=139 label=Case6.127 nb_sol=0 ticks=684623 tps=100 nb_sec=6846
case_no=139 label=Case6.127 nb_sol=0 ticks=799235 tps=100 nb_sec=7992
case_no=139 label=Case6.127 nb_sol=0 ticks=598122 tps=100 nb_sec=5981
case_no=139 label=Case6.127 nb_sol=0 ticks=703322 tps=100 nb_sec=7033
case_no=139 label=Case6.127 nb_sol=0 ticks=607583 tps=100 nb_sec=6075
case_no=139 label=Case6.127 nb_sol=0 ticks=653041 tps=100 nb_sec=6530
case_no=139 label=Case6.127 nb_sol=0 ticks=621066 tps=100 nb_sec=6210
case_no=139 label=Case6.127 nb_sol=0 ticks=670795 tps=100 nb_sec=6707
case_no=139 label=Case6.127 nb_sol=0 ticks=879904 tps=100 nb_sec=8799
case_no=139 label=Case6.127 nb_sol=0 ticks=853892 tps=100 nb_sec=8538
case_no=139 label=Case6.127 nb_sol=0 ticks=485614 tps=100 nb_sec=4856
case_no=139 label=Case6.127 nb_sol=0 ticks=706323 tps=100 nb_sec=7063
case_no=139 label=Case6.127 nb_sol=0 ticks=554274 tps=100 nb_sec=5542
case_no=139 label=Case6.127 nb_sol=0 ticks=346921 tps=100 nb_sec=3469
case_no=139 label=Case6.127 nb_sol=0 ticks=500005 tps=100 nb_sec=5000
case_no=139 label=Case6.127 nb_sol=0 ticks=698750 tps=100 nb_sec=6987
case_no=139 label=Case6.127 nb_sol=0 ticks=626109 tps=100 nb_sec=6261
case_no=139 label=Case6.127 nb_sol=0 ticks=606053 tps=100 nb_sec=6060
case_no=139 label=Case6.127 nb_sol=0 ticks=883311 tps=100 nb_sec=8833
case_no=139 label=Case6.127 nb_sol=0 ticks=756074 tps=100 nb_sec=7560
case_no=139 label=Case6.127 nb_sol=0 ticks=856466 tps=100 nb_sec=8564
case_no=139 label=Case6.127 nb_sol=0 ticks=701426 tps=100 nb_sec=7014
case_no=139 label=Case6.127 nb_sol=0 ticks=710401 tps=100 nb_sec=7104
case_no=139 label=Case6.127 nb_sol=0 ticks=608670 tps=100 nb_sec=6086
case_no=139 label=Case6.127 nb_sol=0 ticks=392911 tps=100 nb_sec=3929
case_no=139 label=Case6.127 nb_sol=0 ticks=747654 tps=100 nb_sec=7476
case_no=139 label=Case6.127 nb_sol=0 ticks=346295 tps=100 nb_sec=3462
case_no=139 label=Case6.127 nb_sol=0 ticks=327804 tps=100 nb_sec=3278
case_no=139 label=Case6.127 nb_sol=0 ticks=324078 tps=100 nb_sec=3240
case_no=139 label=Case6.127 nb_sol=0 ticks=549512 tps=100 nb_sec=5495
case_no=139 label=Case6.127 nb_sol=0 ticks=596958 tps=100 nb_sec=5969
case_no=139 label=Case6.127 nb_sol=0 ticks=592330 tps=100 nb_sec=5923
case_no=139 label=Case6.127 nb_sol=0 ticks=321988 tps=100 nb_sec=3219
case_no=139 label=Case6.127 nb_sol=0 ticks=701207 tps=100 nb_sec=7012
case_no=139 label=Case6.127 nb_sol=0 ticks=298923 tps=100 nb_sec=2989
case_no=139 label=Case6.127 nb_sol=0 ticks=376910 tps=100 nb_sec=3769
case_no=139 label=Case6.127 nb_sol=0 ticks=463281 tps=100 nb_sec=4632
case_no=139 label=Case6.127 nb_sol=0 ticks=569158 tps=100 nb_sec=5691
case_no=139 label=Case6.127 nb_sol=0 ticks=640851 tps=100 nb_sec=6408
case_no=139 label=Case6.127 nb_sol=0 ticks=384390 tps=100 nb_sec=3843
case_no=139 label=Case6.127 nb_sol=0 ticks=259602 tps=100 nb_sec=2596
case_no=139 label=Case6.127 nb_sol=0 ticks=678858 tps=100 nb_sec=6788
case_no=139 label=Case6.127 nb_sol=0 ticks=655776 tps=100 nb_sec=6557
case_no=139 label=Case6.127 nb_sol=0 ticks=727460 tps=100 nb_sec=7274
case_no=139 label=Case6.127 nb_sol=0 ticks=461068 tps=100 nb_sec=4610
case_no=139 label=Case6.127 nb_sol=0 ticks=762359 tps=100 nb_sec=7623
case_no=139 label=Case6.127 nb_sol=0 ticks=662364 tps=100 nb_sec=6623
case_no=139 label=Case6.127 nb_sol=0 ticks=514840 tps=100 nb_sec=5148
case_no=139 label=Case6.127 nb_sol=0 ticks=386254 tps=100 nb_sec=3862
case_no=139 label=Case6.127 nb_sol=0 ticks=435376 tps=100 nb_sec=4353
case_no=139 label=Case6.127 nb_sol=0 ticks=313951 tps=100 nb_sec=3139
case_no=139 label=Case6.127 nb_sol=0 ticks=651791 tps=100 nb_sec=6517
case_no=139 label=Case6.127 nb_sol=0 ticks=392204 tps=100 nb_sec=3922
case_no=139 label=Case6.127 nb_sol=0 ticks=639299 tps=100 nb_sec=6392
case_no=139 label=Case6.127 nb_sol=0 ticks=767616 tps=100 nb_sec=7676
case_no=139 label=Case6.127 nb_sol=0 ticks=531952 tps=100 nb_sec=5319
case_no=139 label=Case6.127 nb_sol=0 ticks=539427 tps=100 nb_sec=5394
case_no=139 label=Case6.127 nb_sol=0 ticks=358578 tps=100 nb_sec=3585
case_no=139 label=Case6.127 nb_sol=0 ticks=424819 tps=100 nb_sec=4248
case_no=139 label=Case6.127 nb_sol=0 ticks=590457 tps=100 nb_sec=5904
case_no=139 label=Case6.127 nb_sol=0 ticks=514799 tps=100 nb_sec=5147
case_no=139 label=Case6.127 nb_sol=0 ticks=497834 tps=100 nb_sec=4978
case_no=139 label=Case6.127 nb_sol=0 ticks=626371 tps=100 nb_sec=6263
case_no=139 label=Case6.127 nb_sol=0 ticks=551279 tps=100 nb_sec=5512
case_no=139 label=Case6.127 nb_sol=0 ticks=327159 tps=100 nb_sec=3271
case_no=139 label=Case6.127 nb_sol=0 ticks=463112 tps=100 nb_sec=4631
case_no=139 label=Case6.127 nb_sol=0 ticks=565800 tps=100 nb_sec=5658
case_no=139 label=Case6.127 nb_sol=0 ticks=430296 tps=100 nb_sec=4302
case_no=139 label=Case6.127 nb_sol=0 ticks=506025 tps=100 nb_sec=5060
case_no=139 label=Case6.127 nb_sol=0 ticks=533792 tps=100 nb_sec=5337
case_no=139 label=Case6.127 nb_sol=0 ticks=780503 tps=100 nb_sec=7805
case_no=139 label=Case6.127 nb_sol=0 ticks=453666 tps=100 nb_sec=4536
case_no=139 label=Case6.127 nb_sol=0 ticks=429591 tps=100 nb_sec=4295
case_no=139 label=Case6.127 nb_sol=0 ticks=652965 tps=100 nb_sec=6529
Nb_sol=0
Nb_sec=3127574
36-4:46:14 or 868 hours
missing cases:
none