argc=5
-M 1024
file2=30_select_Case6.124_starter_15_
checking files mod 1024 from 0 to 1023
case_no=136 label=Case6.124 nb_sol=0 ticks=546966 tps=100 nb_sec=5469
case_no=136 label=Case6.124 nb_sol=0 ticks=607527 tps=100 nb_sec=6075
case_no=136 label=Case6.124 nb_sol=0 ticks=348755 tps=100 nb_sec=3487
case_no=136 label=Case6.124 nb_sol=0 ticks=532824 tps=100 nb_sec=5328
case_no=136 label=Case6.124 nb_sol=0 ticks=293051 tps=100 nb_sec=2930
case_no=136 label=Case6.124 nb_sol=0 ticks=354875 tps=100 nb_sec=3548
case_no=136 label=Case6.124 nb_sol=0 ticks=681406 tps=100 nb_sec=6814
case_no=136 label=Case6.124 nb_sol=0 ticks=736136 tps=100 nb_sec=7361
case_no=136 label=Case6.124 nb_sol=0 ticks=707066 tps=100 nb_sec=7070
case_no=136 label=Case6.124 nb_sol=0 ticks=519036 tps=100 nb_sec=5190
case_no=136 label=Case6.124 nb_sol=0 ticks=584471 tps=100 nb_sec=5844
case_no=136 label=Case6.124 nb_sol=0 ticks=610028 tps=100 nb_sec=6100
case_no=136 label=Case6.124 nb_sol=0 ticks=696673 tps=100 nb_sec=6966
case_no=136 label=Case6.124 nb_sol=0 ticks=384791 tps=100 nb_sec=3847
case_no=136 label=Case6.124 nb_sol=0 ticks=575182 tps=100 nb_sec=5751
case_no=136 label=Case6.124 nb_sol=0 ticks=300033 tps=100 nb_sec=3000
case_no=136 label=Case6.124 nb_sol=0 ticks=739655 tps=100 nb_sec=7396
case_no=136 label=Case6.124 nb_sol=0 ticks=635142 tps=100 nb_sec=6351
case_no=136 label=Case6.124 nb_sol=0 ticks=678844 tps=100 nb_sec=6788
case_no=136 label=Case6.124 nb_sol=0 ticks=387592 tps=100 nb_sec=3875
case_no=136 label=Case6.124 nb_sol=0 ticks=729985 tps=100 nb_sec=7299
case_no=136 label=Case6.124 nb_sol=0 ticks=732926 tps=100 nb_sec=7329
case_no=136 label=Case6.124 nb_sol=0 ticks=316957 tps=100 nb_sec=3169
case_no=136 label=Case6.124 nb_sol=0 ticks=766349 tps=100 nb_sec=7663
case_no=136 label=Case6.124 nb_sol=0 ticks=679714 tps=100 nb_sec=6797
case_no=136 label=Case6.124 nb_sol=0 ticks=655435 tps=100 nb_sec=6554
case_no=136 label=Case6.124 nb_sol=0 ticks=370136 tps=100 nb_sec=3701
case_no=136 label=Case6.124 nb_sol=0 ticks=754238 tps=100 nb_sec=7542
case_no=136 label=Case6.124 nb_sol=0 ticks=375270 tps=100 nb_sec=3752
case_no=136 label=Case6.124 nb_sol=0 ticks=377536 tps=100 nb_sec=3775
case_no=136 label=Case6.124 nb_sol=0 ticks=678501 tps=100 nb_sec=6785
case_no=136 label=Case6.124 nb_sol=0 ticks=794945 tps=100 nb_sec=7949
case_no=136 label=Case6.124 nb_sol=0 ticks=727044 tps=100 nb_sec=7270
case_no=136 label=Case6.124 nb_sol=0 ticks=827203 tps=100 nb_sec=8272
case_no=136 label=Case6.124 nb_sol=0 ticks=734816 tps=100 nb_sec=7348
case_no=136 label=Case6.124 nb_sol=0 ticks=651656 tps=100 nb_sec=6516
case_no=136 label=Case6.124 nb_sol=0 ticks=334489 tps=100 nb_sec=3344
case_no=136 label=Case6.124 nb_sol=0 ticks=366852 tps=100 nb_sec=3668
case_no=136 label=Case6.124 nb_sol=0 ticks=713536 tps=100 nb_sec=7135
case_no=136 label=Case6.124 nb_sol=0 ticks=626906 tps=100 nb_sec=6269
case_no=136 label=Case6.124 nb_sol=0 ticks=318927 tps=100 nb_sec=3189
case_no=136 label=Case6.124 nb_sol=0 ticks=577203 tps=100 nb_sec=5772
case_no=136 label=Case6.124 nb_sol=0 ticks=646103 tps=100 nb_sec=6461
case_no=136 label=Case6.124 nb_sol=0 ticks=577524 tps=100 nb_sec=5775
case_no=136 label=Case6.124 nb_sol=0 ticks=629429 tps=100 nb_sec=6294
case_no=136 label=Case6.124 nb_sol=0 ticks=316189 tps=100 nb_sec=3161
case_no=136 label=Case6.124 nb_sol=0 ticks=371974 tps=100 nb_sec=3719
case_no=136 label=Case6.124 nb_sol=0 ticks=633556 tps=100 nb_sec=6335
case_no=136 label=Case6.124 nb_sol=0 ticks=363089 tps=100 nb_sec=3630
case_no=136 label=Case6.124 nb_sol=0 ticks=836785 tps=100 nb_sec=8367
case_no=136 label=Case6.124 nb_sol=0 ticks=675103 tps=100 nb_sec=6751
case_no=136 label=Case6.124 nb_sol=0 ticks=619337 tps=100 nb_sec=6193
case_no=136 label=Case6.124 nb_sol=0 ticks=686156 tps=100 nb_sec=6861
case_no=136 label=Case6.124 nb_sol=0 ticks=344297 tps=100 nb_sec=3442
case_no=136 label=Case6.124 nb_sol=0 ticks=601217 tps=100 nb_sec=6012
case_no=136 label=Case6.124 nb_sol=0 ticks=286688 tps=100 nb_sec=2866
case_no=136 label=Case6.124 nb_sol=0 ticks=346697 tps=100 nb_sec=3466
case_no=136 label=Case6.124 nb_sol=0 ticks=319530 tps=100 nb_sec=3195
case_no=136 label=Case6.124 nb_sol=0 ticks=822020 tps=100 nb_sec=8220
case_no=136 label=Case6.124 nb_sol=0 ticks=616296 tps=100 nb_sec=6162
case_no=136 label=Case6.124 nb_sol=0 ticks=706373 tps=100 nb_sec=7063
case_no=136 label=Case6.124 nb_sol=0 ticks=562553 tps=100 nb_sec=5625
case_no=136 label=Case6.124 nb_sol=0 ticks=316040 tps=100 nb_sec=3160
case_no=136 label=Case6.124 nb_sol=0 ticks=373436 tps=100 nb_sec=3734
case_no=136 label=Case6.124 nb_sol=0 ticks=346380 tps=100 nb_sec=3463
case_no=136 label=Case6.124 nb_sol=0 ticks=700924 tps=100 nb_sec=7009
case_no=136 label=Case6.124 nb_sol=0 ticks=314348 tps=100 nb_sec=3143
case_no=136 label=Case6.124 nb_sol=0 ticks=359853 tps=100 nb_sec=3598
case_no=136 label=Case6.124 nb_sol=0 ticks=583053 tps=100 nb_sec=5830
case_no=136 label=Case6.124 nb_sol=0 ticks=664227 tps=100 nb_sec=6642
case_no=136 label=Case6.124 nb_sol=0 ticks=445504 tps=100 nb_sec=4455
case_no=136 label=Case6.124 nb_sol=0 ticks=607939 tps=100 nb_sec=6079
case_no=136 label=Case6.124 nb_sol=0 ticks=552750 tps=100 nb_sec=5527
case_no=136 label=Case6.124 nb_sol=0 ticks=298495 tps=100 nb_sec=2984
case_no=136 label=Case6.124 nb_sol=0 ticks=588927 tps=100 nb_sec=5889
case_no=136 label=Case6.124 nb_sol=0 ticks=560999 tps=100 nb_sec=5609
case_no=136 label=Case6.124 nb_sol=0 ticks=419417 tps=100 nb_sec=4194
case_no=136 label=Case6.124 nb_sol=0 ticks=365653 tps=100 nb_sec=3656
case_no=136 label=Case6.124 nb_sol=0 ticks=328269 tps=100 nb_sec=3282
case_no=136 label=Case6.124 nb_sol=0 ticks=511360 tps=100 nb_sec=5113
case_no=136 label=Case6.124 nb_sol=0 ticks=299913 tps=100 nb_sec=2999
case_no=136 label=Case6.124 nb_sol=0 ticks=703192 tps=100 nb_sec=7031
case_no=136 label=Case6.124 nb_sol=0 ticks=510701 tps=100 nb_sec=5107
case_no=136 label=Case6.124 nb_sol=0 ticks=287393 tps=100 nb_sec=2873
case_no=136 label=Case6.124 nb_sol=0 ticks=220667 tps=100 nb_sec=2206
case_no=136 label=Case6.124 nb_sol=0 ticks=625458 tps=100 nb_sec=6254
case_no=136 label=Case6.124 nb_sol=0 ticks=577244 tps=100 nb_sec=5772
case_no=136 label=Case6.124 nb_sol=0 ticks=304469 tps=100 nb_sec=3044
case_no=136 label=Case6.124 nb_sol=0 ticks=573125 tps=100 nb_sec=5731
case_no=136 label=Case6.124 nb_sol=0 ticks=275719 tps=100 nb_sec=2757
case_no=136 label=Case6.124 nb_sol=0 ticks=548671 tps=100 nb_sec=5486
case_no=136 label=Case6.124 nb_sol=0 ticks=611589 tps=100 nb_sec=6115
case_no=136 label=Case6.124 nb_sol=0 ticks=274895 tps=100 nb_sec=2748
case_no=136 label=Case6.124 nb_sol=0 ticks=308909 tps=100 nb_sec=3089
case_no=136 label=Case6.124 nb_sol=0 ticks=723166 tps=100 nb_sec=7231
case_no=136 label=Case6.124 nb_sol=0 ticks=496234 tps=100 nb_sec=4962
case_no=136 label=Case6.124 nb_sol=0 ticks=325708 tps=100 nb_sec=3257
case_no=136 label=Case6.124 nb_sol=0 ticks=588725 tps=100 nb_sec=5887
case_no=136 label=Case6.124 nb_sol=0 ticks=605817 tps=100 nb_sec=6058
case_no=136 label=Case6.124 nb_sol=0 ticks=399697 tps=100 nb_sec=3996
case_no=136 label=Case6.124 nb_sol=0 ticks=604461 tps=100 nb_sec=6044
case_no=136 label=Case6.124 nb_sol=0 ticks=708611 tps=100 nb_sec=7086
case_no=136 label=Case6.124 nb_sol=0 ticks=327985 tps=100 nb_sec=3279
case_no=136 label=Case6.124 nb_sol=0 ticks=363378 tps=100 nb_sec=3633
case_no=136 label=Case6.124 nb_sol=0 ticks=439032 tps=100 nb_sec=4390
case_no=136 label=Case6.124 nb_sol=0 ticks=337991 tps=100 nb_sec=3379
case_no=136 label=Case6.124 nb_sol=0 ticks=572852 tps=100 nb_sec=5728
case_no=136 label=Case6.124 nb_sol=0 ticks=350944 tps=100 nb_sec=3509
case_no=136 label=Case6.124 nb_sol=0 ticks=680587 tps=100 nb_sec=6805
case_no=136 label=Case6.124 nb_sol=0 ticks=668397 tps=100 nb_sec=6683
case_no=136 label=Case6.124 nb_sol=0 ticks=554531 tps=100 nb_sec=5545
case_no=136 label=Case6.124 nb_sol=0 ticks=456734 tps=100 nb_sec=4567
case_no=136 label=Case6.124 nb_sol=0 ticks=318269 tps=100 nb_sec=3182
case_no=136 label=Case6.124 nb_sol=0 ticks=278009 tps=100 nb_sec=2780
case_no=136 label=Case6.124 nb_sol=0 ticks=516027 tps=100 nb_sec=5160
case_no=136 label=Case6.124 nb_sol=0 ticks=256887 tps=100 nb_sec=2568
case_no=136 label=Case6.124 nb_sol=0 ticks=776598 tps=100 nb_sec=7765
case_no=136 label=Case6.124 nb_sol=0 ticks=437174 tps=100 nb_sec=4371
case_no=136 label=Case6.124 nb_sol=0 ticks=303118 tps=100 nb_sec=3031
case_no=136 label=Case6.124 nb_sol=0 ticks=767540 tps=100 nb_sec=7675
case_no=136 label=Case6.124 nb_sol=0 ticks=588266 tps=100 nb_sec=5882
case_no=136 label=Case6.124 nb_sol=0 ticks=344484 tps=100 nb_sec=3444
case_no=136 label=Case6.124 nb_sol=0 ticks=677140 tps=100 nb_sec=6771
case_no=136 label=Case6.124 nb_sol=0 ticks=281838 tps=100 nb_sec=2818
case_no=136 label=Case6.124 nb_sol=0 ticks=320064 tps=100 nb_sec=3200
case_no=136 label=Case6.124 nb_sol=0 ticks=396270 tps=100 nb_sec=3962
case_no=136 label=Case6.124 nb_sol=0 ticks=376021 tps=100 nb_sec=3760
case_no=136 label=Case6.124 nb_sol=0 ticks=660405 tps=100 nb_sec=6604
case_no=136 label=Case6.124 nb_sol=0 ticks=614179 tps=100 nb_sec=6141
case_no=136 label=Case6.124 nb_sol=0 ticks=377258 tps=100 nb_sec=3772
case_no=136 label=Case6.124 nb_sol=0 ticks=682840 tps=100 nb_sec=6828
case_no=136 label=Case6.124 nb_sol=0 ticks=646265 tps=100 nb_sec=6462
case_no=136 label=Case6.124 nb_sol=0 ticks=708657 tps=100 nb_sec=7086
case_no=136 label=Case6.124 nb_sol=0 ticks=296317 tps=100 nb_sec=2963
case_no=136 label=Case6.124 nb_sol=0 ticks=416831 tps=100 nb_sec=4168
case_no=136 label=Case6.124 nb_sol=0 ticks=534796 tps=100 nb_sec=5347
case_no=136 label=Case6.124 nb_sol=0 ticks=366052 tps=100 nb_sec=3660
case_no=136 label=Case6.124 nb_sol=0 ticks=656256 tps=100 nb_sec=6562
case_no=136 label=Case6.124 nb_sol=0 ticks=277544 tps=100 nb_sec=2775
case_no=136 label=Case6.124 nb_sol=0 ticks=701834 tps=100 nb_sec=7018
case_no=136 label=Case6.124 nb_sol=0 ticks=300639 tps=100 nb_sec=3006
case_no=136 label=Case6.124 nb_sol=0 ticks=851118 tps=100 nb_sec=8511
case_no=136 label=Case6.124 nb_sol=0 ticks=341762 tps=100 nb_sec=3417
case_no=136 label=Case6.124 nb_sol=0 ticks=375962 tps=100 nb_sec=3759
case_no=136 label=Case6.124 nb_sol=0 ticks=378058 tps=100 nb_sec=3780
case_no=136 label=Case6.124 nb_sol=0 ticks=635882 tps=100 nb_sec=6358
case_no=136 label=Case6.124 nb_sol=0 ticks=410930 tps=100 nb_sec=4109
case_no=136 label=Case6.124 nb_sol=0 ticks=357955 tps=100 nb_sec=3579
case_no=136 label=Case6.124 nb_sol=0 ticks=451245 tps=100 nb_sec=4512
case_no=136 label=Case6.124 nb_sol=0 ticks=345927 tps=100 nb_sec=3459
case_no=136 label=Case6.124 nb_sol=0 ticks=639076 tps=100 nb_sec=6390
case_no=136 label=Case6.124 nb_sol=0 ticks=791191 tps=100 nb_sec=7911
case_no=136 label=Case6.124 nb_sol=0 ticks=727688 tps=100 nb_sec=7276
case_no=136 label=Case6.124 nb_sol=0 ticks=580594 tps=100 nb_sec=5805
case_no=136 label=Case6.124 nb_sol=0 ticks=362565 tps=100 nb_sec=3625
case_no=136 label=Case6.124 nb_sol=0 ticks=384046 tps=100 nb_sec=3840
case_no=136 label=Case6.124 nb_sol=0 ticks=378744 tps=100 nb_sec=3787
case_no=136 label=Case6.124 nb_sol=0 ticks=740341 tps=100 nb_sec=7403
case_no=136 label=Case6.124 nb_sol=0 ticks=557795 tps=100 nb_sec=5577
case_no=136 label=Case6.124 nb_sol=0 ticks=289957 tps=100 nb_sec=2899
case_no=136 label=Case6.124 nb_sol=0 ticks=758797 tps=100 nb_sec=7587
case_no=136 label=Case6.124 nb_sol=0 ticks=651985 tps=100 nb_sec=6519
case_no=136 label=Case6.124 nb_sol=0 ticks=369807 tps=100 nb_sec=3698
case_no=136 label=Case6.124 nb_sol=0 ticks=333497 tps=100 nb_sec=3334
case_no=136 label=Case6.124 nb_sol=0 ticks=318847 tps=100 nb_sec=3188
case_no=136 label=Case6.124 nb_sol=0 ticks=702863 tps=100 nb_sec=7028
case_no=136 label=Case6.124 nb_sol=0 ticks=668202 tps=100 nb_sec=6682
case_no=136 label=Case6.124 nb_sol=0 ticks=362213 tps=100 nb_sec=3622
case_no=136 label=Case6.124 nb_sol=0 ticks=617662 tps=100 nb_sec=6176
case_no=136 label=Case6.124 nb_sol=0 ticks=619538 tps=100 nb_sec=6195
case_no=136 label=Case6.124 nb_sol=0 ticks=698627 tps=100 nb_sec=6986
case_no=136 label=Case6.124 nb_sol=0 ticks=649879 tps=100 nb_sec=6498
case_no=136 label=Case6.124 nb_sol=0 ticks=301670 tps=100 nb_sec=3016
case_no=136 label=Case6.124 nb_sol=0 ticks=344548 tps=100 nb_sec=3445
case_no=136 label=Case6.124 nb_sol=0 ticks=302892 tps=100 nb_sec=3028
case_no=136 label=Case6.124 nb_sol=0 ticks=464146 tps=100 nb_sec=4641
case_no=136 label=Case6.124 nb_sol=0 ticks=717980 tps=100 nb_sec=7179
case_no=136 label=Case6.124 nb_sol=0 ticks=734580 tps=100 nb_sec=7345
case_no=136 label=Case6.124 nb_sol=0 ticks=286459 tps=100 nb_sec=2864
case_no=136 label=Case6.124 nb_sol=0 ticks=468657 tps=100 nb_sec=4686
case_no=136 label=Case6.124 nb_sol=0 ticks=394453 tps=100 nb_sec=3944
case_no=136 label=Case6.124 nb_sol=0 ticks=660483 tps=100 nb_sec=6604
case_no=136 label=Case6.124 nb_sol=0 ticks=460140 tps=100 nb_sec=4601
case_no=136 label=Case6.124 nb_sol=0 ticks=350145 tps=100 nb_sec=3501
case_no=136 label=Case6.124 nb_sol=0 ticks=640546 tps=100 nb_sec=6405
case_no=136 label=Case6.124 nb_sol=0 ticks=360387 tps=100 nb_sec=3603
case_no=136 label=Case6.124 nb_sol=0 ticks=370835 tps=100 nb_sec=3708
case_no=136 label=Case6.124 nb_sol=0 ticks=572738 tps=100 nb_sec=5727
case_no=136 label=Case6.124 nb_sol=0 ticks=599311 tps=100 nb_sec=5993
case_no=136 label=Case6.124 nb_sol=0 ticks=607785 tps=100 nb_sec=6077
case_no=136 label=Case6.124 nb_sol=0 ticks=305389 tps=100 nb_sec=3053
case_no=136 label=Case6.124 nb_sol=0 ticks=426606 tps=100 nb_sec=4266
case_no=136 label=Case6.124 nb_sol=0 ticks=328811 tps=100 nb_sec=3288
case_no=136 label=Case6.124 nb_sol=0 ticks=379350 tps=100 nb_sec=3793
case_no=136 label=Case6.124 nb_sol=0 ticks=628363 tps=100 nb_sec=6283
case_no=136 label=Case6.124 nb_sol=0 ticks=578181 tps=100 nb_sec=5781
case_no=136 label=Case6.124 nb_sol=0 ticks=561415 tps=100 nb_sec=5614
case_no=136 label=Case6.124 nb_sol=0 ticks=550823 tps=100 nb_sec=5508
case_no=136 label=Case6.124 nb_sol=0 ticks=579657 tps=100 nb_sec=5796
case_no=136 label=Case6.124 nb_sol=0 ticks=534962 tps=100 nb_sec=5349
case_no=136 label=Case6.124 nb_sol=0 ticks=346783 tps=100 nb_sec=3467
case_no=136 label=Case6.124 nb_sol=0 ticks=581058 tps=100 nb_sec=5810
case_no=136 label=Case6.124 nb_sol=0 ticks=462878 tps=100 nb_sec=4628
case_no=136 label=Case6.124 nb_sol=0 ticks=512182 tps=100 nb_sec=5121
case_no=136 label=Case6.124 nb_sol=0 ticks=464799 tps=100 nb_sec=4647
case_no=136 label=Case6.124 nb_sol=0 ticks=610683 tps=100 nb_sec=6106
case_no=136 label=Case6.124 nb_sol=0 ticks=468916 tps=100 nb_sec=4689
case_no=136 label=Case6.124 nb_sol=0 ticks=370862 tps=100 nb_sec=3708
case_no=136 label=Case6.124 nb_sol=0 ticks=362130 tps=100 nb_sec=3621
case_no=136 label=Case6.124 nb_sol=0 ticks=572684 tps=100 nb_sec=5726
case_no=136 label=Case6.124 nb_sol=0 ticks=388911 tps=100 nb_sec=3889
case_no=136 label=Case6.124 nb_sol=0 ticks=765445 tps=100 nb_sec=7654
case_no=136 label=Case6.124 nb_sol=0 ticks=396783 tps=100 nb_sec=3967
case_no=136 label=Case6.124 nb_sol=0 ticks=526899 tps=100 nb_sec=5268
case_no=136 label=Case6.124 nb_sol=0 ticks=410184 tps=100 nb_sec=4101
case_no=136 label=Case6.124 nb_sol=0 ticks=320967 tps=100 nb_sec=3209
case_no=136 label=Case6.124 nb_sol=0 ticks=338986 tps=100 nb_sec=3389
case_no=136 label=Case6.124 nb_sol=0 ticks=592655 tps=100 nb_sec=5926
case_no=136 label=Case6.124 nb_sol=0 ticks=331778 tps=100 nb_sec=3317
case_no=136 label=Case6.124 nb_sol=0 ticks=317442 tps=100 nb_sec=3174
case_no=136 label=Case6.124 nb_sol=0 ticks=381377 tps=100 nb_sec=3813
case_no=136 label=Case6.124 nb_sol=0 ticks=596107 tps=100 nb_sec=5961
case_no=136 label=Case6.124 nb_sol=0 ticks=289641 tps=100 nb_sec=2896
case_no=136 label=Case6.124 nb_sol=0 ticks=335676 tps=100 nb_sec=3356
case_no=136 label=Case6.124 nb_sol=0 ticks=312778 tps=100 nb_sec=3127
case_no=136 label=Case6.124 nb_sol=0 ticks=383143 tps=100 nb_sec=3831
case_no=136 label=Case6.124 nb_sol=0 ticks=314191 tps=100 nb_sec=3141
case_no=136 label=Case6.124 nb_sol=0 ticks=402888 tps=100 nb_sec=4028
case_no=136 label=Case6.124 nb_sol=0 ticks=288791 tps=100 nb_sec=2887
case_no=136 label=Case6.124 nb_sol=0 ticks=355556 tps=100 nb_sec=3555
case_no=136 label=Case6.124 nb_sol=0 ticks=278970 tps=100 nb_sec=2789
case_no=136 label=Case6.124 nb_sol=0 ticks=323340 tps=100 nb_sec=3233
case_no=136 label=Case6.124 nb_sol=0 ticks=284290 tps=100 nb_sec=2842
case_no=136 label=Case6.124 nb_sol=0 ticks=247784 tps=100 nb_sec=2477
case_no=136 label=Case6.124 nb_sol=0 ticks=368155 tps=100 nb_sec=3681
case_no=136 label=Case6.124 nb_sol=0 ticks=348331 tps=100 nb_sec=3483
case_no=136 label=Case6.124 nb_sol=0 ticks=431839 tps=100 nb_sec=4318
case_no=136 label=Case6.124 nb_sol=0 ticks=318036 tps=100 nb_sec=3180
case_no=136 label=Case6.124 nb_sol=0 ticks=354234 tps=100 nb_sec=3542
case_no=136 label=Case6.124 nb_sol=0 ticks=324983 tps=100 nb_sec=3249
case_no=136 label=Case6.124 nb_sol=0 ticks=312414 tps=100 nb_sec=3124
case_no=136 label=Case6.124 nb_sol=0 ticks=338159 tps=100 nb_sec=3381
case_no=136 label=Case6.124 nb_sol=0 ticks=331726 tps=100 nb_sec=3317
case_no=136 label=Case6.124 nb_sol=0 ticks=830039 tps=100 nb_sec=8300
case_no=136 label=Case6.124 nb_sol=0 ticks=592571 tps=100 nb_sec=5925
case_no=136 label=Case6.124 nb_sol=0 ticks=391181 tps=100 nb_sec=3911
case_no=136 label=Case6.124 nb_sol=0 ticks=335283 tps=100 nb_sec=3352
case_no=136 label=Case6.124 nb_sol=0 ticks=508265 tps=100 nb_sec=5082
case_no=136 label=Case6.124 nb_sol=0 ticks=409193 tps=100 nb_sec=4091
case_no=136 label=Case6.124 nb_sol=0 ticks=402268 tps=100 nb_sec=4022
case_no=136 label=Case6.124 nb_sol=0 ticks=449802 tps=100 nb_sec=4498
case_no=136 label=Case6.124 nb_sol=0 ticks=460163 tps=100 nb_sec=4601
case_no=136 label=Case6.124 nb_sol=0 ticks=536633 tps=100 nb_sec=5366
case_no=136 label=Case6.124 nb_sol=0 ticks=344784 tps=100 nb_sec=3447
case_no=136 label=Case6.124 nb_sol=0 ticks=516792 tps=100 nb_sec=5167
case_no=136 label=Case6.124 nb_sol=0 ticks=451149 tps=100 nb_sec=4511
case_no=136 label=Case6.124 nb_sol=0 ticks=583847 tps=100 nb_sec=5838
case_no=136 label=Case6.124 nb_sol=0 ticks=617423 tps=100 nb_sec=6174
case_no=136 label=Case6.124 nb_sol=0 ticks=436532 tps=100 nb_sec=4365
case_no=136 label=Case6.124 nb_sol=0 ticks=407809 tps=100 nb_sec=4078
case_no=136 label=Case6.124 nb_sol=0 ticks=447585 tps=100 nb_sec=4475
case_no=136 label=Case6.124 nb_sol=0 ticks=429253 tps=100 nb_sec=4292
case_no=136 label=Case6.124 nb_sol=0 ticks=368247 tps=100 nb_sec=3682
case_no=136 label=Case6.124 nb_sol=0 ticks=351545 tps=100 nb_sec=3515
case_no=136 label=Case6.124 nb_sol=0 ticks=434970 tps=100 nb_sec=4349
case_no=136 label=Case6.124 nb_sol=0 ticks=417665 tps=100 nb_sec=4176
case_no=136 label=Case6.124 nb_sol=0 ticks=388937 tps=100 nb_sec=3889
case_no=136 label=Case6.124 nb_sol=0 ticks=378796 tps=100 nb_sec=3787
case_no=136 label=Case6.124 nb_sol=0 ticks=490815 tps=100 nb_sec=4908
case_no=136 label=Case6.124 nb_sol=0 ticks=508263 tps=100 nb_sec=5082
case_no=136 label=Case6.124 nb_sol=0 ticks=390338 tps=100 nb_sec=3903
case_no=136 label=Case6.124 nb_sol=0 ticks=376283 tps=100 nb_sec=3762
case_no=136 label=Case6.124 nb_sol=0 ticks=363357 tps=100 nb_sec=3633
case_no=136 label=Case6.124 nb_sol=0 ticks=530485 tps=100 nb_sec=5304
case_no=136 label=Case6.124 nb_sol=0 ticks=423235 tps=100 nb_sec=4232
case_no=136 label=Case6.124 nb_sol=0 ticks=539472 tps=100 nb_sec=5394
case_no=136 label=Case6.124 nb_sol=0 ticks=498769 tps=100 nb_sec=4987
case_no=136 label=Case6.124 nb_sol=0 ticks=336215 tps=100 nb_sec=3362
case_no=136 label=Case6.124 nb_sol=0 ticks=593458 tps=100 nb_sec=5934
case_no=136 label=Case6.124 nb_sol=0 ticks=524203 tps=100 nb_sec=5242
case_no=136 label=Case6.124 nb_sol=0 ticks=512228 tps=100 nb_sec=5122
case_no=136 label=Case6.124 nb_sol=0 ticks=395786 tps=100 nb_sec=3957
case_no=136 label=Case6.124 nb_sol=0 ticks=307668 tps=100 nb_sec=3076
case_no=136 label=Case6.124 nb_sol=0 ticks=589269 tps=100 nb_sec=5892
case_no=136 label=Case6.124 nb_sol=0 ticks=303308 tps=100 nb_sec=3033
case_no=136 label=Case6.124 nb_sol=0 ticks=495235 tps=100 nb_sec=4952
case_no=136 label=Case6.124 nb_sol=0 ticks=239743 tps=100 nb_sec=2397
case_no=136 label=Case6.124 nb_sol=0 ticks=308339 tps=100 nb_sec=3083
case_no=136 label=Case6.124 nb_sol=0 ticks=261558 tps=100 nb_sec=2615
case_no=136 label=Case6.124 nb_sol=0 ticks=586609 tps=100 nb_sec=5866
case_no=136 label=Case6.124 nb_sol=0 ticks=598977 tps=100 nb_sec=5989
case_no=136 label=Case6.124 nb_sol=0 ticks=326214 tps=100 nb_sec=3262
case_no=136 label=Case6.124 nb_sol=0 ticks=318041 tps=100 nb_sec=3180
case_no=136 label=Case6.124 nb_sol=0 ticks=435494 tps=100 nb_sec=4354
case_no=136 label=Case6.124 nb_sol=0 ticks=327466 tps=100 nb_sec=3274
case_no=136 label=Case6.124 nb_sol=0 ticks=370787 tps=100 nb_sec=3707
case_no=136 label=Case6.124 nb_sol=0 ticks=607898 tps=100 nb_sec=6078
case_no=136 label=Case6.124 nb_sol=0 ticks=698708 tps=100 nb_sec=6987
case_no=136 label=Case6.124 nb_sol=0 ticks=569208 tps=100 nb_sec=5692
case_no=136 label=Case6.124 nb_sol=0 ticks=682054 tps=100 nb_sec=6820
case_no=136 label=Case6.124 nb_sol=0 ticks=608437 tps=100 nb_sec=6084
case_no=136 label=Case6.124 nb_sol=0 ticks=678119 tps=100 nb_sec=6781
case_no=136 label=Case6.124 nb_sol=0 ticks=616747 tps=100 nb_sec=6167
case_no=136 label=Case6.124 nb_sol=0 ticks=688583 tps=100 nb_sec=6885
case_no=136 label=Case6.124 nb_sol=0 ticks=638044 tps=100 nb_sec=6380
case_no=136 label=Case6.124 nb_sol=0 ticks=679791 tps=100 nb_sec=6797
case_no=136 label=Case6.124 nb_sol=0 ticks=303335 tps=100 nb_sec=3033
case_no=136 label=Case6.124 nb_sol=0 ticks=388439 tps=100 nb_sec=3884
case_no=136 label=Case6.124 nb_sol=0 ticks=802660 tps=100 nb_sec=8026
case_no=136 label=Case6.124 nb_sol=0 ticks=689528 tps=100 nb_sec=6895
case_no=136 label=Case6.124 nb_sol=0 ticks=708375 tps=100 nb_sec=7083
case_no=136 label=Case6.124 nb_sol=0 ticks=446943 tps=100 nb_sec=4469
case_no=136 label=Case6.124 nb_sol=0 ticks=378726 tps=100 nb_sec=3787
case_no=136 label=Case6.124 nb_sol=0 ticks=727926 tps=100 nb_sec=7279
case_no=136 label=Case6.124 nb_sol=0 ticks=360595 tps=100 nb_sec=3605
case_no=136 label=Case6.124 nb_sol=0 ticks=590310 tps=100 nb_sec=5903
case_no=136 label=Case6.124 nb_sol=0 ticks=275652 tps=100 nb_sec=2756
case_no=136 label=Case6.124 nb_sol=0 ticks=733434 tps=100 nb_sec=7334
case_no=136 label=Case6.124 nb_sol=0 ticks=325665 tps=100 nb_sec=3256
case_no=136 label=Case6.124 nb_sol=0 ticks=637704 tps=100 nb_sec=6377
case_no=136 label=Case6.124 nb_sol=0 ticks=336141 tps=100 nb_sec=3361
case_no=136 label=Case6.124 nb_sol=0 ticks=555940 tps=100 nb_sec=5559
case_no=136 label=Case6.124 nb_sol=0 ticks=380773 tps=100 nb_sec=3807
case_no=136 label=Case6.124 nb_sol=0 ticks=329790 tps=100 nb_sec=3297
case_no=136 label=Case6.124 nb_sol=0 ticks=346986 tps=100 nb_sec=3469
case_no=136 label=Case6.124 nb_sol=0 ticks=318802 tps=100 nb_sec=3188
case_no=136 label=Case6.124 nb_sol=0 ticks=627757 tps=100 nb_sec=6277
case_no=136 label=Case6.124 nb_sol=0 ticks=337004 tps=100 nb_sec=3370
case_no=136 label=Case6.124 nb_sol=0 ticks=659860 tps=100 nb_sec=6598
case_no=136 label=Case6.124 nb_sol=0 ticks=623489 tps=100 nb_sec=6234
case_no=136 label=Case6.124 nb_sol=0 ticks=633433 tps=100 nb_sec=6334
case_no=136 label=Case6.124 nb_sol=0 ticks=706915 tps=100 nb_sec=7069
case_no=136 label=Case6.124 nb_sol=0 ticks=326284 tps=100 nb_sec=3262
case_no=136 label=Case6.124 nb_sol=0 ticks=361611 tps=100 nb_sec=3616
case_no=136 label=Case6.124 nb_sol=0 ticks=649592 tps=100 nb_sec=6495
case_no=136 label=Case6.124 nb_sol=0 ticks=299253 tps=100 nb_sec=2992
case_no=136 label=Case6.124 nb_sol=0 ticks=302730 tps=100 nb_sec=3027
case_no=136 label=Case6.124 nb_sol=0 ticks=306018 tps=100 nb_sec=3060
case_no=136 label=Case6.124 nb_sol=0 ticks=356154 tps=100 nb_sec=3561
case_no=136 label=Case6.124 nb_sol=0 ticks=377993 tps=100 nb_sec=3779
case_no=136 label=Case6.124 nb_sol=0 ticks=401554 tps=100 nb_sec=4015
case_no=136 label=Case6.124 nb_sol=0 ticks=386822 tps=100 nb_sec=3868
case_no=136 label=Case6.124 nb_sol=0 ticks=400347 tps=100 nb_sec=4003
case_no=136 label=Case6.124 nb_sol=0 ticks=394399 tps=100 nb_sec=3943
case_no=136 label=Case6.124 nb_sol=0 ticks=399612 tps=100 nb_sec=3996
case_no=136 label=Case6.124 nb_sol=0 ticks=590608 tps=100 nb_sec=5906
case_no=136 label=Case6.124 nb_sol=0 ticks=510356 tps=100 nb_sec=5103
case_no=136 label=Case6.124 nb_sol=0 ticks=412456 tps=100 nb_sec=4124
case_no=136 label=Case6.124 nb_sol=0 ticks=393351 tps=100 nb_sec=3933
case_no=136 label=Case6.124 nb_sol=0 ticks=743959 tps=100 nb_sec=7439
case_no=136 label=Case6.124 nb_sol=0 ticks=562813 tps=100 nb_sec=5628
case_no=136 label=Case6.124 nb_sol=0 ticks=632242 tps=100 nb_sec=6322
case_no=136 label=Case6.124 nb_sol=0 ticks=542332 tps=100 nb_sec=5423
case_no=136 label=Case6.124 nb_sol=0 ticks=354062 tps=100 nb_sec=3540
case_no=136 label=Case6.124 nb_sol=0 ticks=648781 tps=100 nb_sec=6487
case_no=136 label=Case6.124 nb_sol=0 ticks=310557 tps=100 nb_sec=3105
case_no=136 label=Case6.124 nb_sol=0 ticks=642437 tps=100 nb_sec=6424
case_no=136 label=Case6.124 nb_sol=0 ticks=268975 tps=100 nb_sec=2689
case_no=136 label=Case6.124 nb_sol=0 ticks=828374 tps=100 nb_sec=8283
case_no=136 label=Case6.124 nb_sol=0 ticks=289344 tps=100 nb_sec=2893
case_no=136 label=Case6.124 nb_sol=0 ticks=664160 tps=100 nb_sec=6641
case_no=136 label=Case6.124 nb_sol=0 ticks=345752 tps=100 nb_sec=3457
case_no=136 label=Case6.124 nb_sol=0 ticks=578372 tps=100 nb_sec=5783
case_no=136 label=Case6.124 nb_sol=0 ticks=429038 tps=100 nb_sec=4290
case_no=136 label=Case6.124 nb_sol=0 ticks=353568 tps=100 nb_sec=3535
case_no=136 label=Case6.124 nb_sol=0 ticks=369899 tps=100 nb_sec=3698
case_no=136 label=Case6.124 nb_sol=0 ticks=665470 tps=100 nb_sec=6654
case_no=136 label=Case6.124 nb_sol=0 ticks=644706 tps=100 nb_sec=6447
case_no=136 label=Case6.124 nb_sol=0 ticks=309405 tps=100 nb_sec=3094
case_no=136 label=Case6.124 nb_sol=0 ticks=299099 tps=100 nb_sec=2990
case_no=136 label=Case6.124 nb_sol=0 ticks=635888 tps=100 nb_sec=6358
case_no=136 label=Case6.124 nb_sol=0 ticks=569005 tps=100 nb_sec=5690
case_no=136 label=Case6.124 nb_sol=0 ticks=330738 tps=100 nb_sec=3307
case_no=136 label=Case6.124 nb_sol=0 ticks=266188 tps=100 nb_sec=2661
case_no=136 label=Case6.124 nb_sol=0 ticks=337820 tps=100 nb_sec=3378
case_no=136 label=Case6.124 nb_sol=0 ticks=372846 tps=100 nb_sec=3728
case_no=136 label=Case6.124 nb_sol=0 ticks=283943 tps=100 nb_sec=2839
case_no=136 label=Case6.124 nb_sol=0 ticks=267170 tps=100 nb_sec=2671
case_no=136 label=Case6.124 nb_sol=0 ticks=260078 tps=100 nb_sec=2600
case_no=136 label=Case6.124 nb_sol=0 ticks=349188 tps=100 nb_sec=3491
case_no=136 label=Case6.124 nb_sol=0 ticks=423969 tps=100 nb_sec=4239
case_no=136 label=Case6.124 nb_sol=0 ticks=328497 tps=100 nb_sec=3284
case_no=136 label=Case6.124 nb_sol=0 ticks=241434 tps=100 nb_sec=2414
case_no=136 label=Case6.124 nb_sol=0 ticks=526007 tps=100 nb_sec=5260
case_no=136 label=Case6.124 nb_sol=0 ticks=305999 tps=100 nb_sec=3059
case_no=136 label=Case6.124 nb_sol=0 ticks=408589 tps=100 nb_sec=4085
case_no=136 label=Case6.124 nb_sol=0 ticks=291428 tps=100 nb_sec=2914
case_no=136 label=Case6.124 nb_sol=0 ticks=439769 tps=100 nb_sec=4397
case_no=136 label=Case6.124 nb_sol=0 ticks=434272 tps=100 nb_sec=4342
case_no=136 label=Case6.124 nb_sol=0 ticks=295223 tps=100 nb_sec=2952
case_no=136 label=Case6.124 nb_sol=0 ticks=354885 tps=100 nb_sec=3548
case_no=136 label=Case6.124 nb_sol=0 ticks=442611 tps=100 nb_sec=4426
case_no=136 label=Case6.124 nb_sol=0 ticks=452131 tps=100 nb_sec=4521
case_no=136 label=Case6.124 nb_sol=0 ticks=316805 tps=100 nb_sec=3168
case_no=136 label=Case6.124 nb_sol=0 ticks=581568 tps=100 nb_sec=5815
case_no=136 label=Case6.124 nb_sol=0 ticks=364152 tps=100 nb_sec=3641
case_no=136 label=Case6.124 nb_sol=0 ticks=468450 tps=100 nb_sec=4684
case_no=136 label=Case6.124 nb_sol=0 ticks=533391 tps=100 nb_sec=5333
case_no=136 label=Case6.124 nb_sol=0 ticks=337568 tps=100 nb_sec=3375
case_no=136 label=Case6.124 nb_sol=0 ticks=250404 tps=100 nb_sec=2504
case_no=136 label=Case6.124 nb_sol=0 ticks=501226 tps=100 nb_sec=5012
case_no=136 label=Case6.124 nb_sol=0 ticks=466464 tps=100 nb_sec=4664
case_no=136 label=Case6.124 nb_sol=0 ticks=364283 tps=100 nb_sec=3642
case_no=136 label=Case6.124 nb_sol=0 ticks=278548 tps=100 nb_sec=2785
case_no=136 label=Case6.124 nb_sol=0 ticks=300226 tps=100 nb_sec=3002
case_no=136 label=Case6.124 nb_sol=0 ticks=381729 tps=100 nb_sec=3817
case_no=136 label=Case6.124 nb_sol=0 ticks=294067 tps=100 nb_sec=2940
case_no=136 label=Case6.124 nb_sol=0 ticks=332214 tps=100 nb_sec=3322
case_no=136 label=Case6.124 nb_sol=0 ticks=269616 tps=100 nb_sec=2696
case_no=136 label=Case6.124 nb_sol=0 ticks=448935 tps=100 nb_sec=4489
case_no=136 label=Case6.124 nb_sol=0 ticks=342946 tps=100 nb_sec=3429
case_no=136 label=Case6.124 nb_sol=0 ticks=326507 tps=100 nb_sec=3265
case_no=136 label=Case6.124 nb_sol=0 ticks=271957 tps=100 nb_sec=2719
case_no=136 label=Case6.124 nb_sol=0 ticks=269624 tps=100 nb_sec=2696
case_no=136 label=Case6.124 nb_sol=0 ticks=327894 tps=100 nb_sec=3278
case_no=136 label=Case6.124 nb_sol=0 ticks=381591 tps=100 nb_sec=3815
case_no=136 label=Case6.124 nb_sol=0 ticks=330818 tps=100 nb_sec=3308
case_no=136 label=Case6.124 nb_sol=0 ticks=393838 tps=100 nb_sec=3938
case_no=136 label=Case6.124 nb_sol=0 ticks=369133 tps=100 nb_sec=3691
case_no=136 label=Case6.124 nb_sol=0 ticks=506169 tps=100 nb_sec=5061
case_no=136 label=Case6.124 nb_sol=0 ticks=317927 tps=100 nb_sec=3179
case_no=136 label=Case6.124 nb_sol=0 ticks=270235 tps=100 nb_sec=2702
case_no=136 label=Case6.124 nb_sol=0 ticks=276501 tps=100 nb_sec=2765
case_no=136 label=Case6.124 nb_sol=0 ticks=322186 tps=100 nb_sec=3221
case_no=136 label=Case6.124 nb_sol=0 ticks=415302 tps=100 nb_sec=4153
case_no=136 label=Case6.124 nb_sol=0 ticks=227076 tps=100 nb_sec=2270
case_no=136 label=Case6.124 nb_sol=0 ticks=295279 tps=100 nb_sec=2952
case_no=136 label=Case6.124 nb_sol=0 ticks=220371 tps=100 nb_sec=2203
case_no=136 label=Case6.124 nb_sol=0 ticks=349558 tps=100 nb_sec=3495
case_no=136 label=Case6.124 nb_sol=0 ticks=412141 tps=100 nb_sec=4121
case_no=136 label=Case6.124 nb_sol=0 ticks=311993 tps=100 nb_sec=3119
case_no=136 label=Case6.124 nb_sol=0 ticks=399814 tps=100 nb_sec=3998
case_no=136 label=Case6.124 nb_sol=0 ticks=421036 tps=100 nb_sec=4210
case_no=136 label=Case6.124 nb_sol=0 ticks=377306 tps=100 nb_sec=3773
case_no=136 label=Case6.124 nb_sol=0 ticks=368161 tps=100 nb_sec=3681
case_no=136 label=Case6.124 nb_sol=0 ticks=493824 tps=100 nb_sec=4938
case_no=136 label=Case6.124 nb_sol=0 ticks=324014 tps=100 nb_sec=3240
case_no=136 label=Case6.124 nb_sol=0 ticks=466518 tps=100 nb_sec=4665
case_no=136 label=Case6.124 nb_sol=0 ticks=443184 tps=100 nb_sec=4431
case_no=136 label=Case6.124 nb_sol=0 ticks=336969 tps=100 nb_sec=3369
case_no=136 label=Case6.124 nb_sol=0 ticks=424383 tps=100 nb_sec=4243
case_no=136 label=Case6.124 nb_sol=0 ticks=389832 tps=100 nb_sec=3898
case_no=136 label=Case6.124 nb_sol=0 ticks=365264 tps=100 nb_sec=3652
case_no=136 label=Case6.124 nb_sol=0 ticks=370408 tps=100 nb_sec=3704
case_no=136 label=Case6.124 nb_sol=0 ticks=295228 tps=100 nb_sec=2952
case_no=136 label=Case6.124 nb_sol=0 ticks=282396 tps=100 nb_sec=2823
case_no=136 label=Case6.124 nb_sol=0 ticks=307776 tps=100 nb_sec=3077
case_no=136 label=Case6.124 nb_sol=0 ticks=405662 tps=100 nb_sec=4056
case_no=136 label=Case6.124 nb_sol=0 ticks=259893 tps=100 nb_sec=2598
case_no=136 label=Case6.124 nb_sol=0 ticks=495029 tps=100 nb_sec=4950
case_no=136 label=Case6.124 nb_sol=0 ticks=385918 tps=100 nb_sec=3859
case_no=136 label=Case6.124 nb_sol=0 ticks=486194 tps=100 nb_sec=4861
case_no=136 label=Case6.124 nb_sol=0 ticks=502921 tps=100 nb_sec=5029
case_no=136 label=Case6.124 nb_sol=0 ticks=394197 tps=100 nb_sec=3941
case_no=136 label=Case6.124 nb_sol=0 ticks=419100 tps=100 nb_sec=4191
case_no=136 label=Case6.124 nb_sol=0 ticks=590550 tps=100 nb_sec=5905
case_no=136 label=Case6.124 nb_sol=0 ticks=314571 tps=100 nb_sec=3145
case_no=136 label=Case6.124 nb_sol=0 ticks=459173 tps=100 nb_sec=4591
case_no=136 label=Case6.124 nb_sol=0 ticks=312746 tps=100 nb_sec=3127
case_no=136 label=Case6.124 nb_sol=0 ticks=492946 tps=100 nb_sec=4929
case_no=136 label=Case6.124 nb_sol=0 ticks=615535 tps=100 nb_sec=6155
case_no=136 label=Case6.124 nb_sol=0 ticks=892469 tps=100 nb_sec=8924
case_no=136 label=Case6.124 nb_sol=0 ticks=318427 tps=100 nb_sec=3184
case_no=136 label=Case6.124 nb_sol=0 ticks=339056 tps=100 nb_sec=3390
case_no=136 label=Case6.124 nb_sol=0 ticks=349773 tps=100 nb_sec=3497
case_no=136 label=Case6.124 nb_sol=0 ticks=408471 tps=100 nb_sec=4084
case_no=136 label=Case6.124 nb_sol=0 ticks=485943 tps=100 nb_sec=4859
case_no=136 label=Case6.124 nb_sol=0 ticks=284941 tps=100 nb_sec=2849
case_no=136 label=Case6.124 nb_sol=0 ticks=256836 tps=100 nb_sec=2568
case_no=136 label=Case6.124 nb_sol=0 ticks=394972 tps=100 nb_sec=3949
case_no=136 label=Case6.124 nb_sol=0 ticks=284052 tps=100 nb_sec=2840
case_no=136 label=Case6.124 nb_sol=0 ticks=491624 tps=100 nb_sec=4916
case_no=136 label=Case6.124 nb_sol=0 ticks=538695 tps=100 nb_sec=5386
case_no=136 label=Case6.124 nb_sol=0 ticks=478774 tps=100 nb_sec=4787
case_no=136 label=Case6.124 nb_sol=0 ticks=383602 tps=100 nb_sec=3836
case_no=136 label=Case6.124 nb_sol=0 ticks=449594 tps=100 nb_sec=4495
case_no=136 label=Case6.124 nb_sol=0 ticks=623475 tps=100 nb_sec=6234
case_no=136 label=Case6.124 nb_sol=0 ticks=363810 tps=100 nb_sec=3638
case_no=136 label=Case6.124 nb_sol=0 ticks=438543 tps=100 nb_sec=4385
case_no=136 label=Case6.124 nb_sol=0 ticks=598044 tps=100 nb_sec=5980
case_no=136 label=Case6.124 nb_sol=0 ticks=643379 tps=100 nb_sec=6433
case_no=136 label=Case6.124 nb_sol=0 ticks=310411 tps=100 nb_sec=3104
case_no=136 label=Case6.124 nb_sol=0 ticks=349079 tps=100 nb_sec=3490
case_no=136 label=Case6.124 nb_sol=0 ticks=297169 tps=100 nb_sec=2971
case_no=136 label=Case6.124 nb_sol=0 ticks=294552 tps=100 nb_sec=2945
case_no=136 label=Case6.124 nb_sol=0 ticks=523158 tps=100 nb_sec=5231
case_no=136 label=Case6.124 nb_sol=0 ticks=432343 tps=100 nb_sec=4323
case_no=136 label=Case6.124 nb_sol=0 ticks=544954 tps=100 nb_sec=5449
case_no=136 label=Case6.124 nb_sol=0 ticks=298377 tps=100 nb_sec=2983
case_no=136 label=Case6.124 nb_sol=0 ticks=250335 tps=100 nb_sec=2503
case_no=136 label=Case6.124 nb_sol=0 ticks=330923 tps=100 nb_sec=3309
case_no=136 label=Case6.124 nb_sol=0 ticks=495473 tps=100 nb_sec=4954
case_no=136 label=Case6.124 nb_sol=0 ticks=426386 tps=100 nb_sec=4263
case_no=136 label=Case6.124 nb_sol=0 ticks=500453 tps=100 nb_sec=5004
case_no=136 label=Case6.124 nb_sol=0 ticks=491001 tps=100 nb_sec=4910
case_no=136 label=Case6.124 nb_sol=0 ticks=294403 tps=100 nb_sec=2944
case_no=136 label=Case6.124 nb_sol=0 ticks=409338 tps=100 nb_sec=4093
case_no=136 label=Case6.124 nb_sol=0 ticks=505560 tps=100 nb_sec=5055
case_no=136 label=Case6.124 nb_sol=0 ticks=626572 tps=100 nb_sec=6265
case_no=136 label=Case6.124 nb_sol=0 ticks=534600 tps=100 nb_sec=5346
case_no=136 label=Case6.124 nb_sol=0 ticks=759579 tps=100 nb_sec=7595
case_no=136 label=Case6.124 nb_sol=0 ticks=504983 tps=100 nb_sec=5049
case_no=136 label=Case6.124 nb_sol=0 ticks=513760 tps=100 nb_sec=5137
case_no=136 label=Case6.124 nb_sol=0 ticks=650422 tps=100 nb_sec=6504
case_no=136 label=Case6.124 nb_sol=0 ticks=282993 tps=100 nb_sec=2829
case_no=136 label=Case6.124 nb_sol=0 ticks=595030 tps=100 nb_sec=5950
case_no=136 label=Case6.124 nb_sol=0 ticks=284466 tps=100 nb_sec=2844
case_no=136 label=Case6.124 nb_sol=0 ticks=595913 tps=100 nb_sec=5959
case_no=136 label=Case6.124 nb_sol=0 ticks=680761 tps=100 nb_sec=6807
case_no=136 label=Case6.124 nb_sol=0 ticks=325268 tps=100 nb_sec=3252
case_no=136 label=Case6.124 nb_sol=0 ticks=488800 tps=100 nb_sec=4888
case_no=136 label=Case6.124 nb_sol=0 ticks=411119 tps=100 nb_sec=4111
case_no=136 label=Case6.124 nb_sol=0 ticks=315583 tps=100 nb_sec=3155
case_no=136 label=Case6.124 nb_sol=0 ticks=318462 tps=100 nb_sec=3184
case_no=136 label=Case6.124 nb_sol=0 ticks=397545 tps=100 nb_sec=3975
case_no=136 label=Case6.124 nb_sol=0 ticks=425901 tps=100 nb_sec=4259
case_no=136 label=Case6.124 nb_sol=0 ticks=569641 tps=100 nb_sec=5696
case_no=136 label=Case6.124 nb_sol=0 ticks=487474 tps=100 nb_sec=4874
case_no=136 label=Case6.124 nb_sol=0 ticks=404279 tps=100 nb_sec=4042
case_no=136 label=Case6.124 nb_sol=0 ticks=543097 tps=100 nb_sec=5430
case_no=136 label=Case6.124 nb_sol=0 ticks=540691 tps=100 nb_sec=5406
case_no=136 label=Case6.124 nb_sol=0 ticks=431817 tps=100 nb_sec=4318
case_no=136 label=Case6.124 nb_sol=0 ticks=554881 tps=100 nb_sec=5548
case_no=136 label=Case6.124 nb_sol=0 ticks=570079 tps=100 nb_sec=5700
case_no=136 label=Case6.124 nb_sol=0 ticks=527807 tps=100 nb_sec=5278
case_no=136 label=Case6.124 nb_sol=0 ticks=728885 tps=100 nb_sec=7288
case_no=136 label=Case6.124 nb_sol=0 ticks=610953 tps=100 nb_sec=6109
case_no=136 label=Case6.124 nb_sol=0 ticks=405514 tps=100 nb_sec=4055
case_no=136 label=Case6.124 nb_sol=0 ticks=636941 tps=100 nb_sec=6369
case_no=136 label=Case6.124 nb_sol=0 ticks=559280 tps=100 nb_sec=5592
case_no=136 label=Case6.124 nb_sol=0 ticks=528461 tps=100 nb_sec=5284
case_no=136 label=Case6.124 nb_sol=0 ticks=486279 tps=100 nb_sec=4862
case_no=136 label=Case6.124 nb_sol=0 ticks=458994 tps=100 nb_sec=4589
case_no=136 label=Case6.124 nb_sol=0 ticks=631655 tps=100 nb_sec=6316
case_no=136 label=Case6.124 nb_sol=0 ticks=543255 tps=100 nb_sec=5432
case_no=136 label=Case6.124 nb_sol=0 ticks=597296 tps=100 nb_sec=5972
case_no=136 label=Case6.124 nb_sol=0 ticks=460668 tps=100 nb_sec=4606
case_no=136 label=Case6.124 nb_sol=0 ticks=582515 tps=100 nb_sec=5825
case_no=136 label=Case6.124 nb_sol=0 ticks=526753 tps=100 nb_sec=5267
case_no=136 label=Case6.124 nb_sol=0 ticks=588032 tps=100 nb_sec=5880
case_no=136 label=Case6.124 nb_sol=0 ticks=528498 tps=100 nb_sec=5284
case_no=136 label=Case6.124 nb_sol=0 ticks=387942 tps=100 nb_sec=3879
case_no=136 label=Case6.124 nb_sol=0 ticks=432354 tps=100 nb_sec=4323
case_no=136 label=Case6.124 nb_sol=0 ticks=476661 tps=100 nb_sec=4766
case_no=136 label=Case6.124 nb_sol=0 ticks=592584 tps=100 nb_sec=5925
case_no=136 label=Case6.124 nb_sol=0 ticks=557897 tps=100 nb_sec=5578
case_no=136 label=Case6.124 nb_sol=0 ticks=412729 tps=100 nb_sec=4127
case_no=136 label=Case6.124 nb_sol=0 ticks=630147 tps=100 nb_sec=6301
case_no=136 label=Case6.124 nb_sol=0 ticks=476628 tps=100 nb_sec=4766
case_no=136 label=Case6.124 nb_sol=0 ticks=678192 tps=100 nb_sec=6781
case_no=136 label=Case6.124 nb_sol=0 ticks=547305 tps=100 nb_sec=5473
case_no=136 label=Case6.124 nb_sol=0 ticks=670804 tps=100 nb_sec=6708
case_no=136 label=Case6.124 nb_sol=0 ticks=645404 tps=100 nb_sec=6454
case_no=136 label=Case6.124 nb_sol=0 ticks=827710 tps=100 nb_sec=8277
case_no=136 label=Case6.124 nb_sol=0 ticks=674988 tps=100 nb_sec=6749
case_no=136 label=Case6.124 nb_sol=0 ticks=618304 tps=100 nb_sec=6183
case_no=136 label=Case6.124 nb_sol=0 ticks=619814 tps=100 nb_sec=6198
case_no=136 label=Case6.124 nb_sol=0 ticks=373131 tps=100 nb_sec=3731
case_no=136 label=Case6.124 nb_sol=0 ticks=540848 tps=100 nb_sec=5408
case_no=136 label=Case6.124 nb_sol=0 ticks=345457 tps=100 nb_sec=3454
case_no=136 label=Case6.124 nb_sol=0 ticks=379899 tps=100 nb_sec=3798
case_no=136 label=Case6.124 nb_sol=0 ticks=559091 tps=100 nb_sec=5590
case_no=136 label=Case6.124 nb_sol=0 ticks=624482 tps=100 nb_sec=6244
case_no=136 label=Case6.124 nb_sol=0 ticks=605326 tps=100 nb_sec=6053
case_no=136 label=Case6.124 nb_sol=0 ticks=321183 tps=100 nb_sec=3211
case_no=136 label=Case6.124 nb_sol=0 ticks=261951 tps=100 nb_sec=2619
case_no=136 label=Case6.124 nb_sol=0 ticks=247109 tps=100 nb_sec=2471
case_no=136 label=Case6.124 nb_sol=0 ticks=599736 tps=100 nb_sec=5997
case_no=136 label=Case6.124 nb_sol=0 ticks=551727 tps=100 nb_sec=5517
case_no=136 label=Case6.124 nb_sol=0 ticks=332787 tps=100 nb_sec=3327
case_no=136 label=Case6.124 nb_sol=0 ticks=656997 tps=100 nb_sec=6569
case_no=136 label=Case6.124 nb_sol=0 ticks=572901 tps=100 nb_sec=5729
case_no=136 label=Case6.124 nb_sol=0 ticks=617339 tps=100 nb_sec=6173
case_no=136 label=Case6.124 nb_sol=0 ticks=679316 tps=100 nb_sec=6793
case_no=136 label=Case6.124 nb_sol=0 ticks=531277 tps=100 nb_sec=5312
case_no=136 label=Case6.124 nb_sol=0 ticks=530099 tps=100 nb_sec=5300
case_no=136 label=Case6.124 nb_sol=0 ticks=548457 tps=100 nb_sec=5484
case_no=136 label=Case6.124 nb_sol=0 ticks=541816 tps=100 nb_sec=5418
case_no=136 label=Case6.124 nb_sol=0 ticks=553004 tps=100 nb_sec=5530
case_no=136 label=Case6.124 nb_sol=0 ticks=513078 tps=100 nb_sec=5130
case_no=136 label=Case6.124 nb_sol=0 ticks=247879 tps=100 nb_sec=2478
case_no=136 label=Case6.124 nb_sol=0 ticks=445268 tps=100 nb_sec=4452
case_no=136 label=Case6.124 nb_sol=0 ticks=560517 tps=100 nb_sec=5605
case_no=136 label=Case6.124 nb_sol=0 ticks=535059 tps=100 nb_sec=5350
case_no=136 label=Case6.124 nb_sol=0 ticks=550634 tps=100 nb_sec=5506
case_no=136 label=Case6.124 nb_sol=0 ticks=572777 tps=100 nb_sec=5727
case_no=136 label=Case6.124 nb_sol=0 ticks=541799 tps=100 nb_sec=5417
case_no=136 label=Case6.124 nb_sol=0 ticks=310575 tps=100 nb_sec=3105
case_no=136 label=Case6.124 nb_sol=0 ticks=275274 tps=100 nb_sec=2752
case_no=136 label=Case6.124 nb_sol=0 ticks=332452 tps=100 nb_sec=3324
case_no=136 label=Case6.124 nb_sol=0 ticks=307494 tps=100 nb_sec=3074
case_no=136 label=Case6.124 nb_sol=0 ticks=284658 tps=100 nb_sec=2846
case_no=136 label=Case6.124 nb_sol=0 ticks=578134 tps=100 nb_sec=5781
case_no=136 label=Case6.124 nb_sol=0 ticks=288256 tps=100 nb_sec=2882
case_no=136 label=Case6.124 nb_sol=0 ticks=309042 tps=100 nb_sec=3090
case_no=136 label=Case6.124 nb_sol=0 ticks=644903 tps=100 nb_sec=6449
case_no=136 label=Case6.124 nb_sol=0 ticks=255285 tps=100 nb_sec=2552
case_no=136 label=Case6.124 nb_sol=0 ticks=289543 tps=100 nb_sec=2895
case_no=136 label=Case6.124 nb_sol=0 ticks=580960 tps=100 nb_sec=5809
case_no=136 label=Case6.124 nb_sol=0 ticks=481363 tps=100 nb_sec=4813
case_no=136 label=Case6.124 nb_sol=0 ticks=534543 tps=100 nb_sec=5345
case_no=136 label=Case6.124 nb_sol=0 ticks=540129 tps=100 nb_sec=5401
case_no=136 label=Case6.124 nb_sol=0 ticks=301942 tps=100 nb_sec=3019
case_no=136 label=Case6.124 nb_sol=0 ticks=470773 tps=100 nb_sec=4707
case_no=136 label=Case6.124 nb_sol=0 ticks=238958 tps=100 nb_sec=2389
case_no=136 label=Case6.124 nb_sol=0 ticks=521591 tps=100 nb_sec=5215
case_no=136 label=Case6.124 nb_sol=0 ticks=263656 tps=100 nb_sec=2636
case_no=136 label=Case6.124 nb_sol=0 ticks=260346 tps=100 nb_sec=2603
case_no=136 label=Case6.124 nb_sol=0 ticks=316494 tps=100 nb_sec=3164
case_no=136 label=Case6.124 nb_sol=0 ticks=481009 tps=100 nb_sec=4810
case_no=136 label=Case6.124 nb_sol=0 ticks=287182 tps=100 nb_sec=2871
case_no=136 label=Case6.124 nb_sol=0 ticks=254641 tps=100 nb_sec=2546
case_no=136 label=Case6.124 nb_sol=0 ticks=582959 tps=100 nb_sec=5829
case_no=136 label=Case6.124 nb_sol=0 ticks=267847 tps=100 nb_sec=2678
case_no=136 label=Case6.124 nb_sol=0 ticks=547693 tps=100 nb_sec=5476
case_no=136 label=Case6.124 nb_sol=0 ticks=256597 tps=100 nb_sec=2565
case_no=136 label=Case6.124 nb_sol=0 ticks=575825 tps=100 nb_sec=5758
case_no=136 label=Case6.124 nb_sol=0 ticks=552317 tps=100 nb_sec=5523
case_no=136 label=Case6.124 nb_sol=0 ticks=441157 tps=100 nb_sec=4411
case_no=136 label=Case6.124 nb_sol=0 ticks=554266 tps=100 nb_sec=5542
case_no=136 label=Case6.124 nb_sol=0 ticks=508206 tps=100 nb_sec=5082
case_no=136 label=Case6.124 nb_sol=0 ticks=266860 tps=100 nb_sec=2668
case_no=136 label=Case6.124 nb_sol=0 ticks=336320 tps=100 nb_sec=3363
case_no=136 label=Case6.124 nb_sol=0 ticks=551799 tps=100 nb_sec=5517
case_no=136 label=Case6.124 nb_sol=0 ticks=477220 tps=100 nb_sec=4772
case_no=136 label=Case6.124 nb_sol=0 ticks=583892 tps=100 nb_sec=5838
case_no=136 label=Case6.124 nb_sol=0 ticks=624926 tps=100 nb_sec=6249
case_no=136 label=Case6.124 nb_sol=0 ticks=330430 tps=100 nb_sec=3304
case_no=136 label=Case6.124 nb_sol=0 ticks=637096 tps=100 nb_sec=6370
case_no=136 label=Case6.124 nb_sol=0 ticks=657557 tps=100 nb_sec=6575
case_no=136 label=Case6.124 nb_sol=0 ticks=530333 tps=100 nb_sec=5303
case_no=136 label=Case6.124 nb_sol=0 ticks=429883 tps=100 nb_sec=4298
case_no=136 label=Case6.124 nb_sol=0 ticks=300395 tps=100 nb_sec=3003
case_no=136 label=Case6.124 nb_sol=0 ticks=565463 tps=100 nb_sec=5654
case_no=136 label=Case6.124 nb_sol=0 ticks=659031 tps=100 nb_sec=6590
case_no=136 label=Case6.124 nb_sol=0 ticks=383208 tps=100 nb_sec=3832
case_no=136 label=Case6.124 nb_sol=0 ticks=367293 tps=100 nb_sec=3672
case_no=136 label=Case6.124 nb_sol=0 ticks=471339 tps=100 nb_sec=4713
case_no=136 label=Case6.124 nb_sol=0 ticks=500307 tps=100 nb_sec=5003
case_no=136 label=Case6.124 nb_sol=0 ticks=268899 tps=100 nb_sec=2688
case_no=136 label=Case6.124 nb_sol=0 ticks=286636 tps=100 nb_sec=2866
case_no=136 label=Case6.124 nb_sol=0 ticks=471810 tps=100 nb_sec=4718
case_no=136 label=Case6.124 nb_sol=0 ticks=477752 tps=100 nb_sec=4777
case_no=136 label=Case6.124 nb_sol=0 ticks=633004 tps=100 nb_sec=6330
case_no=136 label=Case6.124 nb_sol=0 ticks=423237 tps=100 nb_sec=4232
case_no=136 label=Case6.124 nb_sol=0 ticks=585017 tps=100 nb_sec=5850
case_no=136 label=Case6.124 nb_sol=0 ticks=272880 tps=100 nb_sec=2728
case_no=136 label=Case6.124 nb_sol=0 ticks=314599 tps=100 nb_sec=3145
case_no=136 label=Case6.124 nb_sol=0 ticks=353093 tps=100 nb_sec=3530
case_no=136 label=Case6.124 nb_sol=0 ticks=531613 tps=100 nb_sec=5316
case_no=136 label=Case6.124 nb_sol=0 ticks=266799 tps=100 nb_sec=2667
case_no=136 label=Case6.124 nb_sol=0 ticks=283619 tps=100 nb_sec=2836
case_no=136 label=Case6.124 nb_sol=0 ticks=230209 tps=100 nb_sec=2302
case_no=136 label=Case6.124 nb_sol=0 ticks=470495 tps=100 nb_sec=4704
case_no=136 label=Case6.124 nb_sol=0 ticks=403549 tps=100 nb_sec=4035
case_no=136 label=Case6.124 nb_sol=0 ticks=348177 tps=100 nb_sec=3481
case_no=136 label=Case6.124 nb_sol=0 ticks=403675 tps=100 nb_sec=4036
case_no=136 label=Case6.124 nb_sol=0 ticks=434904 tps=100 nb_sec=4349
case_no=136 label=Case6.124 nb_sol=0 ticks=623077 tps=100 nb_sec=6230
case_no=136 label=Case6.124 nb_sol=0 ticks=547674 tps=100 nb_sec=5476
case_no=136 label=Case6.124 nb_sol=0 ticks=265087 tps=100 nb_sec=2650
case_no=136 label=Case6.124 nb_sol=0 ticks=290456 tps=100 nb_sec=2904
case_no=136 label=Case6.124 nb_sol=0 ticks=197018 tps=100 nb_sec=1970
case_no=136 label=Case6.124 nb_sol=0 ticks=418389 tps=100 nb_sec=4183
case_no=136 label=Case6.124 nb_sol=0 ticks=197005 tps=100 nb_sec=1970
case_no=136 label=Case6.124 nb_sol=0 ticks=207363 tps=100 nb_sec=2073
case_no=136 label=Case6.124 nb_sol=0 ticks=337882 tps=100 nb_sec=3378
case_no=136 label=Case6.124 nb_sol=0 ticks=396419 tps=100 nb_sec=3964
case_no=136 label=Case6.124 nb_sol=0 ticks=472066 tps=100 nb_sec=4720
case_no=136 label=Case6.124 nb_sol=0 ticks=452985 tps=100 nb_sec=4529
case_no=136 label=Case6.124 nb_sol=0 ticks=361262 tps=100 nb_sec=3612
case_no=136 label=Case6.124 nb_sol=0 ticks=392272 tps=100 nb_sec=3922
case_no=136 label=Case6.124 nb_sol=0 ticks=239323 tps=100 nb_sec=2393
case_no=136 label=Case6.124 nb_sol=0 ticks=310742 tps=100 nb_sec=3107
case_no=136 label=Case6.124 nb_sol=0 ticks=398784 tps=100 nb_sec=3987
case_no=136 label=Case6.124 nb_sol=0 ticks=314799 tps=100 nb_sec=3147
case_no=136 label=Case6.124 nb_sol=0 ticks=462533 tps=100 nb_sec=4625
case_no=136 label=Case6.124 nb_sol=0 ticks=287105 tps=100 nb_sec=2871
case_no=136 label=Case6.124 nb_sol=0 ticks=311335 tps=100 nb_sec=3113
case_no=136 label=Case6.124 nb_sol=0 ticks=286740 tps=100 nb_sec=2867
case_no=136 label=Case6.124 nb_sol=0 ticks=461877 tps=100 nb_sec=4618
case_no=136 label=Case6.124 nb_sol=0 ticks=302559 tps=100 nb_sec=3025
case_no=136 label=Case6.124 nb_sol=0 ticks=424728 tps=100 nb_sec=4247
case_no=136 label=Case6.124 nb_sol=0 ticks=367812 tps=100 nb_sec=3678
case_no=136 label=Case6.124 nb_sol=0 ticks=463313 tps=100 nb_sec=4633
case_no=136 label=Case6.124 nb_sol=0 ticks=507299 tps=100 nb_sec=5072
case_no=136 label=Case6.124 nb_sol=0 ticks=511719 tps=100 nb_sec=5117
case_no=136 label=Case6.124 nb_sol=0 ticks=311182 tps=100 nb_sec=3111
case_no=136 label=Case6.124 nb_sol=0 ticks=488011 tps=100 nb_sec=4880
case_no=136 label=Case6.124 nb_sol=0 ticks=487615 tps=100 nb_sec=4876
case_no=136 label=Case6.124 nb_sol=0 ticks=435458 tps=100 nb_sec=4354
case_no=136 label=Case6.124 nb_sol=0 ticks=434193 tps=100 nb_sec=4341
case_no=136 label=Case6.124 nb_sol=0 ticks=470779 tps=100 nb_sec=4707
case_no=136 label=Case6.124 nb_sol=0 ticks=356809 tps=100 nb_sec=3568
case_no=136 label=Case6.124 nb_sol=0 ticks=305887 tps=100 nb_sec=3058
case_no=136 label=Case6.124 nb_sol=0 ticks=243720 tps=100 nb_sec=2437
case_no=136 label=Case6.124 nb_sol=0 ticks=357665 tps=100 nb_sec=3576
case_no=136 label=Case6.124 nb_sol=0 ticks=209862 tps=100 nb_sec=2098
case_no=136 label=Case6.124 nb_sol=0 ticks=430752 tps=100 nb_sec=4307
case_no=136 label=Case6.124 nb_sol=0 ticks=236946 tps=100 nb_sec=2369
case_no=136 label=Case6.124 nb_sol=0 ticks=224786 tps=100 nb_sec=2247
case_no=136 label=Case6.124 nb_sol=0 ticks=348741 tps=100 nb_sec=3487
case_no=136 label=Case6.124 nb_sol=0 ticks=211031 tps=100 nb_sec=2110
case_no=136 label=Case6.124 nb_sol=0 ticks=344161 tps=100 nb_sec=3441
case_no=136 label=Case6.124 nb_sol=0 ticks=504068 tps=100 nb_sec=5040
case_no=136 label=Case6.124 nb_sol=0 ticks=283814 tps=100 nb_sec=2838
case_no=136 label=Case6.124 nb_sol=0 ticks=257156 tps=100 nb_sec=2571
case_no=136 label=Case6.124 nb_sol=0 ticks=311968 tps=100 nb_sec=3119
case_no=136 label=Case6.124 nb_sol=0 ticks=535170 tps=100 nb_sec=5351
case_no=136 label=Case6.124 nb_sol=0 ticks=556476 tps=100 nb_sec=5564
case_no=136 label=Case6.124 nb_sol=0 ticks=472315 tps=100 nb_sec=4723
case_no=136 label=Case6.124 nb_sol=0 ticks=401893 tps=100 nb_sec=4018
case_no=136 label=Case6.124 nb_sol=0 ticks=412181 tps=100 nb_sec=4121
case_no=136 label=Case6.124 nb_sol=0 ticks=556650 tps=100 nb_sec=5566
case_no=136 label=Case6.124 nb_sol=0 ticks=477287 tps=100 nb_sec=4772
case_no=136 label=Case6.124 nb_sol=0 ticks=494893 tps=100 nb_sec=4948
case_no=136 label=Case6.124 nb_sol=0 ticks=423206 tps=100 nb_sec=4232
case_no=136 label=Case6.124 nb_sol=0 ticks=334228 tps=100 nb_sec=3342
case_no=136 label=Case6.124 nb_sol=0 ticks=252962 tps=100 nb_sec=2529
case_no=136 label=Case6.124 nb_sol=0 ticks=255182 tps=100 nb_sec=2551
case_no=136 label=Case6.124 nb_sol=0 ticks=445969 tps=100 nb_sec=4459
case_no=136 label=Case6.124 nb_sol=0 ticks=380409 tps=100 nb_sec=3804
case_no=136 label=Case6.124 nb_sol=0 ticks=448627 tps=100 nb_sec=4486
case_no=136 label=Case6.124 nb_sol=0 ticks=389415 tps=100 nb_sec=3894
case_no=136 label=Case6.124 nb_sol=0 ticks=267432 tps=100 nb_sec=2674
case_no=136 label=Case6.124 nb_sol=0 ticks=283540 tps=100 nb_sec=2835
case_no=136 label=Case6.124 nb_sol=0 ticks=243925 tps=100 nb_sec=2439
case_no=136 label=Case6.124 nb_sol=0 ticks=262507 tps=100 nb_sec=2625
case_no=136 label=Case6.124 nb_sol=0 ticks=294167 tps=100 nb_sec=2941
case_no=136 label=Case6.124 nb_sol=0 ticks=297641 tps=100 nb_sec=2976
case_no=136 label=Case6.124 nb_sol=0 ticks=469885 tps=100 nb_sec=4698
case_no=136 label=Case6.124 nb_sol=0 ticks=249443 tps=100 nb_sec=2494
case_no=136 label=Case6.124 nb_sol=0 ticks=292958 tps=100 nb_sec=2929
case_no=136 label=Case6.124 nb_sol=0 ticks=407474 tps=100 nb_sec=4074
case_no=136 label=Case6.124 nb_sol=0 ticks=323789 tps=100 nb_sec=3237
case_no=136 label=Case6.124 nb_sol=0 ticks=403904 tps=100 nb_sec=4039
case_no=136 label=Case6.124 nb_sol=0 ticks=347791 tps=100 nb_sec=3477
case_no=136 label=Case6.124 nb_sol=0 ticks=291226 tps=100 nb_sec=2912
case_no=136 label=Case6.124 nb_sol=0 ticks=354619 tps=100 nb_sec=3546
case_no=136 label=Case6.124 nb_sol=0 ticks=348416 tps=100 nb_sec=3484
case_no=136 label=Case6.124 nb_sol=0 ticks=311020 tps=100 nb_sec=3110
case_no=136 label=Case6.124 nb_sol=0 ticks=286933 tps=100 nb_sec=2869
case_no=136 label=Case6.124 nb_sol=0 ticks=285225 tps=100 nb_sec=2852
case_no=136 label=Case6.124 nb_sol=0 ticks=223963 tps=100 nb_sec=2239
case_no=136 label=Case6.124 nb_sol=0 ticks=287645 tps=100 nb_sec=2876
case_no=136 label=Case6.124 nb_sol=0 ticks=263197 tps=100 nb_sec=2631
case_no=136 label=Case6.124 nb_sol=0 ticks=237729 tps=100 nb_sec=2377
case_no=136 label=Case6.124 nb_sol=0 ticks=222545 tps=100 nb_sec=2225
case_no=136 label=Case6.124 nb_sol=0 ticks=203753 tps=100 nb_sec=2037
case_no=136 label=Case6.124 nb_sol=0 ticks=484645 tps=100 nb_sec=4846
case_no=136 label=Case6.124 nb_sol=0 ticks=396775 tps=100 nb_sec=3967
case_no=136 label=Case6.124 nb_sol=0 ticks=336377 tps=100 nb_sec=3363
case_no=136 label=Case6.124 nb_sol=0 ticks=252259 tps=100 nb_sec=2522
case_no=136 label=Case6.124 nb_sol=0 ticks=198941 tps=100 nb_sec=1989
case_no=136 label=Case6.124 nb_sol=0 ticks=379673 tps=100 nb_sec=3796
case_no=136 label=Case6.124 nb_sol=0 ticks=248526 tps=100 nb_sec=2485
case_no=136 label=Case6.124 nb_sol=0 ticks=339894 tps=100 nb_sec=3398
case_no=136 label=Case6.124 nb_sol=0 ticks=361269 tps=100 nb_sec=3612
case_no=136 label=Case6.124 nb_sol=0 ticks=296873 tps=100 nb_sec=2968
case_no=136 label=Case6.124 nb_sol=0 ticks=612603 tps=100 nb_sec=6126
case_no=136 label=Case6.124 nb_sol=0 ticks=298919 tps=100 nb_sec=2989
case_no=136 label=Case6.124 nb_sol=0 ticks=281486 tps=100 nb_sec=2814
case_no=136 label=Case6.124 nb_sol=0 ticks=415434 tps=100 nb_sec=4154
case_no=136 label=Case6.124 nb_sol=0 ticks=282600 tps=100 nb_sec=2826
case_no=136 label=Case6.124 nb_sol=0 ticks=268700 tps=100 nb_sec=2687
case_no=136 label=Case6.124 nb_sol=0 ticks=283257 tps=100 nb_sec=2832
case_no=136 label=Case6.124 nb_sol=0 ticks=350595 tps=100 nb_sec=3505
case_no=136 label=Case6.124 nb_sol=0 ticks=344537 tps=100 nb_sec=3445
case_no=136 label=Case6.124 nb_sol=0 ticks=338584 tps=100 nb_sec=3385
case_no=136 label=Case6.124 nb_sol=0 ticks=262090 tps=100 nb_sec=2620
case_no=136 label=Case6.124 nb_sol=0 ticks=256768 tps=100 nb_sec=2567
case_no=136 label=Case6.124 nb_sol=0 ticks=254338 tps=100 nb_sec=2543
case_no=136 label=Case6.124 nb_sol=0 ticks=422328 tps=100 nb_sec=4223
case_no=136 label=Case6.124 nb_sol=0 ticks=262045 tps=100 nb_sec=2620
case_no=136 label=Case6.124 nb_sol=0 ticks=213606 tps=100 nb_sec=2136
case_no=136 label=Case6.124 nb_sol=0 ticks=257133 tps=100 nb_sec=2571
case_no=136 label=Case6.124 nb_sol=0 ticks=401231 tps=100 nb_sec=4012
case_no=136 label=Case6.124 nb_sol=0 ticks=279134 tps=100 nb_sec=2791
case_no=136 label=Case6.124 nb_sol=0 ticks=159892 tps=100 nb_sec=1598
case_no=136 label=Case6.124 nb_sol=0 ticks=356578 tps=100 nb_sec=3565
case_no=136 label=Case6.124 nb_sol=0 ticks=347923 tps=100 nb_sec=3479
case_no=136 label=Case6.124 nb_sol=0 ticks=453235 tps=100 nb_sec=4532
case_no=136 label=Case6.124 nb_sol=0 ticks=365090 tps=100 nb_sec=3650
case_no=136 label=Case6.124 nb_sol=0 ticks=460511 tps=100 nb_sec=4605
case_no=136 label=Case6.124 nb_sol=0 ticks=555195 tps=100 nb_sec=5551
case_no=136 label=Case6.124 nb_sol=0 ticks=483391 tps=100 nb_sec=4833
case_no=136 label=Case6.124 nb_sol=0 ticks=575884 tps=100 nb_sec=5758
case_no=136 label=Case6.124 nb_sol=0 ticks=512424 tps=100 nb_sec=5124
case_no=136 label=Case6.124 nb_sol=0 ticks=374982 tps=100 nb_sec=3749
case_no=136 label=Case6.124 nb_sol=0 ticks=333767 tps=100 nb_sec=3337
case_no=136 label=Case6.124 nb_sol=0 ticks=175032 tps=100 nb_sec=1750
case_no=136 label=Case6.124 nb_sol=0 ticks=320320 tps=100 nb_sec=3203
case_no=136 label=Case6.124 nb_sol=0 ticks=193648 tps=100 nb_sec=1936
case_no=136 label=Case6.124 nb_sol=0 ticks=546945 tps=100 nb_sec=5469
case_no=136 label=Case6.124 nb_sol=0 ticks=581787 tps=100 nb_sec=5817
case_no=136 label=Case6.124 nb_sol=0 ticks=442901 tps=100 nb_sec=4429
case_no=136 label=Case6.124 nb_sol=0 ticks=512738 tps=100 nb_sec=5127
case_no=136 label=Case6.124 nb_sol=0 ticks=418413 tps=100 nb_sec=4184
case_no=136 label=Case6.124 nb_sol=0 ticks=568874 tps=100 nb_sec=5688
case_no=136 label=Case6.124 nb_sol=0 ticks=521112 tps=100 nb_sec=5211
case_no=136 label=Case6.124 nb_sol=0 ticks=405018 tps=100 nb_sec=4050
case_no=136 label=Case6.124 nb_sol=0 ticks=481182 tps=100 nb_sec=4811
case_no=136 label=Case6.124 nb_sol=0 ticks=528288 tps=100 nb_sec=5282
case_no=136 label=Case6.124 nb_sol=0 ticks=558471 tps=100 nb_sec=5584
case_no=136 label=Case6.124 nb_sol=0 ticks=614663 tps=100 nb_sec=6146
case_no=136 label=Case6.124 nb_sol=0 ticks=547156 tps=100 nb_sec=5471
case_no=136 label=Case6.124 nb_sol=0 ticks=523870 tps=100 nb_sec=5238
case_no=136 label=Case6.124 nb_sol=0 ticks=518278 tps=100 nb_sec=5182
case_no=136 label=Case6.124 nb_sol=0 ticks=449896 tps=100 nb_sec=4498
case_no=136 label=Case6.124 nb_sol=0 ticks=328787 tps=100 nb_sec=3287
case_no=136 label=Case6.124 nb_sol=0 ticks=460092 tps=100 nb_sec=4600
case_no=136 label=Case6.124 nb_sol=0 ticks=496852 tps=100 nb_sec=4968
case_no=136 label=Case6.124 nb_sol=0 ticks=575364 tps=100 nb_sec=5753
case_no=136 label=Case6.124 nb_sol=0 ticks=447682 tps=100 nb_sec=4476
case_no=136 label=Case6.124 nb_sol=0 ticks=559609 tps=100 nb_sec=5596
case_no=136 label=Case6.124 nb_sol=0 ticks=300647 tps=100 nb_sec=3006
case_no=136 label=Case6.124 nb_sol=0 ticks=536670 tps=100 nb_sec=5366
case_no=136 label=Case6.124 nb_sol=0 ticks=364690 tps=100 nb_sec=3646
case_no=136 label=Case6.124 nb_sol=0 ticks=277281 tps=100 nb_sec=2772
case_no=136 label=Case6.124 nb_sol=0 ticks=340577 tps=100 nb_sec=3405
case_no=136 label=Case6.124 nb_sol=0 ticks=268144 tps=100 nb_sec=2681
case_no=136 label=Case6.124 nb_sol=0 ticks=300965 tps=100 nb_sec=3009
case_no=136 label=Case6.124 nb_sol=0 ticks=387205 tps=100 nb_sec=3872
case_no=136 label=Case6.124 nb_sol=0 ticks=303506 tps=100 nb_sec=3035
case_no=136 label=Case6.124 nb_sol=0 ticks=269678 tps=100 nb_sec=2696
case_no=136 label=Case6.124 nb_sol=0 ticks=274583 tps=100 nb_sec=2745
case_no=136 label=Case6.124 nb_sol=0 ticks=568913 tps=100 nb_sec=5689
case_no=136 label=Case6.124 nb_sol=0 ticks=247996 tps=100 nb_sec=2479
case_no=136 label=Case6.124 nb_sol=0 ticks=463220 tps=100 nb_sec=4632
case_no=136 label=Case6.124 nb_sol=0 ticks=506220 tps=100 nb_sec=5062
case_no=136 label=Case6.124 nb_sol=0 ticks=267712 tps=100 nb_sec=2677
case_no=136 label=Case6.124 nb_sol=0 ticks=318999 tps=100 nb_sec=3189
case_no=136 label=Case6.124 nb_sol=0 ticks=270917 tps=100 nb_sec=2709
case_no=136 label=Case6.124 nb_sol=0 ticks=287883 tps=100 nb_sec=2878
case_no=136 label=Case6.124 nb_sol=0 ticks=618911 tps=100 nb_sec=6189
case_no=136 label=Case6.124 nb_sol=0 ticks=438348 tps=100 nb_sec=4383
case_no=136 label=Case6.124 nb_sol=0 ticks=284498 tps=100 nb_sec=2844
case_no=136 label=Case6.124 nb_sol=0 ticks=366571 tps=100 nb_sec=3665
case_no=136 label=Case6.124 nb_sol=0 ticks=270424 tps=100 nb_sec=2704
case_no=136 label=Case6.124 nb_sol=0 ticks=604994 tps=100 nb_sec=6049
case_no=136 label=Case6.124 nb_sol=0 ticks=260564 tps=100 nb_sec=2605
case_no=136 label=Case6.124 nb_sol=0 ticks=582179 tps=100 nb_sec=5821
case_no=136 label=Case6.124 nb_sol=0 ticks=277613 tps=100 nb_sec=2776
case_no=136 label=Case6.124 nb_sol=0 ticks=554467 tps=100 nb_sec=5544
case_no=136 label=Case6.124 nb_sol=0 ticks=514165 tps=100 nb_sec=5141
case_no=136 label=Case6.124 nb_sol=0 ticks=231156 tps=100 nb_sec=2311
case_no=136 label=Case6.124 nb_sol=0 ticks=530959 tps=100 nb_sec=5309
case_no=136 label=Case6.124 nb_sol=0 ticks=236930 tps=100 nb_sec=2369
case_no=136 label=Case6.124 nb_sol=0 ticks=470893 tps=100 nb_sec=4708
case_no=136 label=Case6.124 nb_sol=0 ticks=226049 tps=100 nb_sec=2260
case_no=136 label=Case6.124 nb_sol=0 ticks=385470 tps=100 nb_sec=3854
case_no=136 label=Case6.124 nb_sol=0 ticks=299721 tps=100 nb_sec=2997
case_no=136 label=Case6.124 nb_sol=0 ticks=229995 tps=100 nb_sec=2299
case_no=136 label=Case6.124 nb_sol=0 ticks=255486 tps=100 nb_sec=2554
case_no=136 label=Case6.124 nb_sol=0 ticks=478189 tps=100 nb_sec=4781
case_no=136 label=Case6.124 nb_sol=0 ticks=490507 tps=100 nb_sec=4905
case_no=136 label=Case6.124 nb_sol=0 ticks=251629 tps=100 nb_sec=2516
case_no=136 label=Case6.124 nb_sol=0 ticks=229188 tps=100 nb_sec=2291
case_no=136 label=Case6.124 nb_sol=0 ticks=307432 tps=100 nb_sec=3074
case_no=136 label=Case6.124 nb_sol=0 ticks=250249 tps=100 nb_sec=2502
case_no=136 label=Case6.124 nb_sol=0 ticks=346581 tps=100 nb_sec=3465
case_no=136 label=Case6.124 nb_sol=0 ticks=231864 tps=100 nb_sec=2318
case_no=136 label=Case6.124 nb_sol=0 ticks=210499 tps=100 nb_sec=2104
case_no=136 label=Case6.124 nb_sol=0 ticks=204232 tps=100 nb_sec=2042
case_no=136 label=Case6.124 nb_sol=0 ticks=237934 tps=100 nb_sec=2379
case_no=136 label=Case6.124 nb_sol=0 ticks=559934 tps=100 nb_sec=5599
case_no=136 label=Case6.124 nb_sol=0 ticks=250384 tps=100 nb_sec=2503
case_no=136 label=Case6.124 nb_sol=0 ticks=262479 tps=100 nb_sec=2624
case_no=136 label=Case6.124 nb_sol=0 ticks=259944 tps=100 nb_sec=2599
case_no=136 label=Case6.124 nb_sol=0 ticks=305078 tps=100 nb_sec=3050
case_no=136 label=Case6.124 nb_sol=0 ticks=301763 tps=100 nb_sec=3017
case_no=136 label=Case6.124 nb_sol=0 ticks=244514 tps=100 nb_sec=2445
case_no=136 label=Case6.124 nb_sol=0 ticks=261092 tps=100 nb_sec=2610
case_no=136 label=Case6.124 nb_sol=0 ticks=340990 tps=100 nb_sec=3409
case_no=136 label=Case6.124 nb_sol=0 ticks=256926 tps=100 nb_sec=2569
case_no=136 label=Case6.124 nb_sol=0 ticks=294285 tps=100 nb_sec=2942
case_no=136 label=Case6.124 nb_sol=0 ticks=383167 tps=100 nb_sec=3831
case_no=136 label=Case6.124 nb_sol=0 ticks=265562 tps=100 nb_sec=2655
case_no=136 label=Case6.124 nb_sol=0 ticks=489759 tps=100 nb_sec=4897
case_no=136 label=Case6.124 nb_sol=0 ticks=375078 tps=100 nb_sec=3750
case_no=136 label=Case6.124 nb_sol=0 ticks=460973 tps=100 nb_sec=4609
case_no=136 label=Case6.124 nb_sol=0 ticks=505351 tps=100 nb_sec=5053
case_no=136 label=Case6.124 nb_sol=0 ticks=443740 tps=100 nb_sec=4437
case_no=136 label=Case6.124 nb_sol=0 ticks=404194 tps=100 nb_sec=4041
case_no=136 label=Case6.124 nb_sol=0 ticks=335070 tps=100 nb_sec=3350
case_no=136 label=Case6.124 nb_sol=0 ticks=605408 tps=100 nb_sec=6054
case_no=136 label=Case6.124 nb_sol=0 ticks=610055 tps=100 nb_sec=6100
case_no=136 label=Case6.124 nb_sol=0 ticks=434363 tps=100 nb_sec=4343
case_no=136 label=Case6.124 nb_sol=0 ticks=280184 tps=100 nb_sec=2801
case_no=136 label=Case6.124 nb_sol=0 ticks=551057 tps=100 nb_sec=5510
case_no=136 label=Case6.124 nb_sol=0 ticks=399989 tps=100 nb_sec=3999
case_no=136 label=Case6.124 nb_sol=0 ticks=455332 tps=100 nb_sec=4553
case_no=136 label=Case6.124 nb_sol=0 ticks=564527 tps=100 nb_sec=5645
case_no=136 label=Case6.124 nb_sol=0 ticks=319929 tps=100 nb_sec=3199
case_no=136 label=Case6.124 nb_sol=0 ticks=235187 tps=100 nb_sec=2351
case_no=136 label=Case6.124 nb_sol=0 ticks=611270 tps=100 nb_sec=6112
case_no=136 label=Case6.124 nb_sol=0 ticks=371731 tps=100 nb_sec=3717
case_no=136 label=Case6.124 nb_sol=0 ticks=522603 tps=100 nb_sec=5226
case_no=136 label=Case6.124 nb_sol=0 ticks=300636 tps=100 nb_sec=3006
case_no=136 label=Case6.124 nb_sol=0 ticks=369197 tps=100 nb_sec=3691
case_no=136 label=Case6.124 nb_sol=0 ticks=617828 tps=100 nb_sec=6178
case_no=136 label=Case6.124 nb_sol=0 ticks=528586 tps=100 nb_sec=5285
case_no=136 label=Case6.124 nb_sol=0 ticks=474200 tps=100 nb_sec=4742
case_no=136 label=Case6.124 nb_sol=0 ticks=684453 tps=100 nb_sec=6844
case_no=136 label=Case6.124 nb_sol=0 ticks=659494 tps=100 nb_sec=6594
case_no=136 label=Case6.124 nb_sol=0 ticks=715364 tps=100 nb_sec=7153
case_no=136 label=Case6.124 nb_sol=0 ticks=581235 tps=100 nb_sec=5812
case_no=136 label=Case6.124 nb_sol=0 ticks=302450 tps=100 nb_sec=3024
case_no=136 label=Case6.124 nb_sol=0 ticks=410261 tps=100 nb_sec=4102
case_no=136 label=Case6.124 nb_sol=0 ticks=437085 tps=100 nb_sec=4370
case_no=136 label=Case6.124 nb_sol=0 ticks=602585 tps=100 nb_sec=6025
case_no=136 label=Case6.124 nb_sol=0 ticks=390550 tps=100 nb_sec=3905
case_no=136 label=Case6.124 nb_sol=0 ticks=283506 tps=100 nb_sec=2835
case_no=136 label=Case6.124 nb_sol=0 ticks=411059 tps=100 nb_sec=4110
case_no=136 label=Case6.124 nb_sol=0 ticks=285164 tps=100 nb_sec=2851
case_no=136 label=Case6.124 nb_sol=0 ticks=505749 tps=100 nb_sec=5057
case_no=136 label=Case6.124 nb_sol=0 ticks=605719 tps=100 nb_sec=6057
case_no=136 label=Case6.124 nb_sol=0 ticks=679029 tps=100 nb_sec=6790
case_no=136 label=Case6.124 nb_sol=0 ticks=333305 tps=100 nb_sec=3333
case_no=136 label=Case6.124 nb_sol=0 ticks=307231 tps=100 nb_sec=3072
case_no=136 label=Case6.124 nb_sol=0 ticks=404911 tps=100 nb_sec=4049
case_no=136 label=Case6.124 nb_sol=0 ticks=300430 tps=100 nb_sec=3004
case_no=136 label=Case6.124 nb_sol=0 ticks=389916 tps=100 nb_sec=3899
case_no=136 label=Case6.124 nb_sol=0 ticks=263582 tps=100 nb_sec=2635
case_no=136 label=Case6.124 nb_sol=0 ticks=378100 tps=100 nb_sec=3781
case_no=136 label=Case6.124 nb_sol=0 ticks=341782 tps=100 nb_sec=3417
case_no=136 label=Case6.124 nb_sol=0 ticks=303590 tps=100 nb_sec=3035
case_no=136 label=Case6.124 nb_sol=0 ticks=356363 tps=100 nb_sec=3563
case_no=136 label=Case6.124 nb_sol=0 ticks=416158 tps=100 nb_sec=4161
case_no=136 label=Case6.124 nb_sol=0 ticks=369934 tps=100 nb_sec=3699
case_no=136 label=Case6.124 nb_sol=0 ticks=489691 tps=100 nb_sec=4896
case_no=136 label=Case6.124 nb_sol=0 ticks=508785 tps=100 nb_sec=5087
case_no=136 label=Case6.124 nb_sol=0 ticks=381478 tps=100 nb_sec=3814
case_no=136 label=Case6.124 nb_sol=0 ticks=573270 tps=100 nb_sec=5732
case_no=136 label=Case6.124 nb_sol=0 ticks=531949 tps=100 nb_sec=5319
case_no=136 label=Case6.124 nb_sol=0 ticks=772407 tps=100 nb_sec=7724
case_no=136 label=Case6.124 nb_sol=0 ticks=398658 tps=100 nb_sec=3986
case_no=136 label=Case6.124 nb_sol=0 ticks=633026 tps=100 nb_sec=6330
case_no=136 label=Case6.124 nb_sol=0 ticks=610380 tps=100 nb_sec=6103
case_no=136 label=Case6.124 nb_sol=0 ticks=334044 tps=100 nb_sec=3340
case_no=136 label=Case6.124 nb_sol=0 ticks=666740 tps=100 nb_sec=6667
case_no=136 label=Case6.124 nb_sol=0 ticks=435446 tps=100 nb_sec=4354
case_no=136 label=Case6.124 nb_sol=0 ticks=595078 tps=100 nb_sec=5950
case_no=136 label=Case6.124 nb_sol=0 ticks=322223 tps=100 nb_sec=3222
case_no=136 label=Case6.124 nb_sol=0 ticks=543283 tps=100 nb_sec=5432
case_no=136 label=Case6.124 nb_sol=0 ticks=694985 tps=100 nb_sec=6949
case_no=136 label=Case6.124 nb_sol=0 ticks=524743 tps=100 nb_sec=5247
case_no=136 label=Case6.124 nb_sol=0 ticks=643870 tps=100 nb_sec=6438
case_no=136 label=Case6.124 nb_sol=0 ticks=636318 tps=100 nb_sec=6363
case_no=136 label=Case6.124 nb_sol=0 ticks=722809 tps=100 nb_sec=7228
case_no=136 label=Case6.124 nb_sol=0 ticks=604145 tps=100 nb_sec=6041
case_no=136 label=Case6.124 nb_sol=0 ticks=567509 tps=100 nb_sec=5675
case_no=136 label=Case6.124 nb_sol=0 ticks=228629 tps=100 nb_sec=2286
case_no=136 label=Case6.124 nb_sol=0 ticks=262016 tps=100 nb_sec=2620
case_no=136 label=Case6.124 nb_sol=0 ticks=329577 tps=100 nb_sec=3295
case_no=136 label=Case6.124 nb_sol=0 ticks=308877 tps=100 nb_sec=3088
case_no=136 label=Case6.124 nb_sol=0 ticks=290763 tps=100 nb_sec=2907
case_no=136 label=Case6.124 nb_sol=0 ticks=342505 tps=100 nb_sec=3425
case_no=136 label=Case6.124 nb_sol=0 ticks=489254 tps=100 nb_sec=4892
case_no=136 label=Case6.124 nb_sol=0 ticks=674417 tps=100 nb_sec=6744
case_no=136 label=Case6.124 nb_sol=0 ticks=668074 tps=100 nb_sec=6680
case_no=136 label=Case6.124 nb_sol=0 ticks=297316 tps=100 nb_sec=2973
case_no=136 label=Case6.124 nb_sol=0 ticks=466187 tps=100 nb_sec=4661
case_no=136 label=Case6.124 nb_sol=0 ticks=697404 tps=100 nb_sec=6974
case_no=136 label=Case6.124 nb_sol=0 ticks=614253 tps=100 nb_sec=6142
case_no=136 label=Case6.124 nb_sol=0 ticks=294667 tps=100 nb_sec=2946
case_no=136 label=Case6.124 nb_sol=0 ticks=505479 tps=100 nb_sec=5054
case_no=136 label=Case6.124 nb_sol=0 ticks=485182 tps=100 nb_sec=4851
case_no=136 label=Case6.124 nb_sol=0 ticks=446529 tps=100 nb_sec=4465
case_no=136 label=Case6.124 nb_sol=0 ticks=547532 tps=100 nb_sec=5475
case_no=136 label=Case6.124 nb_sol=0 ticks=305995 tps=100 nb_sec=3059
case_no=136 label=Case6.124 nb_sol=0 ticks=376195 tps=100 nb_sec=3761
case_no=136 label=Case6.124 nb_sol=0 ticks=903924 tps=100 nb_sec=9039
case_no=136 label=Case6.124 nb_sol=0 ticks=387753 tps=100 nb_sec=3877
case_no=136 label=Case6.124 nb_sol=0 ticks=284255 tps=100 nb_sec=2842
case_no=136 label=Case6.124 nb_sol=0 ticks=501128 tps=100 nb_sec=5011
case_no=136 label=Case6.124 nb_sol=0 ticks=208097 tps=100 nb_sec=2080
case_no=136 label=Case6.124 nb_sol=0 ticks=237270 tps=100 nb_sec=2372
case_no=136 label=Case6.124 nb_sol=0 ticks=487764 tps=100 nb_sec=4877
case_no=136 label=Case6.124 nb_sol=0 ticks=313218 tps=100 nb_sec=3132
case_no=136 label=Case6.124 nb_sol=0 ticks=438979 tps=100 nb_sec=4389
case_no=136 label=Case6.124 nb_sol=0 ticks=540794 tps=100 nb_sec=5407
case_no=136 label=Case6.124 nb_sol=0 ticks=626522 tps=100 nb_sec=6265
case_no=136 label=Case6.124 nb_sol=0 ticks=385262 tps=100 nb_sec=3852
case_no=136 label=Case6.124 nb_sol=0 ticks=694625 tps=100 nb_sec=6946
case_no=136 label=Case6.124 nb_sol=0 ticks=628317 tps=100 nb_sec=6283
case_no=136 label=Case6.124 nb_sol=0 ticks=267374 tps=100 nb_sec=2673
case_no=136 label=Case6.124 nb_sol=0 ticks=477310 tps=100 nb_sec=4773
case_no=136 label=Case6.124 nb_sol=0 ticks=520105 tps=100 nb_sec=5201
case_no=136 label=Case6.124 nb_sol=0 ticks=238367 tps=100 nb_sec=2383
case_no=136 label=Case6.124 nb_sol=0 ticks=589921 tps=100 nb_sec=5899
case_no=136 label=Case6.124 nb_sol=0 ticks=535717 tps=100 nb_sec=5357
case_no=136 label=Case6.124 nb_sol=0 ticks=631439 tps=100 nb_sec=6314
case_no=136 label=Case6.124 nb_sol=0 ticks=748415 tps=100 nb_sec=7484
case_no=136 label=Case6.124 nb_sol=0 ticks=338613 tps=100 nb_sec=3386
case_no=136 label=Case6.124 nb_sol=0 ticks=566080 tps=100 nb_sec=5660
case_no=136 label=Case6.124 nb_sol=0 ticks=518529 tps=100 nb_sec=5185
case_no=136 label=Case6.124 nb_sol=0 ticks=419926 tps=100 nb_sec=4199
case_no=136 label=Case6.124 nb_sol=0 ticks=263510 tps=100 nb_sec=2635
case_no=136 label=Case6.124 nb_sol=0 ticks=579227 tps=100 nb_sec=5792
case_no=136 label=Case6.124 nb_sol=0 ticks=339232 tps=100 nb_sec=3392
case_no=136 label=Case6.124 nb_sol=0 ticks=310463 tps=100 nb_sec=3104
case_no=136 label=Case6.124 nb_sol=0 ticks=518419 tps=100 nb_sec=5184
case_no=136 label=Case6.124 nb_sol=0 ticks=345963 tps=100 nb_sec=3459
case_no=136 label=Case6.124 nb_sol=0 ticks=298978 tps=100 nb_sec=2989
case_no=136 label=Case6.124 nb_sol=0 ticks=427376 tps=100 nb_sec=4273
case_no=136 label=Case6.124 nb_sol=0 ticks=478592 tps=100 nb_sec=4785
case_no=136 label=Case6.124 nb_sol=0 ticks=237408 tps=100 nb_sec=2374
case_no=136 label=Case6.124 nb_sol=0 ticks=316233 tps=100 nb_sec=3162
case_no=136 label=Case6.124 nb_sol=0 ticks=265260 tps=100 nb_sec=2652
case_no=136 label=Case6.124 nb_sol=0 ticks=453479 tps=100 nb_sec=4534
case_no=136 label=Case6.124 nb_sol=0 ticks=366543 tps=100 nb_sec=3665
case_no=136 label=Case6.124 nb_sol=0 ticks=318455 tps=100 nb_sec=3184
case_no=136 label=Case6.124 nb_sol=0 ticks=635039 tps=100 nb_sec=6350
case_no=136 label=Case6.124 nb_sol=0 ticks=480177 tps=100 nb_sec=4801
case_no=136 label=Case6.124 nb_sol=0 ticks=328415 tps=100 nb_sec=3284
case_no=136 label=Case6.124 nb_sol=0 ticks=340590 tps=100 nb_sec=3405
case_no=136 label=Case6.124 nb_sol=0 ticks=312862 tps=100 nb_sec=3128
case_no=136 label=Case6.124 nb_sol=0 ticks=402380 tps=100 nb_sec=4023
case_no=136 label=Case6.124 nb_sol=0 ticks=388100 tps=100 nb_sec=3881
case_no=136 label=Case6.124 nb_sol=0 ticks=603206 tps=100 nb_sec=6032
case_no=136 label=Case6.124 nb_sol=0 ticks=347145 tps=100 nb_sec=3471
case_no=136 label=Case6.124 nb_sol=0 ticks=566600 tps=100 nb_sec=5666
case_no=136 label=Case6.124 nb_sol=0 ticks=614313 tps=100 nb_sec=6143
Nb_sol=0
Nb_sec=4529115
52-10:5:15 or 1258 hours
missing cases:
none