argc=5
-M 1024
file2=30_select_Case6.122_starter_15_
checking files mod 1024 from 0 to 1023
case_no=134 label=Case6.122 nb_sol=0 ticks=346669 tps=100 nb_sec=3466
case_no=134 label=Case6.122 nb_sol=0 ticks=549827 tps=100 nb_sec=5498
case_no=134 label=Case6.122 nb_sol=0 ticks=203388 tps=100 nb_sec=2033
case_no=134 label=Case6.122 nb_sol=0 ticks=263596 tps=100 nb_sec=2635
case_no=134 label=Case6.122 nb_sol=0 ticks=422297 tps=100 nb_sec=4222
case_no=134 label=Case6.122 nb_sol=0 ticks=519840 tps=100 nb_sec=5198
case_no=134 label=Case6.122 nb_sol=0 ticks=524473 tps=100 nb_sec=5244
case_no=134 label=Case6.122 nb_sol=0 ticks=440452 tps=100 nb_sec=4404
case_no=134 label=Case6.122 nb_sol=0 ticks=322475 tps=100 nb_sec=3224
case_no=134 label=Case6.122 nb_sol=0 ticks=197366 tps=100 nb_sec=1973
case_no=134 label=Case6.122 nb_sol=0 ticks=414790 tps=100 nb_sec=4147
case_no=134 label=Case6.122 nb_sol=0 ticks=593557 tps=100 nb_sec=5935
case_no=134 label=Case6.122 nb_sol=0 ticks=403814 tps=100 nb_sec=4038
case_no=134 label=Case6.122 nb_sol=0 ticks=415029 tps=100 nb_sec=4150
case_no=134 label=Case6.122 nb_sol=0 ticks=203931 tps=100 nb_sec=2039
case_no=134 label=Case6.122 nb_sol=0 ticks=472978 tps=100 nb_sec=4729
case_no=134 label=Case6.122 nb_sol=0 ticks=657021 tps=100 nb_sec=6570
case_no=134 label=Case6.122 nb_sol=0 ticks=298267 tps=100 nb_sec=2982
case_no=134 label=Case6.122 nb_sol=0 ticks=186875 tps=100 nb_sec=1868
case_no=134 label=Case6.122 nb_sol=0 ticks=455980 tps=100 nb_sec=4559
case_no=134 label=Case6.122 nb_sol=0 ticks=472512 tps=100 nb_sec=4725
case_no=134 label=Case6.122 nb_sol=0 ticks=225238 tps=100 nb_sec=2252
case_no=134 label=Case6.122 nb_sol=0 ticks=277162 tps=100 nb_sec=2771
case_no=134 label=Case6.122 nb_sol=0 ticks=427314 tps=100 nb_sec=4273
case_no=134 label=Case6.122 nb_sol=0 ticks=578963 tps=100 nb_sec=5789
case_no=134 label=Case6.122 nb_sol=0 ticks=638104 tps=100 nb_sec=6381
case_no=134 label=Case6.122 nb_sol=0 ticks=324667 tps=100 nb_sec=3246
case_no=134 label=Case6.122 nb_sol=0 ticks=404960 tps=100 nb_sec=4049
case_no=134 label=Case6.122 nb_sol=0 ticks=504436 tps=100 nb_sec=5044
case_no=134 label=Case6.122 nb_sol=0 ticks=411171 tps=100 nb_sec=4111
case_no=134 label=Case6.122 nb_sol=0 ticks=183597 tps=100 nb_sec=1835
case_no=134 label=Case6.122 nb_sol=0 ticks=251366 tps=100 nb_sec=2513
case_no=134 label=Case6.122 nb_sol=0 ticks=267611 tps=100 nb_sec=2676
case_no=134 label=Case6.122 nb_sol=0 ticks=457994 tps=100 nb_sec=4579
case_no=134 label=Case6.122 nb_sol=0 ticks=214479 tps=100 nb_sec=2144
case_no=134 label=Case6.122 nb_sol=0 ticks=296100 tps=100 nb_sec=2961
case_no=134 label=Case6.122 nb_sol=0 ticks=474348 tps=100 nb_sec=4743
case_no=134 label=Case6.122 nb_sol=0 ticks=551058 tps=100 nb_sec=5510
case_no=134 label=Case6.122 nb_sol=0 ticks=538587 tps=100 nb_sec=5385
case_no=134 label=Case6.122 nb_sol=0 ticks=342089 tps=100 nb_sec=3420
case_no=134 label=Case6.122 nb_sol=0 ticks=415862 tps=100 nb_sec=4158
case_no=134 label=Case6.122 nb_sol=0 ticks=650450 tps=100 nb_sec=6504
case_no=134 label=Case6.122 nb_sol=0 ticks=235534 tps=100 nb_sec=2355
case_no=134 label=Case6.122 nb_sol=0 ticks=284594 tps=100 nb_sec=2845
case_no=134 label=Case6.122 nb_sol=0 ticks=372953 tps=100 nb_sec=3729
case_no=134 label=Case6.122 nb_sol=0 ticks=407285 tps=100 nb_sec=4072
case_no=134 label=Case6.122 nb_sol=0 ticks=718002 tps=100 nb_sec=7180
case_no=134 label=Case6.122 nb_sol=0 ticks=246493 tps=100 nb_sec=2464
case_no=134 label=Case6.122 nb_sol=0 ticks=408071 tps=100 nb_sec=4080
case_no=134 label=Case6.122 nb_sol=0 ticks=632606 tps=100 nb_sec=6326
case_no=134 label=Case6.122 nb_sol=0 ticks=427579 tps=100 nb_sec=4275
case_no=134 label=Case6.122 nb_sol=0 ticks=398725 tps=100 nb_sec=3987
case_no=134 label=Case6.122 nb_sol=0 ticks=265896 tps=100 nb_sec=2658
case_no=134 label=Case6.122 nb_sol=0 ticks=382940 tps=100 nb_sec=3829
case_no=134 label=Case6.122 nb_sol=0 ticks=445278 tps=100 nb_sec=4452
case_no=134 label=Case6.122 nb_sol=0 ticks=230820 tps=100 nb_sec=2308
case_no=134 label=Case6.122 nb_sol=0 ticks=445164 tps=100 nb_sec=4451
case_no=134 label=Case6.122 nb_sol=0 ticks=403476 tps=100 nb_sec=4034
case_no=134 label=Case6.122 nb_sol=0 ticks=588870 tps=100 nb_sec=5888
case_no=134 label=Case6.122 nb_sol=0 ticks=399271 tps=100 nb_sec=3992
case_no=134 label=Case6.122 nb_sol=0 ticks=561436 tps=100 nb_sec=5614
case_no=134 label=Case6.122 nb_sol=0 ticks=485391 tps=100 nb_sec=4853
case_no=134 label=Case6.122 nb_sol=0 ticks=172529 tps=100 nb_sec=1725
case_no=134 label=Case6.122 nb_sol=0 ticks=479906 tps=100 nb_sec=4799
case_no=134 label=Case6.122 nb_sol=0 ticks=387801 tps=100 nb_sec=3878
case_no=134 label=Case6.122 nb_sol=0 ticks=680347 tps=100 nb_sec=6803
case_no=134 label=Case6.122 nb_sol=0 ticks=378895 tps=100 nb_sec=3788
case_no=134 label=Case6.122 nb_sol=0 ticks=198970 tps=100 nb_sec=1989
case_no=134 label=Case6.122 nb_sol=0 ticks=425307 tps=100 nb_sec=4253
case_no=134 label=Case6.122 nb_sol=0 ticks=479863 tps=100 nb_sec=4798
case_no=134 label=Case6.122 nb_sol=0 ticks=567303 tps=100 nb_sec=5673
case_no=134 label=Case6.122 nb_sol=0 ticks=395716 tps=100 nb_sec=3957
case_no=134 label=Case6.122 nb_sol=0 ticks=599020 tps=100 nb_sec=5990
case_no=134 label=Case6.122 nb_sol=0 ticks=562798 tps=100 nb_sec=5627
case_no=134 label=Case6.122 nb_sol=0 ticks=344287 tps=100 nb_sec=3442
case_no=134 label=Case6.122 nb_sol=0 ticks=391536 tps=100 nb_sec=3915
case_no=134 label=Case6.122 nb_sol=0 ticks=302954 tps=100 nb_sec=3029
case_no=134 label=Case6.122 nb_sol=0 ticks=462960 tps=100 nb_sec=4629
case_no=134 label=Case6.122 nb_sol=0 ticks=399696 tps=100 nb_sec=3996
case_no=134 label=Case6.122 nb_sol=0 ticks=381078 tps=100 nb_sec=3810
case_no=134 label=Case6.122 nb_sol=0 ticks=400830 tps=100 nb_sec=4008
case_no=134 label=Case6.122 nb_sol=0 ticks=426995 tps=100 nb_sec=4269
case_no=134 label=Case6.122 nb_sol=0 ticks=323039 tps=100 nb_sec=3230
case_no=134 label=Case6.122 nb_sol=0 ticks=384853 tps=100 nb_sec=3848
case_no=134 label=Case6.122 nb_sol=0 ticks=483983 tps=100 nb_sec=4839
case_no=134 label=Case6.122 nb_sol=0 ticks=489529 tps=100 nb_sec=4895
case_no=134 label=Case6.122 nb_sol=0 ticks=406187 tps=100 nb_sec=4061
case_no=134 label=Case6.122 nb_sol=0 ticks=365415 tps=100 nb_sec=3654
case_no=134 label=Case6.122 nb_sol=0 ticks=341554 tps=100 nb_sec=3415
case_no=134 label=Case6.122 nb_sol=0 ticks=335307 tps=100 nb_sec=3353
case_no=134 label=Case6.122 nb_sol=0 ticks=390541 tps=100 nb_sec=3905
case_no=134 label=Case6.122 nb_sol=0 ticks=370646 tps=100 nb_sec=3706
case_no=134 label=Case6.122 nb_sol=0 ticks=337039 tps=100 nb_sec=3370
case_no=134 label=Case6.122 nb_sol=0 ticks=292407 tps=100 nb_sec=2924
case_no=134 label=Case6.122 nb_sol=0 ticks=213136 tps=100 nb_sec=2131
case_no=134 label=Case6.122 nb_sol=0 ticks=300540 tps=100 nb_sec=3005
case_no=134 label=Case6.122 nb_sol=0 ticks=393187 tps=100 nb_sec=3931
case_no=134 label=Case6.122 nb_sol=0 ticks=461578 tps=100 nb_sec=4615
case_no=134 label=Case6.122 nb_sol=0 ticks=395136 tps=100 nb_sec=3951
case_no=134 label=Case6.122 nb_sol=0 ticks=388889 tps=100 nb_sec=3888
case_no=134 label=Case6.122 nb_sol=0 ticks=319569 tps=100 nb_sec=3195
case_no=134 label=Case6.122 nb_sol=0 ticks=356416 tps=100 nb_sec=3564
case_no=134 label=Case6.122 nb_sol=0 ticks=370842 tps=100 nb_sec=3708
case_no=134 label=Case6.122 nb_sol=0 ticks=418178 tps=100 nb_sec=4181
case_no=134 label=Case6.122 nb_sol=0 ticks=295872 tps=100 nb_sec=2958
case_no=134 label=Case6.122 nb_sol=0 ticks=352667 tps=100 nb_sec=3526
case_no=134 label=Case6.122 nb_sol=0 ticks=290814 tps=100 nb_sec=2908
case_no=134 label=Case6.122 nb_sol=0 ticks=249017 tps=100 nb_sec=2490
case_no=134 label=Case6.122 nb_sol=0 ticks=277571 tps=100 nb_sec=2775
case_no=134 label=Case6.122 nb_sol=0 ticks=235960 tps=100 nb_sec=2359
case_no=134 label=Case6.122 nb_sol=0 ticks=171524 tps=100 nb_sec=1715
case_no=134 label=Case6.122 nb_sol=0 ticks=241745 tps=100 nb_sec=2417
case_no=134 label=Case6.122 nb_sol=0 ticks=389589 tps=100 nb_sec=3895
case_no=134 label=Case6.122 nb_sol=0 ticks=368916 tps=100 nb_sec=3689
case_no=134 label=Case6.122 nb_sol=0 ticks=381014 tps=100 nb_sec=3810
case_no=134 label=Case6.122 nb_sol=0 ticks=295430 tps=100 nb_sec=2954
case_no=134 label=Case6.122 nb_sol=0 ticks=407628 tps=100 nb_sec=4076
case_no=134 label=Case6.122 nb_sol=0 ticks=314200 tps=100 nb_sec=3142
case_no=134 label=Case6.122 nb_sol=0 ticks=184980 tps=100 nb_sec=1849
case_no=134 label=Case6.122 nb_sol=0 ticks=358071 tps=100 nb_sec=3580
case_no=134 label=Case6.122 nb_sol=0 ticks=331818 tps=100 nb_sec=3318
case_no=134 label=Case6.122 nb_sol=0 ticks=250016 tps=100 nb_sec=2500
case_no=134 label=Case6.122 nb_sol=0 ticks=343698 tps=100 nb_sec=3436
case_no=134 label=Case6.122 nb_sol=0 ticks=250978 tps=100 nb_sec=2509
case_no=134 label=Case6.122 nb_sol=0 ticks=303865 tps=100 nb_sec=3038
case_no=134 label=Case6.122 nb_sol=0 ticks=263632 tps=100 nb_sec=2636
case_no=134 label=Case6.122 nb_sol=0 ticks=386738 tps=100 nb_sec=3867
case_no=134 label=Case6.122 nb_sol=0 ticks=251519 tps=100 nb_sec=2515
case_no=134 label=Case6.122 nb_sol=0 ticks=272523 tps=100 nb_sec=2725
case_no=134 label=Case6.122 nb_sol=0 ticks=368203 tps=100 nb_sec=3682
case_no=134 label=Case6.122 nb_sol=0 ticks=192391 tps=100 nb_sec=1923
case_no=134 label=Case6.122 nb_sol=0 ticks=377320 tps=100 nb_sec=3773
case_no=134 label=Case6.122 nb_sol=0 ticks=437365 tps=100 nb_sec=4373
case_no=134 label=Case6.122 nb_sol=0 ticks=196078 tps=100 nb_sec=1960
case_no=134 label=Case6.122 nb_sol=0 ticks=503172 tps=100 nb_sec=5031
case_no=134 label=Case6.122 nb_sol=0 ticks=392934 tps=100 nb_sec=3929
case_no=134 label=Case6.122 nb_sol=0 ticks=192613 tps=100 nb_sec=1926
case_no=134 label=Case6.122 nb_sol=0 ticks=458187 tps=100 nb_sec=4581
case_no=134 label=Case6.122 nb_sol=0 ticks=306726 tps=100 nb_sec=3067
case_no=134 label=Case6.122 nb_sol=0 ticks=188285 tps=100 nb_sec=1882
case_no=134 label=Case6.122 nb_sol=0 ticks=423120 tps=100 nb_sec=4231
case_no=134 label=Case6.122 nb_sol=0 ticks=471415 tps=100 nb_sec=4714
case_no=134 label=Case6.122 nb_sol=0 ticks=212101 tps=100 nb_sec=2121
case_no=134 label=Case6.122 nb_sol=0 ticks=242610 tps=100 nb_sec=2426
case_no=134 label=Case6.122 nb_sol=0 ticks=430775 tps=100 nb_sec=4307
case_no=134 label=Case6.122 nb_sol=0 ticks=236961 tps=100 nb_sec=2369
case_no=134 label=Case6.122 nb_sol=0 ticks=277392 tps=100 nb_sec=2773
case_no=134 label=Case6.122 nb_sol=0 ticks=390354 tps=100 nb_sec=3903
case_no=134 label=Case6.122 nb_sol=0 ticks=278098 tps=100 nb_sec=2780
case_no=134 label=Case6.122 nb_sol=0 ticks=375712 tps=100 nb_sec=3757
case_no=134 label=Case6.122 nb_sol=0 ticks=329095 tps=100 nb_sec=3290
case_no=134 label=Case6.122 nb_sol=0 ticks=426460 tps=100 nb_sec=4264
case_no=134 label=Case6.122 nb_sol=0 ticks=310901 tps=100 nb_sec=3109
case_no=134 label=Case6.122 nb_sol=0 ticks=377697 tps=100 nb_sec=3776
case_no=134 label=Case6.122 nb_sol=0 ticks=421684 tps=100 nb_sec=4216
case_no=134 label=Case6.122 nb_sol=0 ticks=379622 tps=100 nb_sec=3796
case_no=134 label=Case6.122 nb_sol=0 ticks=496199 tps=100 nb_sec=4961
case_no=134 label=Case6.122 nb_sol=0 ticks=435377 tps=100 nb_sec=4353
case_no=134 label=Case6.122 nb_sol=0 ticks=430756 tps=100 nb_sec=4307
case_no=134 label=Case6.122 nb_sol=0 ticks=392445 tps=100 nb_sec=3924
case_no=134 label=Case6.122 nb_sol=0 ticks=476573 tps=100 nb_sec=4765
case_no=134 label=Case6.122 nb_sol=0 ticks=449840 tps=100 nb_sec=4498
case_no=134 label=Case6.122 nb_sol=0 ticks=528246 tps=100 nb_sec=5282
case_no=134 label=Case6.122 nb_sol=0 ticks=435848 tps=100 nb_sec=4358
case_no=134 label=Case6.122 nb_sol=0 ticks=182570 tps=100 nb_sec=1825
case_no=134 label=Case6.122 nb_sol=0 ticks=485207 tps=100 nb_sec=4852
case_no=134 label=Case6.122 nb_sol=0 ticks=401489 tps=100 nb_sec=4014
case_no=134 label=Case6.122 nb_sol=0 ticks=439628 tps=100 nb_sec=4396
case_no=134 label=Case6.122 nb_sol=0 ticks=389620 tps=100 nb_sec=3896
case_no=134 label=Case6.122 nb_sol=0 ticks=408310 tps=100 nb_sec=4083
case_no=134 label=Case6.122 nb_sol=0 ticks=204289 tps=100 nb_sec=2042
case_no=134 label=Case6.122 nb_sol=0 ticks=166153 tps=100 nb_sec=1661
case_no=134 label=Case6.122 nb_sol=0 ticks=163485 tps=100 nb_sec=1634
case_no=134 label=Case6.122 nb_sol=0 ticks=456185 tps=100 nb_sec=4561
case_no=134 label=Case6.122 nb_sol=0 ticks=219277 tps=100 nb_sec=2192
case_no=134 label=Case6.122 nb_sol=0 ticks=471751 tps=100 nb_sec=4717
case_no=134 label=Case6.122 nb_sol=0 ticks=302570 tps=100 nb_sec=3025
case_no=134 label=Case6.122 nb_sol=0 ticks=464746 tps=100 nb_sec=4647
case_no=134 label=Case6.122 nb_sol=0 ticks=165059 tps=100 nb_sec=1650
case_no=134 label=Case6.122 nb_sol=0 ticks=414950 tps=100 nb_sec=4149
case_no=134 label=Case6.122 nb_sol=0 ticks=470426 tps=100 nb_sec=4704
case_no=134 label=Case6.122 nb_sol=0 ticks=412349 tps=100 nb_sec=4123
case_no=134 label=Case6.122 nb_sol=0 ticks=356435 tps=100 nb_sec=3564
case_no=134 label=Case6.122 nb_sol=0 ticks=316700 tps=100 nb_sec=3167
case_no=134 label=Case6.122 nb_sol=0 ticks=233386 tps=100 nb_sec=2333
case_no=134 label=Case6.122 nb_sol=0 ticks=523256 tps=100 nb_sec=5232
case_no=134 label=Case6.122 nb_sol=0 ticks=463696 tps=100 nb_sec=4636
case_no=134 label=Case6.122 nb_sol=0 ticks=224902 tps=100 nb_sec=2249
case_no=134 label=Case6.122 nb_sol=0 ticks=376376 tps=100 nb_sec=3763
case_no=134 label=Case6.122 nb_sol=0 ticks=395598 tps=100 nb_sec=3955
case_no=134 label=Case6.122 nb_sol=0 ticks=198688 tps=100 nb_sec=1986
case_no=134 label=Case6.122 nb_sol=0 ticks=436349 tps=100 nb_sec=4363
case_no=134 label=Case6.122 nb_sol=0 ticks=452219 tps=100 nb_sec=4522
case_no=134 label=Case6.122 nb_sol=0 ticks=310829 tps=100 nb_sec=3108
case_no=134 label=Case6.122 nb_sol=0 ticks=397891 tps=100 nb_sec=3978
case_no=134 label=Case6.122 nb_sol=0 ticks=298982 tps=100 nb_sec=2989
case_no=134 label=Case6.122 nb_sol=0 ticks=368330 tps=100 nb_sec=3683
case_no=134 label=Case6.122 nb_sol=0 ticks=566604 tps=100 nb_sec=5666
case_no=134 label=Case6.122 nb_sol=0 ticks=587481 tps=100 nb_sec=5874
case_no=134 label=Case6.122 nb_sol=0 ticks=567274 tps=100 nb_sec=5672
case_no=134 label=Case6.122 nb_sol=0 ticks=419747 tps=100 nb_sec=4197
case_no=134 label=Case6.122 nb_sol=0 ticks=412606 tps=100 nb_sec=4126
case_no=134 label=Case6.122 nb_sol=0 ticks=142337 tps=100 nb_sec=1423
case_no=134 label=Case6.122 nb_sol=0 ticks=379819 tps=100 nb_sec=3798
case_no=134 label=Case6.122 nb_sol=0 ticks=202069 tps=100 nb_sec=2020
case_no=134 label=Case6.122 nb_sol=0 ticks=273251 tps=100 nb_sec=2732
case_no=134 label=Case6.122 nb_sol=0 ticks=496534 tps=100 nb_sec=4965
case_no=134 label=Case6.122 nb_sol=0 ticks=410707 tps=100 nb_sec=4107
case_no=134 label=Case6.122 nb_sol=0 ticks=307145 tps=100 nb_sec=3071
case_no=134 label=Case6.122 nb_sol=0 ticks=345481 tps=100 nb_sec=3454
case_no=134 label=Case6.122 nb_sol=0 ticks=339474 tps=100 nb_sec=3394
case_no=134 label=Case6.122 nb_sol=0 ticks=648420 tps=100 nb_sec=6484
case_no=134 label=Case6.122 nb_sol=0 ticks=526437 tps=100 nb_sec=5264
case_no=134 label=Case6.122 nb_sol=0 ticks=423832 tps=100 nb_sec=4238
case_no=134 label=Case6.122 nb_sol=0 ticks=359793 tps=100 nb_sec=3597
case_no=134 label=Case6.122 nb_sol=0 ticks=521687 tps=100 nb_sec=5216
case_no=134 label=Case6.122 nb_sol=0 ticks=460810 tps=100 nb_sec=4608
case_no=134 label=Case6.122 nb_sol=0 ticks=428392 tps=100 nb_sec=4283
case_no=134 label=Case6.122 nb_sol=0 ticks=386180 tps=100 nb_sec=3861
case_no=134 label=Case6.122 nb_sol=0 ticks=410863 tps=100 nb_sec=4108
case_no=134 label=Case6.122 nb_sol=0 ticks=520530 tps=100 nb_sec=5205
case_no=134 label=Case6.122 nb_sol=0 ticks=350741 tps=100 nb_sec=3507
case_no=134 label=Case6.122 nb_sol=0 ticks=358372 tps=100 nb_sec=3583
case_no=134 label=Case6.122 nb_sol=0 ticks=183615 tps=100 nb_sec=1836
case_no=134 label=Case6.122 nb_sol=0 ticks=176176 tps=100 nb_sec=1761
case_no=134 label=Case6.122 nb_sol=0 ticks=582328 tps=100 nb_sec=5823
case_no=134 label=Case6.122 nb_sol=0 ticks=226187 tps=100 nb_sec=2261
case_no=134 label=Case6.122 nb_sol=0 ticks=170713 tps=100 nb_sec=1707
case_no=134 label=Case6.122 nb_sol=0 ticks=280922 tps=100 nb_sec=2809
case_no=134 label=Case6.122 nb_sol=0 ticks=530800 tps=100 nb_sec=5308
case_no=134 label=Case6.122 nb_sol=0 ticks=205568 tps=100 nb_sec=2055
case_no=134 label=Case6.122 nb_sol=0 ticks=423172 tps=100 nb_sec=4231
case_no=134 label=Case6.122 nb_sol=0 ticks=363979 tps=100 nb_sec=3639
case_no=134 label=Case6.122 nb_sol=0 ticks=460413 tps=100 nb_sec=4604
case_no=134 label=Case6.122 nb_sol=0 ticks=381494 tps=100 nb_sec=3814
case_no=134 label=Case6.122 nb_sol=0 ticks=657132 tps=100 nb_sec=6571
case_no=134 label=Case6.122 nb_sol=0 ticks=553152 tps=100 nb_sec=5531
case_no=134 label=Case6.122 nb_sol=0 ticks=437443 tps=100 nb_sec=4374
case_no=134 label=Case6.122 nb_sol=0 ticks=176991 tps=100 nb_sec=1769
case_no=134 label=Case6.122 nb_sol=0 ticks=438473 tps=100 nb_sec=4384
case_no=134 label=Case6.122 nb_sol=0 ticks=338623 tps=100 nb_sec=3386
case_no=134 label=Case6.122 nb_sol=0 ticks=484066 tps=100 nb_sec=4840
case_no=134 label=Case6.122 nb_sol=0 ticks=422552 tps=100 nb_sec=4225
case_no=134 label=Case6.122 nb_sol=0 ticks=553367 tps=100 nb_sec=5533
case_no=134 label=Case6.122 nb_sol=0 ticks=605017 tps=100 nb_sec=6050
case_no=134 label=Case6.122 nb_sol=0 ticks=761870 tps=100 nb_sec=7618
case_no=134 label=Case6.122 nb_sol=0 ticks=481709 tps=100 nb_sec=4817
case_no=134 label=Case6.122 nb_sol=0 ticks=507348 tps=100 nb_sec=5073
case_no=134 label=Case6.122 nb_sol=0 ticks=347676 tps=100 nb_sec=3476
case_no=134 label=Case6.122 nb_sol=0 ticks=259671 tps=100 nb_sec=2596
case_no=134 label=Case6.122 nb_sol=0 ticks=262230 tps=100 nb_sec=2622
case_no=134 label=Case6.122 nb_sol=0 ticks=288232 tps=100 nb_sec=2882
case_no=134 label=Case6.122 nb_sol=0 ticks=231803 tps=100 nb_sec=2318
case_no=134 label=Case6.122 nb_sol=0 ticks=302057 tps=100 nb_sec=3020
case_no=134 label=Case6.122 nb_sol=0 ticks=413421 tps=100 nb_sec=4134
case_no=134 label=Case6.122 nb_sol=0 ticks=374407 tps=100 nb_sec=3744
case_no=134 label=Case6.122 nb_sol=0 ticks=219484 tps=100 nb_sec=2194
case_no=134 label=Case6.122 nb_sol=0 ticks=374381 tps=100 nb_sec=3743
case_no=134 label=Case6.122 nb_sol=0 ticks=405794 tps=100 nb_sec=4057
case_no=134 label=Case6.122 nb_sol=0 ticks=308819 tps=100 nb_sec=3088
case_no=134 label=Case6.122 nb_sol=0 ticks=346134 tps=100 nb_sec=3461
case_no=134 label=Case6.122 nb_sol=0 ticks=193652 tps=100 nb_sec=1936
case_no=134 label=Case6.122 nb_sol=0 ticks=170103 tps=100 nb_sec=1701
case_no=134 label=Case6.122 nb_sol=0 ticks=146229 tps=100 nb_sec=1462
case_no=134 label=Case6.122 nb_sol=0 ticks=155336 tps=100 nb_sec=1553
case_no=134 label=Case6.122 nb_sol=0 ticks=189791 tps=100 nb_sec=1897
case_no=134 label=Case6.122 nb_sol=0 ticks=417775 tps=100 nb_sec=4177
case_no=134 label=Case6.122 nb_sol=0 ticks=300744 tps=100 nb_sec=3007
case_no=134 label=Case6.122 nb_sol=0 ticks=225614 tps=100 nb_sec=2256
case_no=134 label=Case6.122 nb_sol=0 ticks=269351 tps=100 nb_sec=2693
case_no=134 label=Case6.122 nb_sol=0 ticks=295796 tps=100 nb_sec=2957
case_no=134 label=Case6.122 nb_sol=0 ticks=237660 tps=100 nb_sec=2376
case_no=134 label=Case6.122 nb_sol=0 ticks=203727 tps=100 nb_sec=2037
case_no=134 label=Case6.122 nb_sol=0 ticks=155634 tps=100 nb_sec=1556
case_no=134 label=Case6.122 nb_sol=0 ticks=342041 tps=100 nb_sec=3420
case_no=134 label=Case6.122 nb_sol=0 ticks=220050 tps=100 nb_sec=2200
case_no=134 label=Case6.122 nb_sol=0 ticks=150443 tps=100 nb_sec=1504
case_no=134 label=Case6.122 nb_sol=0 ticks=272668 tps=100 nb_sec=2726
case_no=134 label=Case6.122 nb_sol=0 ticks=165473 tps=100 nb_sec=1654
case_no=134 label=Case6.122 nb_sol=0 ticks=306525 tps=100 nb_sec=3065
case_no=134 label=Case6.122 nb_sol=0 ticks=267114 tps=100 nb_sec=2671
case_no=134 label=Case6.122 nb_sol=0 ticks=257495 tps=100 nb_sec=2574
case_no=134 label=Case6.122 nb_sol=0 ticks=262745 tps=100 nb_sec=2627
case_no=134 label=Case6.122 nb_sol=0 ticks=279654 tps=100 nb_sec=2796
case_no=134 label=Case6.122 nb_sol=0 ticks=194892 tps=100 nb_sec=1948
case_no=134 label=Case6.122 nb_sol=0 ticks=329587 tps=100 nb_sec=3295
case_no=134 label=Case6.122 nb_sol=0 ticks=317532 tps=100 nb_sec=3175
case_no=134 label=Case6.122 nb_sol=0 ticks=574428 tps=100 nb_sec=5744
case_no=134 label=Case6.122 nb_sol=0 ticks=164699 tps=100 nb_sec=1646
case_no=134 label=Case6.122 nb_sol=0 ticks=534570 tps=100 nb_sec=5345
case_no=134 label=Case6.122 nb_sol=0 ticks=376046 tps=100 nb_sec=3760
case_no=134 label=Case6.122 nb_sol=0 ticks=249164 tps=100 nb_sec=2491
case_no=134 label=Case6.122 nb_sol=0 ticks=400018 tps=100 nb_sec=4000
case_no=134 label=Case6.122 nb_sol=0 ticks=432294 tps=100 nb_sec=4322
case_no=134 label=Case6.122 nb_sol=0 ticks=425934 tps=100 nb_sec=4259
case_no=134 label=Case6.122 nb_sol=0 ticks=165489 tps=100 nb_sec=1654
case_no=134 label=Case6.122 nb_sol=0 ticks=320727 tps=100 nb_sec=3207
case_no=134 label=Case6.122 nb_sol=0 ticks=340155 tps=100 nb_sec=3401
case_no=134 label=Case6.122 nb_sol=0 ticks=452289 tps=100 nb_sec=4522
case_no=134 label=Case6.122 nb_sol=0 ticks=250539 tps=100 nb_sec=2505
case_no=134 label=Case6.122 nb_sol=0 ticks=203703 tps=100 nb_sec=2037
case_no=134 label=Case6.122 nb_sol=0 ticks=322673 tps=100 nb_sec=3226
case_no=134 label=Case6.122 nb_sol=0 ticks=233621 tps=100 nb_sec=2336
case_no=134 label=Case6.122 nb_sol=0 ticks=221420 tps=100 nb_sec=2214
case_no=134 label=Case6.122 nb_sol=0 ticks=311555 tps=100 nb_sec=3115
case_no=134 label=Case6.122 nb_sol=0 ticks=174217 tps=100 nb_sec=1742
case_no=134 label=Case6.122 nb_sol=0 ticks=370777 tps=100 nb_sec=3707
case_no=134 label=Case6.122 nb_sol=0 ticks=318761 tps=100 nb_sec=3187
case_no=134 label=Case6.122 nb_sol=0 ticks=452529 tps=100 nb_sec=4525
case_no=134 label=Case6.122 nb_sol=0 ticks=330942 tps=100 nb_sec=3309
case_no=134 label=Case6.122 nb_sol=0 ticks=391394 tps=100 nb_sec=3913
case_no=134 label=Case6.122 nb_sol=0 ticks=388617 tps=100 nb_sec=3886
case_no=134 label=Case6.122 nb_sol=0 ticks=561088 tps=100 nb_sec=5610
case_no=134 label=Case6.122 nb_sol=0 ticks=222913 tps=100 nb_sec=2229
case_no=134 label=Case6.122 nb_sol=0 ticks=312980 tps=100 nb_sec=3129
case_no=134 label=Case6.122 nb_sol=0 ticks=439449 tps=100 nb_sec=4394
case_no=134 label=Case6.122 nb_sol=0 ticks=334779 tps=100 nb_sec=3347
case_no=134 label=Case6.122 nb_sol=0 ticks=445236 tps=100 nb_sec=4452
case_no=134 label=Case6.122 nb_sol=0 ticks=352178 tps=100 nb_sec=3521
case_no=134 label=Case6.122 nb_sol=0 ticks=532616 tps=100 nb_sec=5326
case_no=134 label=Case6.122 nb_sol=0 ticks=386282 tps=100 nb_sec=3862
case_no=134 label=Case6.122 nb_sol=0 ticks=361153 tps=100 nb_sec=3611
case_no=134 label=Case6.122 nb_sol=0 ticks=568253 tps=100 nb_sec=5682
case_no=134 label=Case6.122 nb_sol=0 ticks=568775 tps=100 nb_sec=5687
case_no=134 label=Case6.122 nb_sol=0 ticks=492039 tps=100 nb_sec=4920
case_no=134 label=Case6.122 nb_sol=0 ticks=260510 tps=100 nb_sec=2605
case_no=134 label=Case6.122 nb_sol=0 ticks=380654 tps=100 nb_sec=3806
case_no=134 label=Case6.122 nb_sol=0 ticks=236916 tps=100 nb_sec=2369
case_no=134 label=Case6.122 nb_sol=0 ticks=166486 tps=100 nb_sec=1664
case_no=134 label=Case6.122 nb_sol=0 ticks=285634 tps=100 nb_sec=2856
case_no=134 label=Case6.122 nb_sol=0 ticks=363897 tps=100 nb_sec=3638
case_no=134 label=Case6.122 nb_sol=0 ticks=169308 tps=100 nb_sec=1693
case_no=134 label=Case6.122 nb_sol=0 ticks=212735 tps=100 nb_sec=2127
case_no=134 label=Case6.122 nb_sol=0 ticks=198805 tps=100 nb_sec=1988
case_no=134 label=Case6.122 nb_sol=0 ticks=195892 tps=100 nb_sec=1958
case_no=134 label=Case6.122 nb_sol=0 ticks=168687 tps=100 nb_sec=1686
case_no=134 label=Case6.122 nb_sol=0 ticks=185147 tps=100 nb_sec=1851
case_no=134 label=Case6.122 nb_sol=0 ticks=212441 tps=100 nb_sec=2124
case_no=134 label=Case6.122 nb_sol=0 ticks=219688 tps=100 nb_sec=2196
case_no=134 label=Case6.122 nb_sol=0 ticks=156122 tps=100 nb_sec=1561
case_no=134 label=Case6.122 nb_sol=0 ticks=356429 tps=100 nb_sec=3564
case_no=134 label=Case6.122 nb_sol=0 ticks=201726 tps=100 nb_sec=2017
case_no=134 label=Case6.122 nb_sol=0 ticks=191611 tps=100 nb_sec=1916
case_no=134 label=Case6.122 nb_sol=0 ticks=178460 tps=100 nb_sec=1784
case_no=134 label=Case6.122 nb_sol=0 ticks=226091 tps=100 nb_sec=2260
case_no=134 label=Case6.122 nb_sol=0 ticks=258821 tps=100 nb_sec=2588
case_no=134 label=Case6.122 nb_sol=0 ticks=313477 tps=100 nb_sec=3134
case_no=134 label=Case6.122 nb_sol=0 ticks=224177 tps=100 nb_sec=2241
case_no=134 label=Case6.122 nb_sol=0 ticks=458902 tps=100 nb_sec=4589
case_no=134 label=Case6.122 nb_sol=0 ticks=281844 tps=100 nb_sec=2818
case_no=134 label=Case6.122 nb_sol=0 ticks=263573 tps=100 nb_sec=2635
case_no=134 label=Case6.122 nb_sol=0 ticks=321889 tps=100 nb_sec=3218
case_no=134 label=Case6.122 nb_sol=0 ticks=409778 tps=100 nb_sec=4097
case_no=134 label=Case6.122 nb_sol=0 ticks=438225 tps=100 nb_sec=4382
case_no=134 label=Case6.122 nb_sol=0 ticks=340447 tps=100 nb_sec=3404
case_no=134 label=Case6.122 nb_sol=0 ticks=370539 tps=100 nb_sec=3705
case_no=134 label=Case6.122 nb_sol=0 ticks=318517 tps=100 nb_sec=3185
case_no=134 label=Case6.122 nb_sol=0 ticks=439215 tps=100 nb_sec=4392
case_no=134 label=Case6.122 nb_sol=0 ticks=641611 tps=100 nb_sec=6416
case_no=134 label=Case6.122 nb_sol=0 ticks=444131 tps=100 nb_sec=4441
case_no=134 label=Case6.122 nb_sol=0 ticks=375230 tps=100 nb_sec=3752
case_no=134 label=Case6.122 nb_sol=0 ticks=308817 tps=100 nb_sec=3088
case_no=134 label=Case6.122 nb_sol=0 ticks=245421 tps=100 nb_sec=2454
case_no=134 label=Case6.122 nb_sol=0 ticks=278214 tps=100 nb_sec=2782
case_no=134 label=Case6.122 nb_sol=0 ticks=193527 tps=100 nb_sec=1935
case_no=134 label=Case6.122 nb_sol=0 ticks=624668 tps=100 nb_sec=6246
case_no=134 label=Case6.122 nb_sol=0 ticks=579671 tps=100 nb_sec=5796
case_no=134 label=Case6.122 nb_sol=0 ticks=420876 tps=100 nb_sec=4208
case_no=134 label=Case6.122 nb_sol=0 ticks=534163 tps=100 nb_sec=5341
case_no=134 label=Case6.122 nb_sol=0 ticks=509142 tps=100 nb_sec=5091
case_no=134 label=Case6.122 nb_sol=0 ticks=458831 tps=100 nb_sec=4588
case_no=134 label=Case6.122 nb_sol=0 ticks=244623 tps=100 nb_sec=2446
case_no=134 label=Case6.122 nb_sol=0 ticks=292147 tps=100 nb_sec=2921
case_no=134 label=Case6.122 nb_sol=0 ticks=195338 tps=100 nb_sec=1953
case_no=134 label=Case6.122 nb_sol=0 ticks=251041 tps=100 nb_sec=2510
case_no=134 label=Case6.122 nb_sol=0 ticks=270375 tps=100 nb_sec=2703
case_no=134 label=Case6.122 nb_sol=0 ticks=293700 tps=100 nb_sec=2937
case_no=134 label=Case6.122 nb_sol=0 ticks=369082 tps=100 nb_sec=3690
case_no=134 label=Case6.122 nb_sol=0 ticks=272340 tps=100 nb_sec=2723
case_no=134 label=Case6.122 nb_sol=0 ticks=260393 tps=100 nb_sec=2603
case_no=134 label=Case6.122 nb_sol=0 ticks=222686 tps=100 nb_sec=2226
case_no=134 label=Case6.122 nb_sol=0 ticks=595130 tps=100 nb_sec=5951
case_no=134 label=Case6.122 nb_sol=0 ticks=550177 tps=100 nb_sec=5501
case_no=134 label=Case6.122 nb_sol=0 ticks=626115 tps=100 nb_sec=6261
case_no=134 label=Case6.122 nb_sol=0 ticks=453747 tps=100 nb_sec=4537
case_no=134 label=Case6.122 nb_sol=0 ticks=203703 tps=100 nb_sec=2037
case_no=134 label=Case6.122 nb_sol=0 ticks=188370 tps=100 nb_sec=1883
case_no=134 label=Case6.122 nb_sol=0 ticks=186220 tps=100 nb_sec=1862
case_no=134 label=Case6.122 nb_sol=0 ticks=192429 tps=100 nb_sec=1924
case_no=134 label=Case6.122 nb_sol=0 ticks=362224 tps=100 nb_sec=3622
case_no=134 label=Case6.122 nb_sol=0 ticks=452163 tps=100 nb_sec=4521
case_no=134 label=Case6.122 nb_sol=0 ticks=185179 tps=100 nb_sec=1851
case_no=134 label=Case6.122 nb_sol=0 ticks=183620 tps=100 nb_sec=1836
case_no=134 label=Case6.122 nb_sol=0 ticks=188735 tps=100 nb_sec=1887
case_no=134 label=Case6.122 nb_sol=0 ticks=197548 tps=100 nb_sec=1975
case_no=134 label=Case6.122 nb_sol=0 ticks=206385 tps=100 nb_sec=2063
case_no=134 label=Case6.122 nb_sol=0 ticks=191234 tps=100 nb_sec=1912
case_no=134 label=Case6.122 nb_sol=0 ticks=271417 tps=100 nb_sec=2714
case_no=134 label=Case6.122 nb_sol=0 ticks=288990 tps=100 nb_sec=2889
case_no=134 label=Case6.122 nb_sol=0 ticks=167804 tps=100 nb_sec=1678
case_no=134 label=Case6.122 nb_sol=0 ticks=332874 tps=100 nb_sec=3328
case_no=134 label=Case6.122 nb_sol=0 ticks=247727 tps=100 nb_sec=2477
case_no=134 label=Case6.122 nb_sol=0 ticks=217242 tps=100 nb_sec=2172
case_no=134 label=Case6.122 nb_sol=0 ticks=267100 tps=100 nb_sec=2671
case_no=134 label=Case6.122 nb_sol=0 ticks=263887 tps=100 nb_sec=2638
case_no=134 label=Case6.122 nb_sol=0 ticks=427858 tps=100 nb_sec=4278
case_no=134 label=Case6.122 nb_sol=0 ticks=315369 tps=100 nb_sec=3153
case_no=134 label=Case6.122 nb_sol=0 ticks=287745 tps=100 nb_sec=2877
case_no=134 label=Case6.122 nb_sol=0 ticks=325368 tps=100 nb_sec=3253
case_no=134 label=Case6.122 nb_sol=0 ticks=582834 tps=100 nb_sec=5828
case_no=134 label=Case6.122 nb_sol=0 ticks=450675 tps=100 nb_sec=4506
case_no=134 label=Case6.122 nb_sol=0 ticks=499125 tps=100 nb_sec=4991
case_no=134 label=Case6.122 nb_sol=0 ticks=404261 tps=100 nb_sec=4042
case_no=134 label=Case6.122 nb_sol=0 ticks=332744 tps=100 nb_sec=3327
case_no=134 label=Case6.122 nb_sol=0 ticks=326913 tps=100 nb_sec=3269
case_no=134 label=Case6.122 nb_sol=0 ticks=380134 tps=100 nb_sec=3801
case_no=134 label=Case6.122 nb_sol=0 ticks=387802 tps=100 nb_sec=3878
case_no=134 label=Case6.122 nb_sol=0 ticks=301401 tps=100 nb_sec=3014
case_no=134 label=Case6.122 nb_sol=0 ticks=228044 tps=100 nb_sec=2280
case_no=134 label=Case6.122 nb_sol=0 ticks=272133 tps=100 nb_sec=2721
case_no=134 label=Case6.122 nb_sol=0 ticks=392087 tps=100 nb_sec=3920
case_no=134 label=Case6.122 nb_sol=0 ticks=305350 tps=100 nb_sec=3053
case_no=134 label=Case6.122 nb_sol=0 ticks=275845 tps=100 nb_sec=2758
case_no=134 label=Case6.122 nb_sol=0 ticks=379163 tps=100 nb_sec=3791
case_no=134 label=Case6.122 nb_sol=0 ticks=294104 tps=100 nb_sec=2941
case_no=134 label=Case6.122 nb_sol=0 ticks=271916 tps=100 nb_sec=2719
case_no=134 label=Case6.122 nb_sol=0 ticks=252050 tps=100 nb_sec=2520
case_no=134 label=Case6.122 nb_sol=0 ticks=257220 tps=100 nb_sec=2572
case_no=134 label=Case6.122 nb_sol=0 ticks=299665 tps=100 nb_sec=2996
case_no=134 label=Case6.122 nb_sol=0 ticks=306174 tps=100 nb_sec=3061
case_no=134 label=Case6.122 nb_sol=0 ticks=370760 tps=100 nb_sec=3707
case_no=134 label=Case6.122 nb_sol=0 ticks=317842 tps=100 nb_sec=3178
case_no=134 label=Case6.122 nb_sol=0 ticks=385003 tps=100 nb_sec=3850
case_no=134 label=Case6.122 nb_sol=0 ticks=201822 tps=100 nb_sec=2018
case_no=134 label=Case6.122 nb_sol=0 ticks=205166 tps=100 nb_sec=2051
case_no=134 label=Case6.122 nb_sol=0 ticks=233833 tps=100 nb_sec=2338
case_no=134 label=Case6.122 nb_sol=0 ticks=179238 tps=100 nb_sec=1792
case_no=134 label=Case6.122 nb_sol=0 ticks=166730 tps=100 nb_sec=1667
case_no=134 label=Case6.122 nb_sol=0 ticks=196283 tps=100 nb_sec=1962
case_no=134 label=Case6.122 nb_sol=0 ticks=151372 tps=100 nb_sec=1513
case_no=134 label=Case6.122 nb_sol=0 ticks=405369 tps=100 nb_sec=4053
case_no=134 label=Case6.122 nb_sol=0 ticks=279765 tps=100 nb_sec=2797
case_no=134 label=Case6.122 nb_sol=0 ticks=255613 tps=100 nb_sec=2556
case_no=134 label=Case6.122 nb_sol=0 ticks=171532 tps=100 nb_sec=1715
case_no=134 label=Case6.122 nb_sol=0 ticks=222033 tps=100 nb_sec=2220
case_no=134 label=Case6.122 nb_sol=0 ticks=296408 tps=100 nb_sec=2964
case_no=134 label=Case6.122 nb_sol=0 ticks=341375 tps=100 nb_sec=3413
case_no=134 label=Case6.122 nb_sol=0 ticks=288609 tps=100 nb_sec=2886
case_no=134 label=Case6.122 nb_sol=0 ticks=256917 tps=100 nb_sec=2569
case_no=134 label=Case6.122 nb_sol=0 ticks=224245 tps=100 nb_sec=2242
case_no=134 label=Case6.122 nb_sol=0 ticks=237106 tps=100 nb_sec=2371
case_no=134 label=Case6.122 nb_sol=0 ticks=248715 tps=100 nb_sec=2487
case_no=134 label=Case6.122 nb_sol=0 ticks=184315 tps=100 nb_sec=1843
case_no=134 label=Case6.122 nb_sol=0 ticks=206123 tps=100 nb_sec=2061
case_no=134 label=Case6.122 nb_sol=0 ticks=420759 tps=100 nb_sec=4207
case_no=134 label=Case6.122 nb_sol=0 ticks=635716 tps=100 nb_sec=6357
case_no=134 label=Case6.122 nb_sol=0 ticks=504911 tps=100 nb_sec=5049
case_no=134 label=Case6.122 nb_sol=0 ticks=545644 tps=100 nb_sec=5456
case_no=134 label=Case6.122 nb_sol=0 ticks=442319 tps=100 nb_sec=4423
case_no=134 label=Case6.122 nb_sol=0 ticks=593075 tps=100 nb_sec=5930
case_no=134 label=Case6.122 nb_sol=0 ticks=632642 tps=100 nb_sec=6326
case_no=134 label=Case6.122 nb_sol=0 ticks=764703 tps=100 nb_sec=7647
case_no=134 label=Case6.122 nb_sol=0 ticks=621029 tps=100 nb_sec=6210
case_no=134 label=Case6.122 nb_sol=0 ticks=266097 tps=100 nb_sec=2660
case_no=134 label=Case6.122 nb_sol=0 ticks=257572 tps=100 nb_sec=2575
case_no=134 label=Case6.122 nb_sol=0 ticks=237014 tps=100 nb_sec=2370
case_no=134 label=Case6.122 nb_sol=0 ticks=260998 tps=100 nb_sec=2609
case_no=134 label=Case6.122 nb_sol=0 ticks=198085 tps=100 nb_sec=1980
case_no=134 label=Case6.122 nb_sol=0 ticks=199464 tps=100 nb_sec=1994
case_no=134 label=Case6.122 nb_sol=0 ticks=221735 tps=100 nb_sec=2217
case_no=134 label=Case6.122 nb_sol=0 ticks=550701 tps=100 nb_sec=5507
case_no=134 label=Case6.122 nb_sol=0 ticks=411190 tps=100 nb_sec=4111
case_no=134 label=Case6.122 nb_sol=0 ticks=596483 tps=100 nb_sec=5964
case_no=134 label=Case6.122 nb_sol=0 ticks=612274 tps=100 nb_sec=6122
case_no=134 label=Case6.122 nb_sol=0 ticks=213696 tps=100 nb_sec=2136
case_no=134 label=Case6.122 nb_sol=0 ticks=250248 tps=100 nb_sec=2502
case_no=134 label=Case6.122 nb_sol=0 ticks=440315 tps=100 nb_sec=4403
case_no=134 label=Case6.122 nb_sol=0 ticks=321667 tps=100 nb_sec=3216
case_no=134 label=Case6.122 nb_sol=0 ticks=286182 tps=100 nb_sec=2861
case_no=134 label=Case6.122 nb_sol=0 ticks=324688 tps=100 nb_sec=3246
case_no=134 label=Case6.122 nb_sol=0 ticks=353667 tps=100 nb_sec=3536
case_no=134 label=Case6.122 nb_sol=0 ticks=226608 tps=100 nb_sec=2266
case_no=134 label=Case6.122 nb_sol=0 ticks=173261 tps=100 nb_sec=1732
case_no=134 label=Case6.122 nb_sol=0 ticks=397829 tps=100 nb_sec=3978
case_no=134 label=Case6.122 nb_sol=0 ticks=403880 tps=100 nb_sec=4038
case_no=134 label=Case6.122 nb_sol=0 ticks=399564 tps=100 nb_sec=3995
case_no=134 label=Case6.122 nb_sol=0 ticks=233671 tps=100 nb_sec=2336
case_no=134 label=Case6.122 nb_sol=0 ticks=241083 tps=100 nb_sec=2410
case_no=134 label=Case6.122 nb_sol=0 ticks=420326 tps=100 nb_sec=4203
case_no=134 label=Case6.122 nb_sol=0 ticks=357585 tps=100 nb_sec=3575
case_no=134 label=Case6.122 nb_sol=0 ticks=474669 tps=100 nb_sec=4746
case_no=134 label=Case6.122 nb_sol=0 ticks=334470 tps=100 nb_sec=3344
case_no=134 label=Case6.122 nb_sol=0 ticks=423735 tps=100 nb_sec=4237
case_no=134 label=Case6.122 nb_sol=0 ticks=275999 tps=100 nb_sec=2759
case_no=134 label=Case6.122 nb_sol=0 ticks=373687 tps=100 nb_sec=3736
case_no=134 label=Case6.122 nb_sol=0 ticks=602157 tps=100 nb_sec=6021
case_no=134 label=Case6.122 nb_sol=0 ticks=393731 tps=100 nb_sec=3937
case_no=134 label=Case6.122 nb_sol=0 ticks=413377 tps=100 nb_sec=4133
case_no=134 label=Case6.122 nb_sol=0 ticks=446499 tps=100 nb_sec=4464
case_no=134 label=Case6.122 nb_sol=0 ticks=553295 tps=100 nb_sec=5532
case_no=134 label=Case6.122 nb_sol=0 ticks=326098 tps=100 nb_sec=3260
case_no=134 label=Case6.122 nb_sol=0 ticks=312595 tps=100 nb_sec=3125
case_no=134 label=Case6.122 nb_sol=0 ticks=251417 tps=100 nb_sec=2514
case_no=134 label=Case6.122 nb_sol=0 ticks=347243 tps=100 nb_sec=3472
case_no=134 label=Case6.122 nb_sol=0 ticks=354681 tps=100 nb_sec=3546
case_no=134 label=Case6.122 nb_sol=0 ticks=269725 tps=100 nb_sec=2697
case_no=134 label=Case6.122 nb_sol=0 ticks=381389 tps=100 nb_sec=3813
case_no=134 label=Case6.122 nb_sol=0 ticks=437280 tps=100 nb_sec=4372
case_no=134 label=Case6.122 nb_sol=0 ticks=406556 tps=100 nb_sec=4065
case_no=134 label=Case6.122 nb_sol=0 ticks=448242 tps=100 nb_sec=4482
case_no=134 label=Case6.122 nb_sol=0 ticks=219162 tps=100 nb_sec=2191
case_no=134 label=Case6.122 nb_sol=0 ticks=248022 tps=100 nb_sec=2480
case_no=134 label=Case6.122 nb_sol=0 ticks=445229 tps=100 nb_sec=4452
case_no=134 label=Case6.122 nb_sol=0 ticks=479427 tps=100 nb_sec=4794
case_no=134 label=Case6.122 nb_sol=0 ticks=435505 tps=100 nb_sec=4355
case_no=134 label=Case6.122 nb_sol=0 ticks=525894 tps=100 nb_sec=5258
case_no=134 label=Case6.122 nb_sol=0 ticks=209329 tps=100 nb_sec=2093
case_no=134 label=Case6.122 nb_sol=0 ticks=276820 tps=100 nb_sec=2768
case_no=134 label=Case6.122 nb_sol=0 ticks=265087 tps=100 nb_sec=2650
case_no=134 label=Case6.122 nb_sol=0 ticks=362134 tps=100 nb_sec=3621
case_no=134 label=Case6.122 nb_sol=0 ticks=189264 tps=100 nb_sec=1892
case_no=134 label=Case6.122 nb_sol=0 ticks=349190 tps=100 nb_sec=3491
case_no=134 label=Case6.122 nb_sol=0 ticks=470210 tps=100 nb_sec=4702
case_no=134 label=Case6.122 nb_sol=0 ticks=253111 tps=100 nb_sec=2531
case_no=134 label=Case6.122 nb_sol=0 ticks=351364 tps=100 nb_sec=3513
case_no=134 label=Case6.122 nb_sol=0 ticks=419291 tps=100 nb_sec=4192
case_no=134 label=Case6.122 nb_sol=0 ticks=254178 tps=100 nb_sec=2541
case_no=134 label=Case6.122 nb_sol=0 ticks=256355 tps=100 nb_sec=2563
case_no=134 label=Case6.122 nb_sol=0 ticks=272209 tps=100 nb_sec=2722
case_no=134 label=Case6.122 nb_sol=0 ticks=182499 tps=100 nb_sec=1824
case_no=134 label=Case6.122 nb_sol=0 ticks=475392 tps=100 nb_sec=4753
case_no=134 label=Case6.122 nb_sol=0 ticks=461364 tps=100 nb_sec=4613
case_no=134 label=Case6.122 nb_sol=0 ticks=378044 tps=100 nb_sec=3780
case_no=134 label=Case6.122 nb_sol=0 ticks=353044 tps=100 nb_sec=3530
case_no=134 label=Case6.122 nb_sol=0 ticks=316237 tps=100 nb_sec=3162
case_no=134 label=Case6.122 nb_sol=0 ticks=219725 tps=100 nb_sec=2197
case_no=134 label=Case6.122 nb_sol=0 ticks=361360 tps=100 nb_sec=3613
case_no=134 label=Case6.122 nb_sol=0 ticks=349251 tps=100 nb_sec=3492
case_no=134 label=Case6.122 nb_sol=0 ticks=286704 tps=100 nb_sec=2867
case_no=134 label=Case6.122 nb_sol=0 ticks=209991 tps=100 nb_sec=2099
case_no=134 label=Case6.122 nb_sol=0 ticks=238068 tps=100 nb_sec=2380
case_no=134 label=Case6.122 nb_sol=0 ticks=473849 tps=100 nb_sec=4738
case_no=134 label=Case6.122 nb_sol=0 ticks=388411 tps=100 nb_sec=3884
case_no=134 label=Case6.122 nb_sol=0 ticks=426633 tps=100 nb_sec=4266
case_no=134 label=Case6.122 nb_sol=0 ticks=236871 tps=100 nb_sec=2368
case_no=134 label=Case6.122 nb_sol=0 ticks=262777 tps=100 nb_sec=2627
case_no=134 label=Case6.122 nb_sol=0 ticks=145027 tps=100 nb_sec=1450
case_no=134 label=Case6.122 nb_sol=0 ticks=162155 tps=100 nb_sec=1621
case_no=134 label=Case6.122 nb_sol=0 ticks=340037 tps=100 nb_sec=3400
case_no=134 label=Case6.122 nb_sol=0 ticks=294020 tps=100 nb_sec=2940
case_no=134 label=Case6.122 nb_sol=0 ticks=260652 tps=100 nb_sec=2606
case_no=134 label=Case6.122 nb_sol=0 ticks=287594 tps=100 nb_sec=2875
case_no=134 label=Case6.122 nb_sol=0 ticks=207835 tps=100 nb_sec=2078
case_no=134 label=Case6.122 nb_sol=0 ticks=278194 tps=100 nb_sec=2781
case_no=134 label=Case6.122 nb_sol=0 ticks=407205 tps=100 nb_sec=4072
case_no=134 label=Case6.122 nb_sol=0 ticks=479600 tps=100 nb_sec=4796
case_no=134 label=Case6.122 nb_sol=0 ticks=386564 tps=100 nb_sec=3865
case_no=134 label=Case6.122 nb_sol=0 ticks=429914 tps=100 nb_sec=4299
case_no=134 label=Case6.122 nb_sol=0 ticks=352902 tps=100 nb_sec=3529
case_no=134 label=Case6.122 nb_sol=0 ticks=477931 tps=100 nb_sec=4779
case_no=134 label=Case6.122 nb_sol=0 ticks=408472 tps=100 nb_sec=4084
case_no=134 label=Case6.122 nb_sol=0 ticks=291292 tps=100 nb_sec=2912
case_no=134 label=Case6.122 nb_sol=0 ticks=495739 tps=100 nb_sec=4957
case_no=134 label=Case6.122 nb_sol=0 ticks=551846 tps=100 nb_sec=5518
case_no=134 label=Case6.122 nb_sol=0 ticks=480551 tps=100 nb_sec=4805
case_no=134 label=Case6.122 nb_sol=0 ticks=150069 tps=100 nb_sec=1500
case_no=134 label=Case6.122 nb_sol=0 ticks=432995 tps=100 nb_sec=4329
case_no=134 label=Case6.122 nb_sol=0 ticks=526935 tps=100 nb_sec=5269
case_no=134 label=Case6.122 nb_sol=0 ticks=164964 tps=100 nb_sec=1649
case_no=134 label=Case6.122 nb_sol=0 ticks=215692 tps=100 nb_sec=2156
case_no=134 label=Case6.122 nb_sol=0 ticks=358906 tps=100 nb_sec=3589
case_no=134 label=Case6.122 nb_sol=0 ticks=336850 tps=100 nb_sec=3368
case_no=134 label=Case6.122 nb_sol=0 ticks=359336 tps=100 nb_sec=3593
case_no=134 label=Case6.122 nb_sol=0 ticks=282934 tps=100 nb_sec=2829
case_no=134 label=Case6.122 nb_sol=0 ticks=206286 tps=100 nb_sec=2062
case_no=134 label=Case6.122 nb_sol=0 ticks=208272 tps=100 nb_sec=2082
case_no=134 label=Case6.122 nb_sol=0 ticks=163968 tps=100 nb_sec=1639
case_no=134 label=Case6.122 nb_sol=0 ticks=214324 tps=100 nb_sec=2143
case_no=134 label=Case6.122 nb_sol=0 ticks=182709 tps=100 nb_sec=1827
case_no=134 label=Case6.122 nb_sol=0 ticks=293285 tps=100 nb_sec=2932
case_no=134 label=Case6.122 nb_sol=0 ticks=291109 tps=100 nb_sec=2911
case_no=134 label=Case6.122 nb_sol=0 ticks=119195 tps=100 nb_sec=1191
case_no=134 label=Case6.122 nb_sol=0 ticks=301642 tps=100 nb_sec=3016
case_no=134 label=Case6.122 nb_sol=0 ticks=241969 tps=100 nb_sec=2419
case_no=134 label=Case6.122 nb_sol=0 ticks=544053 tps=100 nb_sec=5440
case_no=134 label=Case6.122 nb_sol=0 ticks=254677 tps=100 nb_sec=2546
case_no=134 label=Case6.122 nb_sol=0 ticks=346448 tps=100 nb_sec=3464
case_no=134 label=Case6.122 nb_sol=0 ticks=267691 tps=100 nb_sec=2676
case_no=134 label=Case6.122 nb_sol=0 ticks=322840 tps=100 nb_sec=3228
case_no=134 label=Case6.122 nb_sol=0 ticks=650915 tps=100 nb_sec=6509
case_no=134 label=Case6.122 nb_sol=0 ticks=435749 tps=100 nb_sec=4357
case_no=134 label=Case6.122 nb_sol=0 ticks=218932 tps=100 nb_sec=2189
case_no=134 label=Case6.122 nb_sol=0 ticks=425387 tps=100 nb_sec=4253
case_no=134 label=Case6.122 nb_sol=0 ticks=482898 tps=100 nb_sec=4828
case_no=134 label=Case6.122 nb_sol=0 ticks=623102 tps=100 nb_sec=6231
case_no=134 label=Case6.122 nb_sol=0 ticks=512284 tps=100 nb_sec=5122
case_no=134 label=Case6.122 nb_sol=0 ticks=177483 tps=100 nb_sec=1774
case_no=134 label=Case6.122 nb_sol=0 ticks=512462 tps=100 nb_sec=5124
case_no=134 label=Case6.122 nb_sol=0 ticks=537565 tps=100 nb_sec=5375
case_no=134 label=Case6.122 nb_sol=0 ticks=370752 tps=100 nb_sec=3707
case_no=134 label=Case6.122 nb_sol=0 ticks=233985 tps=100 nb_sec=2339
case_no=134 label=Case6.122 nb_sol=0 ticks=215705 tps=100 nb_sec=2157
case_no=134 label=Case6.122 nb_sol=0 ticks=254346 tps=100 nb_sec=2543
case_no=134 label=Case6.122 nb_sol=0 ticks=243659 tps=100 nb_sec=2436
case_no=134 label=Case6.122 nb_sol=0 ticks=197047 tps=100 nb_sec=1970
case_no=134 label=Case6.122 nb_sol=0 ticks=250141 tps=100 nb_sec=2501
case_no=134 label=Case6.122 nb_sol=0 ticks=289555 tps=100 nb_sec=2895
case_no=134 label=Case6.122 nb_sol=0 ticks=257780 tps=100 nb_sec=2577
case_no=134 label=Case6.122 nb_sol=0 ticks=313398 tps=100 nb_sec=3133
case_no=134 label=Case6.122 nb_sol=0 ticks=242311 tps=100 nb_sec=2423
case_no=134 label=Case6.122 nb_sol=0 ticks=149119 tps=100 nb_sec=1491
case_no=134 label=Case6.122 nb_sol=0 ticks=216110 tps=100 nb_sec=2161
case_no=134 label=Case6.122 nb_sol=0 ticks=462731 tps=100 nb_sec=4627
case_no=134 label=Case6.122 nb_sol=0 ticks=235939 tps=100 nb_sec=2359
case_no=134 label=Case6.122 nb_sol=0 ticks=249592 tps=100 nb_sec=2495
case_no=134 label=Case6.122 nb_sol=0 ticks=227784 tps=100 nb_sec=2277
case_no=134 label=Case6.122 nb_sol=0 ticks=328738 tps=100 nb_sec=3287
case_no=134 label=Case6.122 nb_sol=0 ticks=225475 tps=100 nb_sec=2254
case_no=134 label=Case6.122 nb_sol=0 ticks=369197 tps=100 nb_sec=3691
case_no=134 label=Case6.122 nb_sol=0 ticks=222900 tps=100 nb_sec=2229
case_no=134 label=Case6.122 nb_sol=0 ticks=197697 tps=100 nb_sec=1976
case_no=134 label=Case6.122 nb_sol=0 ticks=163674 tps=100 nb_sec=1636
case_no=134 label=Case6.122 nb_sol=0 ticks=462453 tps=100 nb_sec=4624
case_no=134 label=Case6.122 nb_sol=0 ticks=180961 tps=100 nb_sec=1809
case_no=134 label=Case6.122 nb_sol=0 ticks=248132 tps=100 nb_sec=2481
case_no=134 label=Case6.122 nb_sol=0 ticks=193148 tps=100 nb_sec=1931
case_no=134 label=Case6.122 nb_sol=0 ticks=323811 tps=100 nb_sec=3238
case_no=134 label=Case6.122 nb_sol=0 ticks=209150 tps=100 nb_sec=2091
case_no=134 label=Case6.122 nb_sol=0 ticks=419981 tps=100 nb_sec=4199
case_no=134 label=Case6.122 nb_sol=0 ticks=293408 tps=100 nb_sec=2934
case_no=134 label=Case6.122 nb_sol=0 ticks=338163 tps=100 nb_sec=3381
case_no=134 label=Case6.122 nb_sol=0 ticks=534638 tps=100 nb_sec=5346
case_no=134 label=Case6.122 nb_sol=0 ticks=447123 tps=100 nb_sec=4471
case_no=134 label=Case6.122 nb_sol=0 ticks=468050 tps=100 nb_sec=4680
case_no=134 label=Case6.122 nb_sol=0 ticks=400253 tps=100 nb_sec=4002
case_no=134 label=Case6.122 nb_sol=0 ticks=557521 tps=100 nb_sec=5575
case_no=134 label=Case6.122 nb_sol=0 ticks=165870 tps=100 nb_sec=1658
case_no=134 label=Case6.122 nb_sol=0 ticks=328784 tps=100 nb_sec=3287
case_no=134 label=Case6.122 nb_sol=0 ticks=178958 tps=100 nb_sec=1789
case_no=134 label=Case6.122 nb_sol=0 ticks=254397 tps=100 nb_sec=2543
case_no=134 label=Case6.122 nb_sol=0 ticks=250410 tps=100 nb_sec=2504
case_no=134 label=Case6.122 nb_sol=0 ticks=320240 tps=100 nb_sec=3202
case_no=134 label=Case6.122 nb_sol=0 ticks=211625 tps=100 nb_sec=2116
case_no=134 label=Case6.122 nb_sol=0 ticks=409267 tps=100 nb_sec=4092
case_no=134 label=Case6.122 nb_sol=0 ticks=281984 tps=100 nb_sec=2819
case_no=134 label=Case6.122 nb_sol=0 ticks=244633 tps=100 nb_sec=2446
case_no=134 label=Case6.122 nb_sol=0 ticks=192252 tps=100 nb_sec=1922
case_no=134 label=Case6.122 nb_sol=0 ticks=222344 tps=100 nb_sec=2223
case_no=134 label=Case6.122 nb_sol=0 ticks=217893 tps=100 nb_sec=2178
case_no=134 label=Case6.122 nb_sol=0 ticks=404262 tps=100 nb_sec=4042
case_no=134 label=Case6.122 nb_sol=0 ticks=228140 tps=100 nb_sec=2281
case_no=134 label=Case6.122 nb_sol=0 ticks=304402 tps=100 nb_sec=3044
case_no=134 label=Case6.122 nb_sol=0 ticks=429966 tps=100 nb_sec=4299
case_no=134 label=Case6.122 nb_sol=0 ticks=242071 tps=100 nb_sec=2420
case_no=134 label=Case6.122 nb_sol=0 ticks=132625 tps=100 nb_sec=1326
case_no=134 label=Case6.122 nb_sol=0 ticks=274042 tps=100 nb_sec=2740
case_no=134 label=Case6.122 nb_sol=0 ticks=304755 tps=100 nb_sec=3047
case_no=134 label=Case6.122 nb_sol=0 ticks=326540 tps=100 nb_sec=3265
case_no=134 label=Case6.122 nb_sol=0 ticks=420787 tps=100 nb_sec=4207
case_no=134 label=Case6.122 nb_sol=0 ticks=218622 tps=100 nb_sec=2186
case_no=134 label=Case6.122 nb_sol=0 ticks=382052 tps=100 nb_sec=3820
case_no=134 label=Case6.122 nb_sol=0 ticks=272709 tps=100 nb_sec=2727
case_no=134 label=Case6.122 nb_sol=0 ticks=287791 tps=100 nb_sec=2877
case_no=134 label=Case6.122 nb_sol=0 ticks=383916 tps=100 nb_sec=3839
case_no=134 label=Case6.122 nb_sol=0 ticks=291075 tps=100 nb_sec=2910
case_no=134 label=Case6.122 nb_sol=0 ticks=298105 tps=100 nb_sec=2981
case_no=134 label=Case6.122 nb_sol=0 ticks=231767 tps=100 nb_sec=2317
case_no=134 label=Case6.122 nb_sol=0 ticks=307903 tps=100 nb_sec=3079
case_no=134 label=Case6.122 nb_sol=0 ticks=329354 tps=100 nb_sec=3293
case_no=134 label=Case6.122 nb_sol=0 ticks=244504 tps=100 nb_sec=2445
case_no=134 label=Case6.122 nb_sol=0 ticks=165890 tps=100 nb_sec=1658
case_no=134 label=Case6.122 nb_sol=0 ticks=147671 tps=100 nb_sec=1476
case_no=134 label=Case6.122 nb_sol=0 ticks=178604 tps=100 nb_sec=1786
case_no=134 label=Case6.122 nb_sol=0 ticks=193407 tps=100 nb_sec=1934
case_no=134 label=Case6.122 nb_sol=0 ticks=139842 tps=100 nb_sec=1398
case_no=134 label=Case6.122 nb_sol=0 ticks=169403 tps=100 nb_sec=1694
case_no=134 label=Case6.122 nb_sol=0 ticks=124803 tps=100 nb_sec=1248
case_no=134 label=Case6.122 nb_sol=0 ticks=154972 tps=100 nb_sec=1549
case_no=134 label=Case6.122 nb_sol=0 ticks=131339 tps=100 nb_sec=1313
case_no=134 label=Case6.122 nb_sol=0 ticks=131454 tps=100 nb_sec=1314
case_no=134 label=Case6.122 nb_sol=0 ticks=190501 tps=100 nb_sec=1905
case_no=134 label=Case6.122 nb_sol=0 ticks=297070 tps=100 nb_sec=2970
case_no=134 label=Case6.122 nb_sol=0 ticks=299524 tps=100 nb_sec=2995
case_no=134 label=Case6.122 nb_sol=0 ticks=430142 tps=100 nb_sec=4301
case_no=134 label=Case6.122 nb_sol=0 ticks=363826 tps=100 nb_sec=3638
case_no=134 label=Case6.122 nb_sol=0 ticks=439347 tps=100 nb_sec=4393
case_no=134 label=Case6.122 nb_sol=0 ticks=277897 tps=100 nb_sec=2778
case_no=134 label=Case6.122 nb_sol=0 ticks=426477 tps=100 nb_sec=4264
case_no=134 label=Case6.122 nb_sol=0 ticks=336099 tps=100 nb_sec=3360
case_no=134 label=Case6.122 nb_sol=0 ticks=510301 tps=100 nb_sec=5103
case_no=134 label=Case6.122 nb_sol=0 ticks=276023 tps=100 nb_sec=2760
case_no=134 label=Case6.122 nb_sol=0 ticks=457856 tps=100 nb_sec=4578
case_no=134 label=Case6.122 nb_sol=0 ticks=300485 tps=100 nb_sec=3004
case_no=134 label=Case6.122 nb_sol=0 ticks=587736 tps=100 nb_sec=5877
case_no=134 label=Case6.122 nb_sol=0 ticks=354731 tps=100 nb_sec=3547
case_no=134 label=Case6.122 nb_sol=0 ticks=231535 tps=100 nb_sec=2315
case_no=134 label=Case6.122 nb_sol=0 ticks=443005 tps=100 nb_sec=4430
case_no=134 label=Case6.122 nb_sol=0 ticks=129136 tps=100 nb_sec=1291
case_no=134 label=Case6.122 nb_sol=0 ticks=352296 tps=100 nb_sec=3522
case_no=134 label=Case6.122 nb_sol=0 ticks=208194 tps=100 nb_sec=2081
case_no=134 label=Case6.122 nb_sol=0 ticks=182878 tps=100 nb_sec=1828
case_no=134 label=Case6.122 nb_sol=0 ticks=331560 tps=100 nb_sec=3315
case_no=134 label=Case6.122 nb_sol=0 ticks=265262 tps=100 nb_sec=2652
case_no=134 label=Case6.122 nb_sol=0 ticks=292117 tps=100 nb_sec=2921
case_no=134 label=Case6.122 nb_sol=0 ticks=304252 tps=100 nb_sec=3042
case_no=134 label=Case6.122 nb_sol=0 ticks=259679 tps=100 nb_sec=2596
case_no=134 label=Case6.122 nb_sol=0 ticks=145873 tps=100 nb_sec=1458
case_no=134 label=Case6.122 nb_sol=0 ticks=556650 tps=100 nb_sec=5566
case_no=134 label=Case6.122 nb_sol=0 ticks=490287 tps=100 nb_sec=4902
case_no=134 label=Case6.122 nb_sol=0 ticks=359615 tps=100 nb_sec=3596
case_no=134 label=Case6.122 nb_sol=0 ticks=194895 tps=100 nb_sec=1948
case_no=134 label=Case6.122 nb_sol=0 ticks=266037 tps=100 nb_sec=2660
case_no=134 label=Case6.122 nb_sol=0 ticks=218122 tps=100 nb_sec=2181
case_no=134 label=Case6.122 nb_sol=0 ticks=275179 tps=100 nb_sec=2751
case_no=134 label=Case6.122 nb_sol=0 ticks=430758 tps=100 nb_sec=4307
case_no=134 label=Case6.122 nb_sol=0 ticks=238865 tps=100 nb_sec=2388
case_no=134 label=Case6.122 nb_sol=0 ticks=137303 tps=100 nb_sec=1373
case_no=134 label=Case6.122 nb_sol=0 ticks=231259 tps=100 nb_sec=2312
case_no=134 label=Case6.122 nb_sol=0 ticks=301549 tps=100 nb_sec=3015
case_no=134 label=Case6.122 nb_sol=0 ticks=164831 tps=100 nb_sec=1648
case_no=134 label=Case6.122 nb_sol=0 ticks=385746 tps=100 nb_sec=3857
case_no=134 label=Case6.122 nb_sol=0 ticks=315322 tps=100 nb_sec=3153
case_no=134 label=Case6.122 nb_sol=0 ticks=278986 tps=100 nb_sec=2789
case_no=134 label=Case6.122 nb_sol=0 ticks=220497 tps=100 nb_sec=2204
case_no=134 label=Case6.122 nb_sol=0 ticks=497206 tps=100 nb_sec=4972
case_no=134 label=Case6.122 nb_sol=0 ticks=190015 tps=100 nb_sec=1900
case_no=134 label=Case6.122 nb_sol=0 ticks=251160 tps=100 nb_sec=2511
case_no=134 label=Case6.122 nb_sol=0 ticks=244347 tps=100 nb_sec=2443
case_no=134 label=Case6.122 nb_sol=0 ticks=247313 tps=100 nb_sec=2473
case_no=134 label=Case6.122 nb_sol=0 ticks=233960 tps=100 nb_sec=2339
case_no=134 label=Case6.122 nb_sol=0 ticks=214758 tps=100 nb_sec=2147
case_no=134 label=Case6.122 nb_sol=0 ticks=172690 tps=100 nb_sec=1726
case_no=134 label=Case6.122 nb_sol=0 ticks=278121 tps=100 nb_sec=2781
case_no=134 label=Case6.122 nb_sol=0 ticks=179991 tps=100 nb_sec=1799
case_no=134 label=Case6.122 nb_sol=0 ticks=222055 tps=100 nb_sec=2220
case_no=134 label=Case6.122 nb_sol=0 ticks=269994 tps=100 nb_sec=2699
case_no=134 label=Case6.122 nb_sol=0 ticks=228173 tps=100 nb_sec=2281
case_no=134 label=Case6.122 nb_sol=0 ticks=261390 tps=100 nb_sec=2613
case_no=134 label=Case6.122 nb_sol=0 ticks=235777 tps=100 nb_sec=2357
case_no=134 label=Case6.122 nb_sol=0 ticks=403750 tps=100 nb_sec=4037
case_no=134 label=Case6.122 nb_sol=0 ticks=426670 tps=100 nb_sec=4266
case_no=134 label=Case6.122 nb_sol=0 ticks=303637 tps=100 nb_sec=3036
case_no=134 label=Case6.122 nb_sol=0 ticks=479871 tps=100 nb_sec=4798
case_no=134 label=Case6.122 nb_sol=0 ticks=190869 tps=100 nb_sec=1908
case_no=134 label=Case6.122 nb_sol=0 ticks=344202 tps=100 nb_sec=3442
case_no=134 label=Case6.122 nb_sol=0 ticks=413279 tps=100 nb_sec=4132
case_no=134 label=Case6.122 nb_sol=0 ticks=212381 tps=100 nb_sec=2123
case_no=134 label=Case6.122 nb_sol=0 ticks=233363 tps=100 nb_sec=2333
case_no=134 label=Case6.122 nb_sol=0 ticks=169489 tps=100 nb_sec=1694
case_no=134 label=Case6.122 nb_sol=0 ticks=578985 tps=100 nb_sec=5789
case_no=134 label=Case6.122 nb_sol=0 ticks=245682 tps=100 nb_sec=2456
case_no=134 label=Case6.122 nb_sol=0 ticks=162836 tps=100 nb_sec=1628
case_no=134 label=Case6.122 nb_sol=0 ticks=207101 tps=100 nb_sec=2071
case_no=134 label=Case6.122 nb_sol=0 ticks=163591 tps=100 nb_sec=1635
case_no=134 label=Case6.122 nb_sol=0 ticks=334859 tps=100 nb_sec=3348
case_no=134 label=Case6.122 nb_sol=0 ticks=191471 tps=100 nb_sec=1914
case_no=134 label=Case6.122 nb_sol=0 ticks=350435 tps=100 nb_sec=3504
case_no=134 label=Case6.122 nb_sol=0 ticks=334064 tps=100 nb_sec=3340
case_no=134 label=Case6.122 nb_sol=0 ticks=395517 tps=100 nb_sec=3955
case_no=134 label=Case6.122 nb_sol=0 ticks=157064 tps=100 nb_sec=1570
case_no=134 label=Case6.122 nb_sol=0 ticks=165334 tps=100 nb_sec=1653
case_no=134 label=Case6.122 nb_sol=0 ticks=444601 tps=100 nb_sec=4446
case_no=134 label=Case6.122 nb_sol=0 ticks=268495 tps=100 nb_sec=2684
case_no=134 label=Case6.122 nb_sol=0 ticks=331220 tps=100 nb_sec=3312
case_no=134 label=Case6.122 nb_sol=0 ticks=304937 tps=100 nb_sec=3049
case_no=134 label=Case6.122 nb_sol=0 ticks=138287 tps=100 nb_sec=1382
case_no=134 label=Case6.122 nb_sol=0 ticks=301217 tps=100 nb_sec=3012
case_no=134 label=Case6.122 nb_sol=0 ticks=169153 tps=100 nb_sec=1691
case_no=134 label=Case6.122 nb_sol=0 ticks=305157 tps=100 nb_sec=3051
case_no=134 label=Case6.122 nb_sol=0 ticks=115448 tps=100 nb_sec=1154
case_no=134 label=Case6.122 nb_sol=0 ticks=262426 tps=100 nb_sec=2624
case_no=134 label=Case6.122 nb_sol=0 ticks=273225 tps=100 nb_sec=2732
case_no=134 label=Case6.122 nb_sol=0 ticks=308090 tps=100 nb_sec=3080
case_no=134 label=Case6.122 nb_sol=0 ticks=159860 tps=100 nb_sec=1598
case_no=134 label=Case6.122 nb_sol=0 ticks=261977 tps=100 nb_sec=2619
case_no=134 label=Case6.122 nb_sol=0 ticks=275297 tps=100 nb_sec=2752
case_no=134 label=Case6.122 nb_sol=0 ticks=222199 tps=100 nb_sec=2221
case_no=134 label=Case6.122 nb_sol=0 ticks=251940 tps=100 nb_sec=2519
case_no=134 label=Case6.122 nb_sol=0 ticks=94303 tps=100 nb_sec=943
case_no=134 label=Case6.122 nb_sol=0 ticks=272271 tps=100 nb_sec=2722
case_no=134 label=Case6.122 nb_sol=0 ticks=119459 tps=100 nb_sec=1194
case_no=134 label=Case6.122 nb_sol=0 ticks=299386 tps=100 nb_sec=2993
case_no=134 label=Case6.122 nb_sol=0 ticks=213756 tps=100 nb_sec=2137
case_no=134 label=Case6.122 nb_sol=0 ticks=242912 tps=100 nb_sec=2429
case_no=134 label=Case6.122 nb_sol=0 ticks=237694 tps=100 nb_sec=2376
case_no=134 label=Case6.122 nb_sol=0 ticks=273526 tps=100 nb_sec=2735
case_no=134 label=Case6.122 nb_sol=0 ticks=346533 tps=100 nb_sec=3465
case_no=134 label=Case6.122 nb_sol=0 ticks=171433 tps=100 nb_sec=1714
case_no=134 label=Case6.122 nb_sol=0 ticks=198392 tps=100 nb_sec=1983
case_no=134 label=Case6.122 nb_sol=0 ticks=205284 tps=100 nb_sec=2052
case_no=134 label=Case6.122 nb_sol=0 ticks=205235 tps=100 nb_sec=2052
case_no=134 label=Case6.122 nb_sol=0 ticks=301279 tps=100 nb_sec=3012
case_no=134 label=Case6.122 nb_sol=0 ticks=214089 tps=100 nb_sec=2140
case_no=134 label=Case6.122 nb_sol=0 ticks=308975 tps=100 nb_sec=3089
case_no=134 label=Case6.122 nb_sol=0 ticks=141705 tps=100 nb_sec=1417
case_no=134 label=Case6.122 nb_sol=0 ticks=283767 tps=100 nb_sec=2837
case_no=134 label=Case6.122 nb_sol=0 ticks=186454 tps=100 nb_sec=1864
case_no=134 label=Case6.122 nb_sol=0 ticks=255740 tps=100 nb_sec=2557
case_no=134 label=Case6.122 nb_sol=0 ticks=357886 tps=100 nb_sec=3578
case_no=134 label=Case6.122 nb_sol=0 ticks=169057 tps=100 nb_sec=1690
case_no=134 label=Case6.122 nb_sol=0 ticks=159778 tps=100 nb_sec=1597
case_no=134 label=Case6.122 nb_sol=0 ticks=414976 tps=100 nb_sec=4149
case_no=134 label=Case6.122 nb_sol=0 ticks=275449 tps=100 nb_sec=2754
case_no=134 label=Case6.122 nb_sol=0 ticks=361377 tps=100 nb_sec=3613
case_no=134 label=Case6.122 nb_sol=0 ticks=493161 tps=100 nb_sec=4931
case_no=134 label=Case6.122 nb_sol=0 ticks=348102 tps=100 nb_sec=3481
case_no=134 label=Case6.122 nb_sol=0 ticks=415910 tps=100 nb_sec=4159
case_no=134 label=Case6.122 nb_sol=0 ticks=338645 tps=100 nb_sec=3386
case_no=134 label=Case6.122 nb_sol=0 ticks=371910 tps=100 nb_sec=3719
case_no=134 label=Case6.122 nb_sol=0 ticks=259816 tps=100 nb_sec=2598
case_no=134 label=Case6.122 nb_sol=0 ticks=175277 tps=100 nb_sec=1752
case_no=134 label=Case6.122 nb_sol=0 ticks=332566 tps=100 nb_sec=3325
case_no=134 label=Case6.122 nb_sol=0 ticks=396758 tps=100 nb_sec=3967
case_no=134 label=Case6.122 nb_sol=0 ticks=242648 tps=100 nb_sec=2426
case_no=134 label=Case6.122 nb_sol=0 ticks=192952 tps=100 nb_sec=1929
case_no=134 label=Case6.122 nb_sol=0 ticks=160735 tps=100 nb_sec=1607
case_no=134 label=Case6.122 nb_sol=0 ticks=149272 tps=100 nb_sec=1492
case_no=134 label=Case6.122 nb_sol=0 ticks=277536 tps=100 nb_sec=2775
case_no=134 label=Case6.122 nb_sol=0 ticks=159186 tps=100 nb_sec=1591
case_no=134 label=Case6.122 nb_sol=0 ticks=263190 tps=100 nb_sec=2631
case_no=134 label=Case6.122 nb_sol=0 ticks=257126 tps=100 nb_sec=2571
case_no=134 label=Case6.122 nb_sol=0 ticks=177274 tps=100 nb_sec=1772
case_no=134 label=Case6.122 nb_sol=0 ticks=306164 tps=100 nb_sec=3061
case_no=134 label=Case6.122 nb_sol=0 ticks=135336 tps=100 nb_sec=1353
case_no=134 label=Case6.122 nb_sol=0 ticks=286880 tps=100 nb_sec=2868
case_no=134 label=Case6.122 nb_sol=0 ticks=381108 tps=100 nb_sec=3811
case_no=134 label=Case6.122 nb_sol=0 ticks=328124 tps=100 nb_sec=3281
case_no=134 label=Case6.122 nb_sol=0 ticks=190554 tps=100 nb_sec=1905
case_no=134 label=Case6.122 nb_sol=0 ticks=130578 tps=100 nb_sec=1305
case_no=134 label=Case6.122 nb_sol=0 ticks=286628 tps=100 nb_sec=2866
case_no=134 label=Case6.122 nb_sol=0 ticks=145809 tps=100 nb_sec=1458
case_no=134 label=Case6.122 nb_sol=0 ticks=197704 tps=100 nb_sec=1977
case_no=134 label=Case6.122 nb_sol=0 ticks=280049 tps=100 nb_sec=2800
case_no=134 label=Case6.122 nb_sol=0 ticks=148690 tps=100 nb_sec=1486
case_no=134 label=Case6.122 nb_sol=0 ticks=188892 tps=100 nb_sec=1888
case_no=134 label=Case6.122 nb_sol=0 ticks=152600 tps=100 nb_sec=1526
case_no=134 label=Case6.122 nb_sol=0 ticks=172603 tps=100 nb_sec=1726
case_no=134 label=Case6.122 nb_sol=0 ticks=283454 tps=100 nb_sec=2834
case_no=134 label=Case6.122 nb_sol=0 ticks=282243 tps=100 nb_sec=2822
case_no=134 label=Case6.122 nb_sol=0 ticks=190085 tps=100 nb_sec=1900
case_no=134 label=Case6.122 nb_sol=0 ticks=163008 tps=100 nb_sec=1630
case_no=134 label=Case6.122 nb_sol=0 ticks=340117 tps=100 nb_sec=3401
case_no=134 label=Case6.122 nb_sol=0 ticks=334225 tps=100 nb_sec=3342
case_no=134 label=Case6.122 nb_sol=0 ticks=221799 tps=100 nb_sec=2217
case_no=134 label=Case6.122 nb_sol=0 ticks=227939 tps=100 nb_sec=2279
case_no=134 label=Case6.122 nb_sol=0 ticks=307555 tps=100 nb_sec=3075
case_no=134 label=Case6.122 nb_sol=0 ticks=316163 tps=100 nb_sec=3161
case_no=134 label=Case6.122 nb_sol=0 ticks=330676 tps=100 nb_sec=3306
case_no=134 label=Case6.122 nb_sol=0 ticks=281370 tps=100 nb_sec=2813
case_no=134 label=Case6.122 nb_sol=0 ticks=291539 tps=100 nb_sec=2915
case_no=134 label=Case6.122 nb_sol=0 ticks=152606 tps=100 nb_sec=1526
case_no=134 label=Case6.122 nb_sol=0 ticks=374314 tps=100 nb_sec=3743
case_no=134 label=Case6.122 nb_sol=0 ticks=263834 tps=100 nb_sec=2638
case_no=134 label=Case6.122 nb_sol=0 ticks=338774 tps=100 nb_sec=3387
case_no=134 label=Case6.122 nb_sol=0 ticks=240788 tps=100 nb_sec=2407
case_no=134 label=Case6.122 nb_sol=0 ticks=146101 tps=100 nb_sec=1461
case_no=134 label=Case6.122 nb_sol=0 ticks=430107 tps=100 nb_sec=4301
case_no=134 label=Case6.122 nb_sol=0 ticks=346393 tps=100 nb_sec=3463
case_no=134 label=Case6.122 nb_sol=0 ticks=261940 tps=100 nb_sec=2619
case_no=134 label=Case6.122 nb_sol=0 ticks=441894 tps=100 nb_sec=4418
case_no=134 label=Case6.122 nb_sol=0 ticks=455174 tps=100 nb_sec=4551
case_no=134 label=Case6.122 nb_sol=0 ticks=357652 tps=100 nb_sec=3576
case_no=134 label=Case6.122 nb_sol=0 ticks=196895 tps=100 nb_sec=1968
case_no=134 label=Case6.122 nb_sol=0 ticks=339859 tps=100 nb_sec=3398
case_no=134 label=Case6.122 nb_sol=0 ticks=331391 tps=100 nb_sec=3313
case_no=134 label=Case6.122 nb_sol=0 ticks=499888 tps=100 nb_sec=4998
case_no=134 label=Case6.122 nb_sol=0 ticks=177472 tps=100 nb_sec=1774
case_no=134 label=Case6.122 nb_sol=0 ticks=445964 tps=100 nb_sec=4459
case_no=134 label=Case6.122 nb_sol=0 ticks=347565 tps=100 nb_sec=3475
case_no=134 label=Case6.122 nb_sol=0 ticks=418818 tps=100 nb_sec=4188
case_no=134 label=Case6.122 nb_sol=0 ticks=572945 tps=100 nb_sec=5729
case_no=134 label=Case6.122 nb_sol=0 ticks=319293 tps=100 nb_sec=3192
case_no=134 label=Case6.122 nb_sol=0 ticks=159044 tps=100 nb_sec=1590
case_no=134 label=Case6.122 nb_sol=0 ticks=577370 tps=100 nb_sec=5773
case_no=134 label=Case6.122 nb_sol=0 ticks=159244 tps=100 nb_sec=1592
case_no=134 label=Case6.122 nb_sol=0 ticks=415200 tps=100 nb_sec=4152
case_no=134 label=Case6.122 nb_sol=0 ticks=158643 tps=100 nb_sec=1586
case_no=134 label=Case6.122 nb_sol=0 ticks=237678 tps=100 nb_sec=2376
case_no=134 label=Case6.122 nb_sol=0 ticks=338150 tps=100 nb_sec=3381
case_no=134 label=Case6.122 nb_sol=0 ticks=190222 tps=100 nb_sec=1902
case_no=134 label=Case6.122 nb_sol=0 ticks=202528 tps=100 nb_sec=2025
case_no=134 label=Case6.122 nb_sol=0 ticks=276083 tps=100 nb_sec=2760
case_no=134 label=Case6.122 nb_sol=0 ticks=292036 tps=100 nb_sec=2920
case_no=134 label=Case6.122 nb_sol=0 ticks=265782 tps=100 nb_sec=2657
case_no=134 label=Case6.122 nb_sol=0 ticks=452794 tps=100 nb_sec=4527
case_no=134 label=Case6.122 nb_sol=0 ticks=371425 tps=100 nb_sec=3714
case_no=134 label=Case6.122 nb_sol=0 ticks=220902 tps=100 nb_sec=2209
case_no=134 label=Case6.122 nb_sol=0 ticks=535416 tps=100 nb_sec=5354
case_no=134 label=Case6.122 nb_sol=0 ticks=210024 tps=100 nb_sec=2100
case_no=134 label=Case6.122 nb_sol=0 ticks=429956 tps=100 nb_sec=4299
case_no=134 label=Case6.122 nb_sol=0 ticks=317574 tps=100 nb_sec=3175
case_no=134 label=Case6.122 nb_sol=0 ticks=601217 tps=100 nb_sec=6012
case_no=134 label=Case6.122 nb_sol=0 ticks=396860 tps=100 nb_sec=3968
case_no=134 label=Case6.122 nb_sol=0 ticks=490002 tps=100 nb_sec=4900
case_no=134 label=Case6.122 nb_sol=0 ticks=292957 tps=100 nb_sec=2929
case_no=134 label=Case6.122 nb_sol=0 ticks=435613 tps=100 nb_sec=4356
case_no=134 label=Case6.122 nb_sol=0 ticks=300443 tps=100 nb_sec=3004
case_no=134 label=Case6.122 nb_sol=0 ticks=419127 tps=100 nb_sec=4191
case_no=134 label=Case6.122 nb_sol=0 ticks=356433 tps=100 nb_sec=3564
case_no=134 label=Case6.122 nb_sol=0 ticks=331980 tps=100 nb_sec=3319
case_no=134 label=Case6.122 nb_sol=0 ticks=355651 tps=100 nb_sec=3556
case_no=134 label=Case6.122 nb_sol=0 ticks=326648 tps=100 nb_sec=3266
case_no=134 label=Case6.122 nb_sol=0 ticks=222790 tps=100 nb_sec=2227
case_no=134 label=Case6.122 nb_sol=0 ticks=227491 tps=100 nb_sec=2274
case_no=134 label=Case6.122 nb_sol=0 ticks=360732 tps=100 nb_sec=3607
case_no=134 label=Case6.122 nb_sol=0 ticks=359300 tps=100 nb_sec=3593
case_no=134 label=Case6.122 nb_sol=0 ticks=246911 tps=100 nb_sec=2469
case_no=134 label=Case6.122 nb_sol=0 ticks=367362 tps=100 nb_sec=3673
case_no=134 label=Case6.122 nb_sol=0 ticks=188635 tps=100 nb_sec=1886
case_no=134 label=Case6.122 nb_sol=0 ticks=259413 tps=100 nb_sec=2594
case_no=134 label=Case6.122 nb_sol=0 ticks=209323 tps=100 nb_sec=2093
case_no=134 label=Case6.122 nb_sol=0 ticks=177774 tps=100 nb_sec=1777
case_no=134 label=Case6.122 nb_sol=0 ticks=248219 tps=100 nb_sec=2482
case_no=134 label=Case6.122 nb_sol=0 ticks=212502 tps=100 nb_sec=2125
case_no=134 label=Case6.122 nb_sol=0 ticks=189627 tps=100 nb_sec=1896
case_no=134 label=Case6.122 nb_sol=0 ticks=310941 tps=100 nb_sec=3109
case_no=134 label=Case6.122 nb_sol=0 ticks=173494 tps=100 nb_sec=1734
case_no=134 label=Case6.122 nb_sol=0 ticks=203743 tps=100 nb_sec=2037
case_no=134 label=Case6.122 nb_sol=0 ticks=228253 tps=100 nb_sec=2282
case_no=134 label=Case6.122 nb_sol=0 ticks=237808 tps=100 nb_sec=2378
case_no=134 label=Case6.122 nb_sol=0 ticks=479268 tps=100 nb_sec=4792
case_no=134 label=Case6.122 nb_sol=0 ticks=328490 tps=100 nb_sec=3284
case_no=134 label=Case6.122 nb_sol=0 ticks=357133 tps=100 nb_sec=3571
case_no=134 label=Case6.122 nb_sol=0 ticks=201585 tps=100 nb_sec=2015
case_no=134 label=Case6.122 nb_sol=0 ticks=502936 tps=100 nb_sec=5029
case_no=134 label=Case6.122 nb_sol=0 ticks=418852 tps=100 nb_sec=4188
case_no=134 label=Case6.122 nb_sol=0 ticks=246195 tps=100 nb_sec=2461
case_no=134 label=Case6.122 nb_sol=0 ticks=240543 tps=100 nb_sec=2405
case_no=134 label=Case6.122 nb_sol=0 ticks=201465 tps=100 nb_sec=2014
case_no=134 label=Case6.122 nb_sol=0 ticks=198725 tps=100 nb_sec=1987
case_no=134 label=Case6.122 nb_sol=0 ticks=184393 tps=100 nb_sec=1843
case_no=134 label=Case6.122 nb_sol=0 ticks=230258 tps=100 nb_sec=2302
case_no=134 label=Case6.122 nb_sol=0 ticks=148081 tps=100 nb_sec=1480
case_no=134 label=Case6.122 nb_sol=0 ticks=269902 tps=100 nb_sec=2699
case_no=134 label=Case6.122 nb_sol=0 ticks=211968 tps=100 nb_sec=2119
case_no=134 label=Case6.122 nb_sol=0 ticks=624592 tps=100 nb_sec=6245
case_no=134 label=Case6.122 nb_sol=0 ticks=252996 tps=100 nb_sec=2529
case_no=134 label=Case6.122 nb_sol=0 ticks=403911 tps=100 nb_sec=4039
case_no=134 label=Case6.122 nb_sol=0 ticks=241916 tps=100 nb_sec=2419
case_no=134 label=Case6.122 nb_sol=0 ticks=300122 tps=100 nb_sec=3001
case_no=134 label=Case6.122 nb_sol=0 ticks=240562 tps=100 nb_sec=2405
case_no=134 label=Case6.122 nb_sol=0 ticks=233009 tps=100 nb_sec=2330
case_no=134 label=Case6.122 nb_sol=0 ticks=331714 tps=100 nb_sec=3317
case_no=134 label=Case6.122 nb_sol=0 ticks=281338 tps=100 nb_sec=2813
case_no=134 label=Case6.122 nb_sol=0 ticks=268139 tps=100 nb_sec=2681
case_no=134 label=Case6.122 nb_sol=0 ticks=364584 tps=100 nb_sec=3645
case_no=134 label=Case6.122 nb_sol=0 ticks=317504 tps=100 nb_sec=3175
case_no=134 label=Case6.122 nb_sol=0 ticks=288014 tps=100 nb_sec=2880
case_no=134 label=Case6.122 nb_sol=0 ticks=269122 tps=100 nb_sec=2691
case_no=134 label=Case6.122 nb_sol=0 ticks=268287 tps=100 nb_sec=2682
case_no=134 label=Case6.122 nb_sol=0 ticks=217354 tps=100 nb_sec=2173
case_no=134 label=Case6.122 nb_sol=0 ticks=199788 tps=100 nb_sec=1997
case_no=134 label=Case6.122 nb_sol=0 ticks=221317 tps=100 nb_sec=2213
case_no=134 label=Case6.122 nb_sol=0 ticks=248710 tps=100 nb_sec=2487
case_no=134 label=Case6.122 nb_sol=0 ticks=155770 tps=100 nb_sec=1557
case_no=134 label=Case6.122 nb_sol=0 ticks=368768 tps=100 nb_sec=3687
case_no=134 label=Case6.122 nb_sol=0 ticks=268305 tps=100 nb_sec=2683
case_no=134 label=Case6.122 nb_sol=0 ticks=420144 tps=100 nb_sec=4201
case_no=134 label=Case6.122 nb_sol=0 ticks=326030 tps=100 nb_sec=3260
case_no=134 label=Case6.122 nb_sol=0 ticks=474445 tps=100 nb_sec=4744
case_no=134 label=Case6.122 nb_sol=0 ticks=413851 tps=100 nb_sec=4138
case_no=134 label=Case6.122 nb_sol=0 ticks=440437 tps=100 nb_sec=4404
case_no=134 label=Case6.122 nb_sol=0 ticks=382675 tps=100 nb_sec=3826
case_no=134 label=Case6.122 nb_sol=0 ticks=521693 tps=100 nb_sec=5216
case_no=134 label=Case6.122 nb_sol=0 ticks=345250 tps=100 nb_sec=3452
case_no=134 label=Case6.122 nb_sol=0 ticks=315436 tps=100 nb_sec=3154
case_no=134 label=Case6.122 nb_sol=0 ticks=428687 tps=100 nb_sec=4286
case_no=134 label=Case6.122 nb_sol=0 ticks=354242 tps=100 nb_sec=3542
case_no=134 label=Case6.122 nb_sol=0 ticks=345968 tps=100 nb_sec=3459
case_no=134 label=Case6.122 nb_sol=0 ticks=355396 tps=100 nb_sec=3553
case_no=134 label=Case6.122 nb_sol=0 ticks=374496 tps=100 nb_sec=3744
case_no=134 label=Case6.122 nb_sol=0 ticks=217625 tps=100 nb_sec=2176
case_no=134 label=Case6.122 nb_sol=0 ticks=234781 tps=100 nb_sec=2347
case_no=134 label=Case6.122 nb_sol=0 ticks=477176 tps=100 nb_sec=4771
case_no=134 label=Case6.122 nb_sol=0 ticks=191150 tps=100 nb_sec=1911
case_no=134 label=Case6.122 nb_sol=0 ticks=318956 tps=100 nb_sec=3189
case_no=134 label=Case6.122 nb_sol=0 ticks=354563 tps=100 nb_sec=3545
case_no=134 label=Case6.122 nb_sol=0 ticks=277220 tps=100 nb_sec=2772
case_no=134 label=Case6.122 nb_sol=0 ticks=275838 tps=100 nb_sec=2758
case_no=134 label=Case6.122 nb_sol=0 ticks=206660 tps=100 nb_sec=2066
case_no=134 label=Case6.122 nb_sol=0 ticks=425833 tps=100 nb_sec=4258
case_no=134 label=Case6.122 nb_sol=0 ticks=315094 tps=100 nb_sec=3150
case_no=134 label=Case6.122 nb_sol=0 ticks=424042 tps=100 nb_sec=4240
case_no=134 label=Case6.122 nb_sol=0 ticks=358258 tps=100 nb_sec=3582
case_no=134 label=Case6.122 nb_sol=0 ticks=156067 tps=100 nb_sec=1560
case_no=134 label=Case6.122 nb_sol=0 ticks=332450 tps=100 nb_sec=3324
case_no=134 label=Case6.122 nb_sol=0 ticks=201546 tps=100 nb_sec=2015
case_no=134 label=Case6.122 nb_sol=0 ticks=314622 tps=100 nb_sec=3146
case_no=134 label=Case6.122 nb_sol=0 ticks=181069 tps=100 nb_sec=1810
case_no=134 label=Case6.122 nb_sol=0 ticks=213927 tps=100 nb_sec=2139
case_no=134 label=Case6.122 nb_sol=0 ticks=326912 tps=100 nb_sec=3269
case_no=134 label=Case6.122 nb_sol=0 ticks=144416 tps=100 nb_sec=1444
case_no=134 label=Case6.122 nb_sol=0 ticks=169889 tps=100 nb_sec=1698
case_no=134 label=Case6.122 nb_sol=0 ticks=254745 tps=100 nb_sec=2547
case_no=134 label=Case6.122 nb_sol=0 ticks=276151 tps=100 nb_sec=2761
case_no=134 label=Case6.122 nb_sol=0 ticks=386403 tps=100 nb_sec=3864
case_no=134 label=Case6.122 nb_sol=0 ticks=430236 tps=100 nb_sec=4302
case_no=134 label=Case6.122 nb_sol=0 ticks=343721 tps=100 nb_sec=3437
case_no=134 label=Case6.122 nb_sol=0 ticks=450855 tps=100 nb_sec=4508
case_no=134 label=Case6.122 nb_sol=0 ticks=359042 tps=100 nb_sec=3590
case_no=134 label=Case6.122 nb_sol=0 ticks=394135 tps=100 nb_sec=3941
case_no=134 label=Case6.122 nb_sol=0 ticks=357905 tps=100 nb_sec=3579
case_no=134 label=Case6.122 nb_sol=0 ticks=449613 tps=100 nb_sec=4496
case_no=134 label=Case6.122 nb_sol=0 ticks=425043 tps=100 nb_sec=4250
case_no=134 label=Case6.122 nb_sol=0 ticks=356603 tps=100 nb_sec=3566
case_no=134 label=Case6.122 nb_sol=0 ticks=298648 tps=100 nb_sec=2986
case_no=134 label=Case6.122 nb_sol=0 ticks=281447 tps=100 nb_sec=2814
case_no=134 label=Case6.122 nb_sol=0 ticks=168787 tps=100 nb_sec=1687
case_no=134 label=Case6.122 nb_sol=0 ticks=262896 tps=100 nb_sec=2628
case_no=134 label=Case6.122 nb_sol=0 ticks=143299 tps=100 nb_sec=1432
case_no=134 label=Case6.122 nb_sol=0 ticks=264471 tps=100 nb_sec=2644
case_no=134 label=Case6.122 nb_sol=0 ticks=220303 tps=100 nb_sec=2203
case_no=134 label=Case6.122 nb_sol=0 ticks=352148 tps=100 nb_sec=3521
case_no=134 label=Case6.122 nb_sol=0 ticks=205299 tps=100 nb_sec=2052
case_no=134 label=Case6.122 nb_sol=0 ticks=300224 tps=100 nb_sec=3002
case_no=134 label=Case6.122 nb_sol=0 ticks=337054 tps=100 nb_sec=3370
case_no=134 label=Case6.122 nb_sol=0 ticks=229703 tps=100 nb_sec=2297
case_no=134 label=Case6.122 nb_sol=0 ticks=324091 tps=100 nb_sec=3240
case_no=134 label=Case6.122 nb_sol=0 ticks=203511 tps=100 nb_sec=2035
case_no=134 label=Case6.122 nb_sol=0 ticks=132594 tps=100 nb_sec=1325
case_no=134 label=Case6.122 nb_sol=0 ticks=345551 tps=100 nb_sec=3455
case_no=134 label=Case6.122 nb_sol=0 ticks=393867 tps=100 nb_sec=3938
case_no=134 label=Case6.122 nb_sol=0 ticks=295574 tps=100 nb_sec=2955
case_no=134 label=Case6.122 nb_sol=0 ticks=369630 tps=100 nb_sec=3696
Nb_sol=0
Nb_sec=3325000
38-11:36:40 or 923 hours
missing cases:
none