argc=5 -M 1024 file2=30_select_Case6.125_starter_15_ checking files mod 1024 from 0 to 1023 case_no=137 label=Case6.125 nb_sol=0 ticks=431462 tps=100 nb_sec=4314 case_no=137 label=Case6.125 nb_sol=0 ticks=351845 tps=100 nb_sec=3518 case_no=137 label=Case6.125 nb_sol=0 ticks=327555 tps=100 nb_sec=3275 case_no=137 label=Case6.125 nb_sol=0 ticks=311915 tps=100 nb_sec=3119 case_no=137 label=Case6.125 nb_sol=0 ticks=356429 tps=100 nb_sec=3564 case_no=137 label=Case6.125 nb_sol=0 ticks=181619 tps=100 nb_sec=1816 case_no=137 label=Case6.125 nb_sol=0 ticks=239732 tps=100 nb_sec=2397 case_no=137 label=Case6.125 nb_sol=0 ticks=452741 tps=100 nb_sec=4527 case_no=137 label=Case6.125 nb_sol=0 ticks=349595 tps=100 nb_sec=3495 case_no=137 label=Case6.125 nb_sol=0 ticks=474597 tps=100 nb_sec=4745 case_no=137 label=Case6.125 nb_sol=0 ticks=175432 tps=100 nb_sec=1754 case_no=137 label=Case6.125 nb_sol=0 ticks=208337 tps=100 nb_sec=2083 case_no=137 label=Case6.125 nb_sol=0 ticks=294755 tps=100 nb_sec=2947 case_no=137 label=Case6.125 nb_sol=0 ticks=443597 tps=100 nb_sec=4435 case_no=137 label=Case6.125 nb_sol=0 ticks=355309 tps=100 nb_sec=3553 case_no=137 label=Case6.125 nb_sol=0 ticks=486121 tps=100 nb_sec=4861 case_no=137 label=Case6.125 nb_sol=0 ticks=540350 tps=100 nb_sec=5403 case_no=137 label=Case6.125 nb_sol=0 ticks=342081 tps=100 nb_sec=3420 case_no=137 label=Case6.125 nb_sol=0 ticks=439350 tps=100 nb_sec=4393 case_no=137 label=Case6.125 nb_sol=0 ticks=321041 tps=100 nb_sec=3210 case_no=137 label=Case6.125 nb_sol=0 ticks=223758 tps=100 nb_sec=2237 case_no=137 label=Case6.125 nb_sol=0 ticks=576651 tps=100 nb_sec=5766 case_no=137 label=Case6.125 nb_sol=0 ticks=310774 tps=100 nb_sec=3107 case_no=137 label=Case6.125 nb_sol=0 ticks=501849 tps=100 nb_sec=5018 case_no=137 label=Case6.125 nb_sol=0 ticks=497660 tps=100 nb_sec=4976 case_no=137 label=Case6.125 nb_sol=0 ticks=395352 tps=100 nb_sec=3953 case_no=137 label=Case6.125 nb_sol=0 ticks=376459 tps=100 nb_sec=3764 case_no=137 label=Case6.125 nb_sol=0 ticks=497160 tps=100 nb_sec=4971 case_no=137 label=Case6.125 nb_sol=0 ticks=416027 tps=100 nb_sec=4160 case_no=137 label=Case6.125 nb_sol=0 ticks=228572 tps=100 nb_sec=2285 case_no=137 label=Case6.125 nb_sol=0 ticks=320096 tps=100 nb_sec=3200 case_no=137 label=Case6.125 nb_sol=0 ticks=442146 tps=100 nb_sec=4421 case_no=137 label=Case6.125 nb_sol=0 ticks=347428 tps=100 nb_sec=3474 case_no=137 label=Case6.125 nb_sol=0 ticks=410138 tps=100 nb_sec=4101 case_no=137 label=Case6.125 nb_sol=0 ticks=360502 tps=100 nb_sec=3605 case_no=137 label=Case6.125 nb_sol=0 ticks=380129 tps=100 nb_sec=3801 case_no=137 label=Case6.125 nb_sol=0 ticks=499456 tps=100 nb_sec=4994 case_no=137 label=Case6.125 nb_sol=0 ticks=433638 tps=100 nb_sec=4336 case_no=137 label=Case6.125 nb_sol=0 ticks=394063 tps=100 nb_sec=3940 case_no=137 label=Case6.125 nb_sol=0 ticks=326012 tps=100 nb_sec=3260 case_no=137 label=Case6.125 nb_sol=0 ticks=163876 tps=100 nb_sec=1638 case_no=137 label=Case6.125 nb_sol=0 ticks=510026 tps=100 nb_sec=5100 case_no=137 label=Case6.125 nb_sol=0 ticks=439512 tps=100 nb_sec=4395 case_no=137 label=Case6.125 nb_sol=0 ticks=394068 tps=100 nb_sec=3940 case_no=137 label=Case6.125 nb_sol=0 ticks=255224 tps=100 nb_sec=2552 case_no=137 label=Case6.125 nb_sol=0 ticks=284918 tps=100 nb_sec=2849 case_no=137 label=Case6.125 nb_sol=0 ticks=343223 tps=100 nb_sec=3432 case_no=137 label=Case6.125 nb_sol=0 ticks=307721 tps=100 nb_sec=3077 case_no=137 label=Case6.125 nb_sol=0 ticks=440527 tps=100 nb_sec=4405 case_no=137 label=Case6.125 nb_sol=0 ticks=645276 tps=100 nb_sec=6452 case_no=137 label=Case6.125 nb_sol=0 ticks=538792 tps=100 nb_sec=5387 case_no=137 label=Case6.125 nb_sol=0 ticks=335316 tps=100 nb_sec=3353 case_no=137 label=Case6.125 nb_sol=0 ticks=328814 tps=100 nb_sec=3288 case_no=137 label=Case6.125 nb_sol=0 ticks=181750 tps=100 nb_sec=1817 case_no=137 label=Case6.125 nb_sol=0 ticks=175759 tps=100 nb_sec=1757 case_no=137 label=Case6.125 nb_sol=0 ticks=285480 tps=100 nb_sec=2854 case_no=137 label=Case6.125 nb_sol=0 ticks=389830 tps=100 nb_sec=3898 case_no=137 label=Case6.125 nb_sol=0 ticks=401821 tps=100 nb_sec=4018 case_no=137 label=Case6.125 nb_sol=0 ticks=234397 tps=100 nb_sec=2343 case_no=137 label=Case6.125 nb_sol=0 ticks=184892 tps=100 nb_sec=1848 case_no=137 label=Case6.125 nb_sol=0 ticks=587451 tps=100 nb_sec=5874 case_no=137 label=Case6.125 nb_sol=0 ticks=306702 tps=100 nb_sec=3067 case_no=137 label=Case6.125 nb_sol=0 ticks=352857 tps=100 nb_sec=3528 case_no=137 label=Case6.125 nb_sol=0 ticks=307014 tps=100 nb_sec=3070 case_no=137 label=Case6.125 nb_sol=0 ticks=367453 tps=100 nb_sec=3674 case_no=137 label=Case6.125 nb_sol=0 ticks=238253 tps=100 nb_sec=2382 case_no=137 label=Case6.125 nb_sol=0 ticks=162133 tps=100 nb_sec=1621 case_no=137 label=Case6.125 nb_sol=0 ticks=489255 tps=100 nb_sec=4892 case_no=137 label=Case6.125 nb_sol=0 ticks=369421 tps=100 nb_sec=3694 case_no=137 label=Case6.125 nb_sol=0 ticks=313423 tps=100 nb_sec=3134 case_no=137 label=Case6.125 nb_sol=0 ticks=396342 tps=100 nb_sec=3963 case_no=137 label=Case6.125 nb_sol=0 ticks=340402 tps=100 nb_sec=3404 case_no=137 label=Case6.125 nb_sol=0 ticks=394361 tps=100 nb_sec=3943 case_no=137 label=Case6.125 nb_sol=0 ticks=310551 tps=100 nb_sec=3105 case_no=137 label=Case6.125 nb_sol=0 ticks=271704 tps=100 nb_sec=2717 case_no=137 label=Case6.125 nb_sol=0 ticks=350670 tps=100 nb_sec=3506 case_no=137 label=Case6.125 nb_sol=0 ticks=382173 tps=100 nb_sec=3821 case_no=137 label=Case6.125 nb_sol=0 ticks=357597 tps=100 nb_sec=3575 case_no=137 label=Case6.125 nb_sol=0 ticks=287164 tps=100 nb_sec=2871 case_no=137 label=Case6.125 nb_sol=0 ticks=407661 tps=100 nb_sec=4076 case_no=137 label=Case6.125 nb_sol=0 ticks=710761 tps=100 nb_sec=7107 case_no=137 label=Case6.125 nb_sol=0 ticks=486886 tps=100 nb_sec=4868 case_no=137 label=Case6.125 nb_sol=0 ticks=280927 tps=100 nb_sec=2809 case_no=137 label=Case6.125 nb_sol=0 ticks=287502 tps=100 nb_sec=2875 case_no=137 label=Case6.125 nb_sol=0 ticks=272514 tps=100 nb_sec=2725 case_no=137 label=Case6.125 nb_sol=0 ticks=360317 tps=100 nb_sec=3603 case_no=137 label=Case6.125 nb_sol=0 ticks=334547 tps=100 nb_sec=3345 case_no=137 label=Case6.125 nb_sol=0 ticks=245610 tps=100 nb_sec=2456 case_no=137 label=Case6.125 nb_sol=0 ticks=252377 tps=100 nb_sec=2523 case_no=137 label=Case6.125 nb_sol=0 ticks=252495 tps=100 nb_sec=2524 case_no=137 label=Case6.125 nb_sol=0 ticks=257120 tps=100 nb_sec=2571 case_no=137 label=Case6.125 nb_sol=0 ticks=361344 tps=100 nb_sec=3613 case_no=137 label=Case6.125 nb_sol=0 ticks=278675 tps=100 nb_sec=2786 case_no=137 label=Case6.125 nb_sol=0 ticks=486597 tps=100 nb_sec=4865 case_no=137 label=Case6.125 nb_sol=0 ticks=595798 tps=100 nb_sec=5957 case_no=137 label=Case6.125 nb_sol=0 ticks=463154 tps=100 nb_sec=4631 case_no=137 label=Case6.125 nb_sol=0 ticks=300263 tps=100 nb_sec=3002 case_no=137 label=Case6.125 nb_sol=0 ticks=345951 tps=100 nb_sec=3459 case_no=137 label=Case6.125 nb_sol=0 ticks=430320 tps=100 nb_sec=4303 case_no=137 label=Case6.125 nb_sol=0 ticks=516074 tps=100 nb_sec=5160 case_no=137 label=Case6.125 nb_sol=0 ticks=333435 tps=100 nb_sec=3334 case_no=137 label=Case6.125 nb_sol=0 ticks=449190 tps=100 nb_sec=4491 case_no=137 label=Case6.125 nb_sol=0 ticks=654477 tps=100 nb_sec=6544 case_no=137 label=Case6.125 nb_sol=0 ticks=193982 tps=100 nb_sec=1939 case_no=137 label=Case6.125 nb_sol=0 ticks=420497 tps=100 nb_sec=4204 case_no=137 label=Case6.125 nb_sol=0 ticks=399945 tps=100 nb_sec=3999 case_no=137 label=Case6.125 nb_sol=0 ticks=407889 tps=100 nb_sec=4078 case_no=137 label=Case6.125 nb_sol=0 ticks=618578 tps=100 nb_sec=6185 case_no=137 label=Case6.125 nb_sol=0 ticks=461153 tps=100 nb_sec=4611 case_no=137 label=Case6.125 nb_sol=0 ticks=603509 tps=100 nb_sec=6035 case_no=137 label=Case6.125 nb_sol=0 ticks=289080 tps=100 nb_sec=2890 case_no=137 label=Case6.125 nb_sol=0 ticks=336447 tps=100 nb_sec=3364 case_no=137 label=Case6.125 nb_sol=0 ticks=390699 tps=100 nb_sec=3906 case_no=137 label=Case6.125 nb_sol=0 ticks=541761 tps=100 nb_sec=5417 case_no=137 label=Case6.125 nb_sol=0 ticks=357727 tps=100 nb_sec=3577 case_no=137 label=Case6.125 nb_sol=0 ticks=266577 tps=100 nb_sec=2665 case_no=137 label=Case6.125 nb_sol=0 ticks=313429 tps=100 nb_sec=3134 case_no=137 label=Case6.125 nb_sol=0 ticks=353420 tps=100 nb_sec=3534 case_no=137 label=Case6.125 nb_sol=0 ticks=523894 tps=100 nb_sec=5238 case_no=137 label=Case6.125 nb_sol=0 ticks=604045 tps=100 nb_sec=6040 case_no=137 label=Case6.125 nb_sol=0 ticks=439432 tps=100 nb_sec=4394 case_no=137 label=Case6.125 nb_sol=0 ticks=349291 tps=100 nb_sec=3492 case_no=137 label=Case6.125 nb_sol=0 ticks=349470 tps=100 nb_sec=3494 case_no=137 label=Case6.125 nb_sol=0 ticks=365633 tps=100 nb_sec=3656 case_no=137 label=Case6.125 nb_sol=0 ticks=555375 tps=100 nb_sec=5553 case_no=137 label=Case6.125 nb_sol=0 ticks=334517 tps=100 nb_sec=3345 case_no=137 label=Case6.125 nb_sol=0 ticks=524237 tps=100 nb_sec=5242 case_no=137 label=Case6.125 nb_sol=0 ticks=298297 tps=100 nb_sec=2982 case_no=137 label=Case6.125 nb_sol=0 ticks=611339 tps=100 nb_sec=6113 case_no=137 label=Case6.125 nb_sol=0 ticks=498376 tps=100 nb_sec=4983 case_no=137 label=Case6.125 nb_sol=0 ticks=576655 tps=100 nb_sec=5766 case_no=137 label=Case6.125 nb_sol=0 ticks=611123 tps=100 nb_sec=6111 case_no=137 label=Case6.125 nb_sol=0 ticks=523077 tps=100 nb_sec=5230 case_no=137 label=Case6.125 nb_sol=0 ticks=370626 tps=100 nb_sec=3706 case_no=137 label=Case6.125 nb_sol=0 ticks=510228 tps=100 nb_sec=5102 case_no=137 label=Case6.125 nb_sol=0 ticks=728173 tps=100 nb_sec=7281 case_no=137 label=Case6.125 nb_sol=0 ticks=437990 tps=100 nb_sec=4379 case_no=137 label=Case6.125 nb_sol=0 ticks=214232 tps=100 nb_sec=2142 case_no=137 label=Case6.125 nb_sol=0 ticks=582725 tps=100 nb_sec=5827 case_no=137 label=Case6.125 nb_sol=0 ticks=558248 tps=100 nb_sec=5582 case_no=137 label=Case6.125 nb_sol=0 ticks=390376 tps=100 nb_sec=3903 case_no=137 label=Case6.125 nb_sol=0 ticks=807513 tps=100 nb_sec=8075 case_no=137 label=Case6.125 nb_sol=0 ticks=468496 tps=100 nb_sec=4684 case_no=137 label=Case6.125 nb_sol=0 ticks=477790 tps=100 nb_sec=4777 case_no=137 label=Case6.125 nb_sol=0 ticks=354304 tps=100 nb_sec=3543 case_no=137 label=Case6.125 nb_sol=0 ticks=473444 tps=100 nb_sec=4734 case_no=137 label=Case6.125 nb_sol=0 ticks=423251 tps=100 nb_sec=4232 case_no=137 label=Case6.125 nb_sol=0 ticks=386054 tps=100 nb_sec=3860 case_no=137 label=Case6.125 nb_sol=0 ticks=403529 tps=100 nb_sec=4035 case_no=137 label=Case6.125 nb_sol=0 ticks=239357 tps=100 nb_sec=2393 case_no=137 label=Case6.125 nb_sol=0 ticks=249444 tps=100 nb_sec=2494 case_no=137 label=Case6.125 nb_sol=0 ticks=231255 tps=100 nb_sec=2312 case_no=137 label=Case6.125 nb_sol=0 ticks=502629 tps=100 nb_sec=5026 case_no=137 label=Case6.125 nb_sol=0 ticks=376376 tps=100 nb_sec=3763 case_no=137 label=Case6.125 nb_sol=0 ticks=556148 tps=100 nb_sec=5561 case_no=137 label=Case6.125 nb_sol=0 ticks=389813 tps=100 nb_sec=3898 case_no=137 label=Case6.125 nb_sol=0 ticks=452759 tps=100 nb_sec=4527 case_no=137 label=Case6.125 nb_sol=0 ticks=453888 tps=100 nb_sec=4538 case_no=137 label=Case6.125 nb_sol=0 ticks=239166 tps=100 nb_sec=2391 case_no=137 label=Case6.125 nb_sol=0 ticks=347906 tps=100 nb_sec=3479 case_no=137 label=Case6.125 nb_sol=0 ticks=374619 tps=100 nb_sec=3746 case_no=137 label=Case6.125 nb_sol=0 ticks=449653 tps=100 nb_sec=4496 case_no=137 label=Case6.125 nb_sol=0 ticks=763913 tps=100 nb_sec=7639 case_no=137 label=Case6.125 nb_sol=0 ticks=267178 tps=100 nb_sec=2671 case_no=137 label=Case6.125 nb_sol=0 ticks=419705 tps=100 nb_sec=4197 case_no=137 label=Case6.125 nb_sol=0 ticks=445709 tps=100 nb_sec=4457 case_no=137 label=Case6.125 nb_sol=0 ticks=647074 tps=100 nb_sec=6470 case_no=137 label=Case6.125 nb_sol=0 ticks=717724 tps=100 nb_sec=7177 case_no=137 label=Case6.125 nb_sol=0 ticks=543639 tps=100 nb_sec=5436 case_no=137 label=Case6.125 nb_sol=0 ticks=391446 tps=100 nb_sec=3914 case_no=137 label=Case6.125 nb_sol=0 ticks=559949 tps=100 nb_sec=5599 case_no=137 label=Case6.125 nb_sol=0 ticks=524412 tps=100 nb_sec=5244 case_no=137 label=Case6.125 nb_sol=0 ticks=407716 tps=100 nb_sec=4077 case_no=137 label=Case6.125 nb_sol=0 ticks=592299 tps=100 nb_sec=5922 case_no=137 label=Case6.125 nb_sol=0 ticks=594924 tps=100 nb_sec=5949 case_no=137 label=Case6.125 nb_sol=0 ticks=699806 tps=100 nb_sec=6998 case_no=137 label=Case6.125 nb_sol=0 ticks=683610 tps=100 nb_sec=6836 case_no=137 label=Case6.125 nb_sol=0 ticks=644505 tps=100 nb_sec=6445 case_no=137 label=Case6.125 nb_sol=0 ticks=376690 tps=100 nb_sec=3766 case_no=137 label=Case6.125 nb_sol=0 ticks=195888 tps=100 nb_sec=1958 case_no=137 label=Case6.125 nb_sol=0 ticks=495065 tps=100 nb_sec=4950 case_no=137 label=Case6.125 nb_sol=0 ticks=376424 tps=100 nb_sec=3764 case_no=137 label=Case6.125 nb_sol=0 ticks=404701 tps=100 nb_sec=4047 case_no=137 label=Case6.125 nb_sol=0 ticks=366785 tps=100 nb_sec=3667 case_no=137 label=Case6.125 nb_sol=0 ticks=338473 tps=100 nb_sec=3384 case_no=137 label=Case6.125 nb_sol=0 ticks=297549 tps=100 nb_sec=2975 case_no=137 label=Case6.125 nb_sol=0 ticks=251948 tps=100 nb_sec=2519 case_no=137 label=Case6.125 nb_sol=0 ticks=320546 tps=100 nb_sec=3205 case_no=137 label=Case6.125 nb_sol=0 ticks=191930 tps=100 nb_sec=1919 case_no=137 label=Case6.125 nb_sol=0 ticks=157954 tps=100 nb_sec=1579 case_no=137 label=Case6.125 nb_sol=0 ticks=211586 tps=100 nb_sec=2115 case_no=137 label=Case6.125 nb_sol=0 ticks=181554 tps=100 nb_sec=1815 case_no=137 label=Case6.125 nb_sol=0 ticks=179166 tps=100 nb_sec=1791 case_no=137 label=Case6.125 nb_sol=0 ticks=506863 tps=100 nb_sec=5068 case_no=137 label=Case6.125 nb_sol=0 ticks=632569 tps=100 nb_sec=6325 case_no=137 label=Case6.125 nb_sol=0 ticks=355516 tps=100 nb_sec=3555 case_no=137 label=Case6.125 nb_sol=0 ticks=290011 tps=100 nb_sec=2900 case_no=137 label=Case6.125 nb_sol=0 ticks=274792 tps=100 nb_sec=2747 case_no=137 label=Case6.125 nb_sol=0 ticks=296084 tps=100 nb_sec=2960 case_no=137 label=Case6.125 nb_sol=0 ticks=203310 tps=100 nb_sec=2033 case_no=137 label=Case6.125 nb_sol=0 ticks=312066 tps=100 nb_sec=3120 case_no=137 label=Case6.125 nb_sol=0 ticks=331015 tps=100 nb_sec=3310 case_no=137 label=Case6.125 nb_sol=0 ticks=378206 tps=100 nb_sec=3782 case_no=137 label=Case6.125 nb_sol=0 ticks=287718 tps=100 nb_sec=2877 case_no=137 label=Case6.125 nb_sol=0 ticks=569828 tps=100 nb_sec=5698 case_no=137 label=Case6.125 nb_sol=0 ticks=739493 tps=100 nb_sec=7394 case_no=137 label=Case6.125 nb_sol=0 ticks=323679 tps=100 nb_sec=3236 case_no=137 label=Case6.125 nb_sol=0 ticks=297585 tps=100 nb_sec=2975 case_no=137 label=Case6.125 nb_sol=0 ticks=201905 tps=100 nb_sec=2019 case_no=137 label=Case6.125 nb_sol=0 ticks=361799 tps=100 nb_sec=3617 case_no=137 label=Case6.125 nb_sol=0 ticks=300690 tps=100 nb_sec=3006 case_no=137 label=Case6.125 nb_sol=0 ticks=252367 tps=100 nb_sec=2523 case_no=137 label=Case6.125 nb_sol=0 ticks=425733 tps=100 nb_sec=4257 case_no=137 label=Case6.125 nb_sol=0 ticks=554397 tps=100 nb_sec=5543 case_no=137 label=Case6.125 nb_sol=0 ticks=292345 tps=100 nb_sec=2923 case_no=137 label=Case6.125 nb_sol=0 ticks=315273 tps=100 nb_sec=3152 case_no=137 label=Case6.125 nb_sol=0 ticks=146770 tps=100 nb_sec=1467 case_no=137 label=Case6.125 nb_sol=0 ticks=142400 tps=100 nb_sec=1424 case_no=137 label=Case6.125 nb_sol=0 ticks=253633 tps=100 nb_sec=2536 case_no=137 label=Case6.125 nb_sol=0 ticks=235370 tps=100 nb_sec=2353 case_no=137 label=Case6.125 nb_sol=0 ticks=169383 tps=100 nb_sec=1693 case_no=137 label=Case6.125 nb_sol=0 ticks=355368 tps=100 nb_sec=3553 case_no=137 label=Case6.125 nb_sol=0 ticks=149272 tps=100 nb_sec=1492 case_no=137 label=Case6.125 nb_sol=0 ticks=147656 tps=100 nb_sec=1476 case_no=137 label=Case6.125 nb_sol=0 ticks=128128 tps=100 nb_sec=1281 case_no=137 label=Case6.125 nb_sol=0 ticks=266928 tps=100 nb_sec=2669 case_no=137 label=Case6.125 nb_sol=0 ticks=220754 tps=100 nb_sec=2207 case_no=137 label=Case6.125 nb_sol=0 ticks=506898 tps=100 nb_sec=5068 case_no=137 label=Case6.125 nb_sol=0 ticks=347762 tps=100 nb_sec=3477 case_no=137 label=Case6.125 nb_sol=0 ticks=280090 tps=100 nb_sec=2800 case_no=137 label=Case6.125 nb_sol=0 ticks=305655 tps=100 nb_sec=3056 case_no=137 label=Case6.125 nb_sol=0 ticks=326852 tps=100 nb_sec=3268 case_no=137 label=Case6.125 nb_sol=0 ticks=189696 tps=100 nb_sec=1896 case_no=137 label=Case6.125 nb_sol=0 ticks=194565 tps=100 nb_sec=1945 case_no=137 label=Case6.125 nb_sol=0 ticks=304409 tps=100 nb_sec=3044 case_no=137 label=Case6.125 nb_sol=0 ticks=303010 tps=100 nb_sec=3030 case_no=137 label=Case6.125 nb_sol=0 ticks=573580 tps=100 nb_sec=5735 case_no=137 label=Case6.125 nb_sol=0 ticks=588241 tps=100 nb_sec=5882 case_no=137 label=Case6.125 nb_sol=0 ticks=555325 tps=100 nb_sec=5553 case_no=137 label=Case6.125 nb_sol=0 ticks=346880 tps=100 nb_sec=3468 case_no=137 label=Case6.125 nb_sol=0 ticks=523325 tps=100 nb_sec=5233 case_no=137 label=Case6.125 nb_sol=0 ticks=487339 tps=100 nb_sec=4873 case_no=137 label=Case6.125 nb_sol=0 ticks=347046 tps=100 nb_sec=3470 case_no=137 label=Case6.125 nb_sol=0 ticks=487226 tps=100 nb_sec=4872 case_no=137 label=Case6.125 nb_sol=0 ticks=381122 tps=100 nb_sec=3811 case_no=137 label=Case6.125 nb_sol=0 ticks=503731 tps=100 nb_sec=5037 case_no=137 label=Case6.125 nb_sol=0 ticks=415157 tps=100 nb_sec=4151 case_no=137 label=Case6.125 nb_sol=0 ticks=620010 tps=100 nb_sec=6200 case_no=137 label=Case6.125 nb_sol=0 ticks=485957 tps=100 nb_sec=4859 case_no=137 label=Case6.125 nb_sol=0 ticks=311941 tps=100 nb_sec=3119 case_no=137 label=Case6.125 nb_sol=0 ticks=427879 tps=100 nb_sec=4278 case_no=137 label=Case6.125 nb_sol=0 ticks=424335 tps=100 nb_sec=4243 case_no=137 label=Case6.125 nb_sol=0 ticks=526225 tps=100 nb_sec=5262 case_no=137 label=Case6.125 nb_sol=0 ticks=127133 tps=100 nb_sec=1271 case_no=137 label=Case6.125 nb_sol=0 ticks=179002 tps=100 nb_sec=1790 case_no=137 label=Case6.125 nb_sol=0 ticks=259549 tps=100 nb_sec=2595 case_no=137 label=Case6.125 nb_sol=0 ticks=229675 tps=100 nb_sec=2296 case_no=137 label=Case6.125 nb_sol=0 ticks=477278 tps=100 nb_sec=4772 case_no=137 label=Case6.125 nb_sol=0 ticks=164842 tps=100 nb_sec=1648 case_no=137 label=Case6.125 nb_sol=0 ticks=404682 tps=100 nb_sec=4046 case_no=137 label=Case6.125 nb_sol=0 ticks=591740 tps=100 nb_sec=5917 case_no=137 label=Case6.125 nb_sol=0 ticks=529462 tps=100 nb_sec=5294 case_no=137 label=Case6.125 nb_sol=0 ticks=307438 tps=100 nb_sec=3074 case_no=137 label=Case6.125 nb_sol=0 ticks=255003 tps=100 nb_sec=2550 case_no=137 label=Case6.125 nb_sol=0 ticks=363301 tps=100 nb_sec=3633 case_no=137 label=Case6.125 nb_sol=0 ticks=518116 tps=100 nb_sec=5181 case_no=137 label=Case6.125 nb_sol=0 ticks=345047 tps=100 nb_sec=3450 case_no=137 label=Case6.125 nb_sol=0 ticks=170354 tps=100 nb_sec=1703 case_no=137 label=Case6.125 nb_sol=0 ticks=452822 tps=100 nb_sec=4528 case_no=137 label=Case6.125 nb_sol=0 ticks=284346 tps=100 nb_sec=2843 case_no=137 label=Case6.125 nb_sol=0 ticks=575870 tps=100 nb_sec=5758 case_no=137 label=Case6.125 nb_sol=0 ticks=420684 tps=100 nb_sec=4206 case_no=137 label=Case6.125 nb_sol=0 ticks=244004 tps=100 nb_sec=2440 case_no=137 label=Case6.125 nb_sol=0 ticks=233980 tps=100 nb_sec=2339 case_no=137 label=Case6.125 nb_sol=0 ticks=364453 tps=100 nb_sec=3644 case_no=137 label=Case6.125 nb_sol=0 ticks=386760 tps=100 nb_sec=3867 case_no=137 label=Case6.125 nb_sol=0 ticks=347550 tps=100 nb_sec=3475 case_no=137 label=Case6.125 nb_sol=0 ticks=307371 tps=100 nb_sec=3073 case_no=137 label=Case6.125 nb_sol=0 ticks=312374 tps=100 nb_sec=3123 case_no=137 label=Case6.125 nb_sol=0 ticks=318639 tps=100 nb_sec=3186 case_no=137 label=Case6.125 nb_sol=0 ticks=341161 tps=100 nb_sec=3411 case_no=137 label=Case6.125 nb_sol=0 ticks=361969 tps=100 nb_sec=3619 case_no=137 label=Case6.125 nb_sol=0 ticks=488303 tps=100 nb_sec=4883 case_no=137 label=Case6.125 nb_sol=0 ticks=326659 tps=100 nb_sec=3266 case_no=137 label=Case6.125 nb_sol=0 ticks=360205 tps=100 nb_sec=3602 case_no=137 label=Case6.125 nb_sol=0 ticks=256196 tps=100 nb_sec=2561 case_no=137 label=Case6.125 nb_sol=0 ticks=374204 tps=100 nb_sec=3742 case_no=137 label=Case6.125 nb_sol=0 ticks=610671 tps=100 nb_sec=6106 case_no=137 label=Case6.125 nb_sol=0 ticks=337234 tps=100 nb_sec=3372 case_no=137 label=Case6.125 nb_sol=0 ticks=355350 tps=100 nb_sec=3553 case_no=137 label=Case6.125 nb_sol=0 ticks=204470 tps=100 nb_sec=2044 case_no=137 label=Case6.125 nb_sol=0 ticks=731248 tps=100 nb_sec=7312 case_no=137 label=Case6.125 nb_sol=0 ticks=422057 tps=100 nb_sec=4220 case_no=137 label=Case6.125 nb_sol=0 ticks=218646 tps=100 nb_sec=2186 case_no=137 label=Case6.125 nb_sol=0 ticks=585272 tps=100 nb_sec=5852 case_no=137 label=Case6.125 nb_sol=0 ticks=527130 tps=100 nb_sec=5271 case_no=137 label=Case6.125 nb_sol=0 ticks=296747 tps=100 nb_sec=2967 case_no=137 label=Case6.125 nb_sol=0 ticks=186329 tps=100 nb_sec=1863 case_no=137 label=Case6.125 nb_sol=0 ticks=652450 tps=100 nb_sec=6524 case_no=137 label=Case6.125 nb_sol=0 ticks=461189 tps=100 nb_sec=4611 case_no=137 label=Case6.125 nb_sol=0 ticks=703206 tps=100 nb_sec=7032 case_no=137 label=Case6.125 nb_sol=0 ticks=649563 tps=100 nb_sec=6495 case_no=137 label=Case6.125 nb_sol=0 ticks=456294 tps=100 nb_sec=4562 case_no=137 label=Case6.125 nb_sol=0 ticks=530784 tps=100 nb_sec=5307 case_no=137 label=Case6.125 nb_sol=0 ticks=374636 tps=100 nb_sec=3746 case_no=137 label=Case6.125 nb_sol=0 ticks=495773 tps=100 nb_sec=4957 case_no=137 label=Case6.125 nb_sol=0 ticks=425573 tps=100 nb_sec=4255 case_no=137 label=Case6.125 nb_sol=0 ticks=532985 tps=100 nb_sec=5329 case_no=137 label=Case6.125 nb_sol=0 ticks=403835 tps=100 nb_sec=4038 case_no=137 label=Case6.125 nb_sol=0 ticks=304317 tps=100 nb_sec=3043 case_no=137 label=Case6.125 nb_sol=0 ticks=674919 tps=100 nb_sec=6749 case_no=137 label=Case6.125 nb_sol=0 ticks=305959 tps=100 nb_sec=3059 case_no=137 label=Case6.125 nb_sol=0 ticks=518867 tps=100 nb_sec=5188 case_no=137 label=Case6.125 nb_sol=0 ticks=406287 tps=100 nb_sec=4062 case_no=137 label=Case6.125 nb_sol=0 ticks=473422 tps=100 nb_sec=4734 case_no=137 label=Case6.125 nb_sol=0 ticks=347026 tps=100 nb_sec=3470 case_no=137 label=Case6.125 nb_sol=0 ticks=442573 tps=100 nb_sec=4425 case_no=137 label=Case6.125 nb_sol=0 ticks=509129 tps=100 nb_sec=5091 case_no=137 label=Case6.125 nb_sol=0 ticks=373411 tps=100 nb_sec=3734 case_no=137 label=Case6.125 nb_sol=0 ticks=390148 tps=100 nb_sec=3901 case_no=137 label=Case6.125 nb_sol=0 ticks=561526 tps=100 nb_sec=5615 case_no=137 label=Case6.125 nb_sol=0 ticks=498155 tps=100 nb_sec=4981 case_no=137 label=Case6.125 nb_sol=0 ticks=605968 tps=100 nb_sec=6059 case_no=137 label=Case6.125 nb_sol=0 ticks=371489 tps=100 nb_sec=3714 case_no=137 label=Case6.125 nb_sol=0 ticks=276717 tps=100 nb_sec=2767 case_no=137 label=Case6.125 nb_sol=0 ticks=486496 tps=100 nb_sec=4864 case_no=137 label=Case6.125 nb_sol=0 ticks=363906 tps=100 nb_sec=3639 case_no=137 label=Case6.125 nb_sol=0 ticks=387969 tps=100 nb_sec=3879 case_no=137 label=Case6.125 nb_sol=0 ticks=661514 tps=100 nb_sec=6615 case_no=137 label=Case6.125 nb_sol=0 ticks=399837 tps=100 nb_sec=3998 case_no=137 label=Case6.125 nb_sol=0 ticks=185945 tps=100 nb_sec=1859 case_no=137 label=Case6.125 nb_sol=0 ticks=309205 tps=100 nb_sec=3092 case_no=137 label=Case6.125 nb_sol=0 ticks=292417 tps=100 nb_sec=2924 case_no=137 label=Case6.125 nb_sol=0 ticks=398048 tps=100 nb_sec=3980 case_no=137 label=Case6.125 nb_sol=0 ticks=359197 tps=100 nb_sec=3591 case_no=137 label=Case6.125 nb_sol=0 ticks=637159 tps=100 nb_sec=6371 case_no=137 label=Case6.125 nb_sol=0 ticks=183251 tps=100 nb_sec=1832 case_no=137 label=Case6.125 nb_sol=0 ticks=408007 tps=100 nb_sec=4080 case_no=137 label=Case6.125 nb_sol=0 ticks=446206 tps=100 nb_sec=4462 case_no=137 label=Case6.125 nb_sol=0 ticks=374530 tps=100 nb_sec=3745 case_no=137 label=Case6.125 nb_sol=0 ticks=506449 tps=100 nb_sec=5064 case_no=137 label=Case6.125 nb_sol=0 ticks=412798 tps=100 nb_sec=4127 case_no=137 label=Case6.125 nb_sol=0 ticks=519954 tps=100 nb_sec=5199 case_no=137 label=Case6.125 nb_sol=0 ticks=255969 tps=100 nb_sec=2559 case_no=137 label=Case6.125 nb_sol=0 ticks=384753 tps=100 nb_sec=3847 case_no=137 label=Case6.125 nb_sol=0 ticks=366835 tps=100 nb_sec=3668 case_no=137 label=Case6.125 nb_sol=0 ticks=327457 tps=100 nb_sec=3274 case_no=137 label=Case6.125 nb_sol=0 ticks=480301 tps=100 nb_sec=4803 case_no=137 label=Case6.125 nb_sol=0 ticks=388413 tps=100 nb_sec=3884 case_no=137 label=Case6.125 nb_sol=0 ticks=564864 tps=100 nb_sec=5648 case_no=137 label=Case6.125 nb_sol=0 ticks=493868 tps=100 nb_sec=4938 case_no=137 label=Case6.125 nb_sol=0 ticks=453876 tps=100 nb_sec=4538 case_no=137 label=Case6.125 nb_sol=0 ticks=569843 tps=100 nb_sec=5698 case_no=137 label=Case6.125 nb_sol=0 ticks=183866 tps=100 nb_sec=1838 case_no=137 label=Case6.125 nb_sol=0 ticks=369947 tps=100 nb_sec=3699 case_no=137 label=Case6.125 nb_sol=0 ticks=356290 tps=100 nb_sec=3562 case_no=137 label=Case6.125 nb_sol=0 ticks=199303 tps=100 nb_sec=1993 case_no=137 label=Case6.125 nb_sol=0 ticks=158822 tps=100 nb_sec=1588 case_no=137 label=Case6.125 nb_sol=0 ticks=221208 tps=100 nb_sec=2212 case_no=137 label=Case6.125 nb_sol=0 ticks=381888 tps=100 nb_sec=3818 case_no=137 label=Case6.125 nb_sol=0 ticks=208951 tps=100 nb_sec=2089 case_no=137 label=Case6.125 nb_sol=0 ticks=613017 tps=100 nb_sec=6130 case_no=137 label=Case6.125 nb_sol=0 ticks=298471 tps=100 nb_sec=2984 case_no=137 label=Case6.125 nb_sol=0 ticks=742140 tps=100 nb_sec=7421 case_no=137 label=Case6.125 nb_sol=0 ticks=165876 tps=100 nb_sec=1658 case_no=137 label=Case6.125 nb_sol=0 ticks=564259 tps=100 nb_sec=5642 case_no=137 label=Case6.125 nb_sol=0 ticks=359658 tps=100 nb_sec=3596 case_no=137 label=Case6.125 nb_sol=0 ticks=355275 tps=100 nb_sec=3552 case_no=137 label=Case6.125 nb_sol=0 ticks=244542 tps=100 nb_sec=2445 case_no=137 label=Case6.125 nb_sol=0 ticks=313353 tps=100 nb_sec=3133 case_no=137 label=Case6.125 nb_sol=0 ticks=519844 tps=100 nb_sec=5198 case_no=137 label=Case6.125 nb_sol=0 ticks=309227 tps=100 nb_sec=3092 case_no=137 label=Case6.125 nb_sol=0 ticks=406873 tps=100 nb_sec=4068 case_no=137 label=Case6.125 nb_sol=0 ticks=399627 tps=100 nb_sec=3996 case_no=137 label=Case6.125 nb_sol=0 ticks=412292 tps=100 nb_sec=4122 case_no=137 label=Case6.125 nb_sol=0 ticks=445373 tps=100 nb_sec=4453 case_no=137 label=Case6.125 nb_sol=0 ticks=307966 tps=100 nb_sec=3079 case_no=137 label=Case6.125 nb_sol=0 ticks=309669 tps=100 nb_sec=3096 case_no=137 label=Case6.125 nb_sol=0 ticks=260013 tps=100 nb_sec=2600 case_no=137 label=Case6.125 nb_sol=0 ticks=268935 tps=100 nb_sec=2689 case_no=137 label=Case6.125 nb_sol=0 ticks=412493 tps=100 nb_sec=4124 case_no=137 label=Case6.125 nb_sol=0 ticks=348735 tps=100 nb_sec=3487 case_no=137 label=Case6.125 nb_sol=0 ticks=264995 tps=100 nb_sec=2649 case_no=137 label=Case6.125 nb_sol=0 ticks=291054 tps=100 nb_sec=2910 case_no=137 label=Case6.125 nb_sol=0 ticks=475567 tps=100 nb_sec=4755 case_no=137 label=Case6.125 nb_sol=0 ticks=477847 tps=100 nb_sec=4778 case_no=137 label=Case6.125 nb_sol=0 ticks=308343 tps=100 nb_sec=3083 case_no=137 label=Case6.125 nb_sol=0 ticks=324911 tps=100 nb_sec=3249 case_no=137 label=Case6.125 nb_sol=0 ticks=262755 tps=100 nb_sec=2627 case_no=137 label=Case6.125 nb_sol=0 ticks=136337 tps=100 nb_sec=1363 case_no=137 label=Case6.125 nb_sol=0 ticks=400320 tps=100 nb_sec=4003 case_no=137 label=Case6.125 nb_sol=0 ticks=277889 tps=100 nb_sec=2778 case_no=137 label=Case6.125 nb_sol=0 ticks=395019 tps=100 nb_sec=3950 case_no=137 label=Case6.125 nb_sol=0 ticks=353190 tps=100 nb_sec=3531 case_no=137 label=Case6.125 nb_sol=0 ticks=383658 tps=100 nb_sec=3836 case_no=137 label=Case6.125 nb_sol=0 ticks=301446 tps=100 nb_sec=3014 case_no=137 label=Case6.125 nb_sol=0 ticks=576767 tps=100 nb_sec=5767 case_no=137 label=Case6.125 nb_sol=0 ticks=210294 tps=100 nb_sec=2102 case_no=137 label=Case6.125 nb_sol=0 ticks=142588 tps=100 nb_sec=1425 case_no=137 label=Case6.125 nb_sol=0 ticks=153638 tps=100 nb_sec=1536 case_no=137 label=Case6.125 nb_sol=0 ticks=429987 tps=100 nb_sec=4299 case_no=137 label=Case6.125 nb_sol=0 ticks=152797 tps=100 nb_sec=1527 case_no=137 label=Case6.125 nb_sol=0 ticks=175815 tps=100 nb_sec=1758 case_no=137 label=Case6.125 nb_sol=0 ticks=144878 tps=100 nb_sec=1448 case_no=137 label=Case6.125 nb_sol=0 ticks=147418 tps=100 nb_sec=1474 case_no=137 label=Case6.125 nb_sol=0 ticks=541258 tps=100 nb_sec=5412 case_no=137 label=Case6.125 nb_sol=0 ticks=144217 tps=100 nb_sec=1442 case_no=137 label=Case6.125 nb_sol=0 ticks=164335 tps=100 nb_sec=1643 case_no=137 label=Case6.125 nb_sol=0 ticks=185703 tps=100 nb_sec=1857 case_no=137 label=Case6.125 nb_sol=0 ticks=168902 tps=100 nb_sec=1689 case_no=137 label=Case6.125 nb_sol=0 ticks=340668 tps=100 nb_sec=3406 case_no=137 label=Case6.125 nb_sol=0 ticks=380002 tps=100 nb_sec=3800 case_no=137 label=Case6.125 nb_sol=0 ticks=412801 tps=100 nb_sec=4128 case_no=137 label=Case6.125 nb_sol=0 ticks=495774 tps=100 nb_sec=4957 case_no=137 label=Case6.125 nb_sol=0 ticks=488218 tps=100 nb_sec=4882 case_no=137 label=Case6.125 nb_sol=0 ticks=575568 tps=100 nb_sec=5755 case_no=137 label=Case6.125 nb_sol=0 ticks=168035 tps=100 nb_sec=1680 case_no=137 label=Case6.125 nb_sol=0 ticks=125770 tps=100 nb_sec=1257 case_no=137 label=Case6.125 nb_sol=0 ticks=214223 tps=100 nb_sec=2142 case_no=137 label=Case6.125 nb_sol=0 ticks=563106 tps=100 nb_sec=5631 case_no=137 label=Case6.125 nb_sol=0 ticks=442856 tps=100 nb_sec=4428 case_no=137 label=Case6.125 nb_sol=0 ticks=267149 tps=100 nb_sec=2671 case_no=137 label=Case6.125 nb_sol=0 ticks=161866 tps=100 nb_sec=1618 case_no=137 label=Case6.125 nb_sol=0 ticks=534708 tps=100 nb_sec=5347 case_no=137 label=Case6.125 nb_sol=0 ticks=157426 tps=100 nb_sec=1574 case_no=137 label=Case6.125 nb_sol=0 ticks=299406 tps=100 nb_sec=2994 case_no=137 label=Case6.125 nb_sol=0 ticks=259569 tps=100 nb_sec=2595 case_no=137 label=Case6.125 nb_sol=0 ticks=248781 tps=100 nb_sec=2487 case_no=137 label=Case6.125 nb_sol=0 ticks=176202 tps=100 nb_sec=1762 case_no=137 label=Case6.125 nb_sol=0 ticks=351243 tps=100 nb_sec=3512 case_no=137 label=Case6.125 nb_sol=0 ticks=210409 tps=100 nb_sec=2104 case_no=137 label=Case6.125 nb_sol=0 ticks=376658 tps=100 nb_sec=3766 case_no=137 label=Case6.125 nb_sol=0 ticks=349244 tps=100 nb_sec=3492 case_no=137 label=Case6.125 nb_sol=0 ticks=222554 tps=100 nb_sec=2225 case_no=137 label=Case6.125 nb_sol=0 ticks=170393 tps=100 nb_sec=1703 case_no=137 label=Case6.125 nb_sol=0 ticks=566960 tps=100 nb_sec=5669 case_no=137 label=Case6.125 nb_sol=0 ticks=271986 tps=100 nb_sec=2719 case_no=137 label=Case6.125 nb_sol=0 ticks=394411 tps=100 nb_sec=3944 case_no=137 label=Case6.125 nb_sol=0 ticks=147945 tps=100 nb_sec=1479 case_no=137 label=Case6.125 nb_sol=0 ticks=460396 tps=100 nb_sec=4603 case_no=137 label=Case6.125 nb_sol=0 ticks=472064 tps=100 nb_sec=4720 case_no=137 label=Case6.125 nb_sol=0 ticks=223760 tps=100 nb_sec=2237 case_no=137 label=Case6.125 nb_sol=0 ticks=400945 tps=100 nb_sec=4009 case_no=137 label=Case6.125 nb_sol=0 ticks=163427 tps=100 nb_sec=1634 case_no=137 label=Case6.125 nb_sol=0 ticks=421220 tps=100 nb_sec=4212 case_no=137 label=Case6.125 nb_sol=0 ticks=562220 tps=100 nb_sec=5622 case_no=137 label=Case6.125 nb_sol=0 ticks=175839 tps=100 nb_sec=1758 case_no=137 label=Case6.125 nb_sol=0 ticks=209566 tps=100 nb_sec=2095 case_no=137 label=Case6.125 nb_sol=0 ticks=155582 tps=100 nb_sec=1555 case_no=137 label=Case6.125 nb_sol=0 ticks=544859 tps=100 nb_sec=5448 case_no=137 label=Case6.125 nb_sol=0 ticks=232059 tps=100 nb_sec=2320 case_no=137 label=Case6.125 nb_sol=0 ticks=456821 tps=100 nb_sec=4568 case_no=137 label=Case6.125 nb_sol=0 ticks=157586 tps=100 nb_sec=1575 case_no=137 label=Case6.125 nb_sol=0 ticks=153489 tps=100 nb_sec=1534 case_no=137 label=Case6.125 nb_sol=0 ticks=733436 tps=100 nb_sec=7334 case_no=137 label=Case6.125 nb_sol=0 ticks=219273 tps=100 nb_sec=2192 case_no=137 label=Case6.125 nb_sol=0 ticks=540204 tps=100 nb_sec=5402 case_no=137 label=Case6.125 nb_sol=0 ticks=352173 tps=100 nb_sec=3521 case_no=137 label=Case6.125 nb_sol=0 ticks=509486 tps=100 nb_sec=5094 case_no=137 label=Case6.125 nb_sol=0 ticks=375919 tps=100 nb_sec=3759 case_no=137 label=Case6.125 nb_sol=0 ticks=198247 tps=100 nb_sec=1982 case_no=137 label=Case6.125 nb_sol=0 ticks=497287 tps=100 nb_sec=4972 case_no=137 label=Case6.125 nb_sol=0 ticks=556242 tps=100 nb_sec=5562 case_no=137 label=Case6.125 nb_sol=0 ticks=376754 tps=100 nb_sec=3767 case_no=137 label=Case6.125 nb_sol=0 ticks=358335 tps=100 nb_sec=3583 case_no=137 label=Case6.125 nb_sol=0 ticks=243305 tps=100 nb_sec=2433 case_no=137 label=Case6.125 nb_sol=0 ticks=312554 tps=100 nb_sec=3125 case_no=137 label=Case6.125 nb_sol=0 ticks=465442 tps=100 nb_sec=4654 case_no=137 label=Case6.125 nb_sol=0 ticks=258111 tps=100 nb_sec=2581 case_no=137 label=Case6.125 nb_sol=0 ticks=141826 tps=100 nb_sec=1418 case_no=137 label=Case6.125 nb_sol=0 ticks=378579 tps=100 nb_sec=3785 case_no=137 label=Case6.125 nb_sol=0 ticks=200457 tps=100 nb_sec=2004 case_no=137 label=Case6.125 nb_sol=0 ticks=691067 tps=100 nb_sec=6910 case_no=137 label=Case6.125 nb_sol=0 ticks=441733 tps=100 nb_sec=4417 case_no=137 label=Case6.125 nb_sol=0 ticks=305893 tps=100 nb_sec=3058 case_no=137 label=Case6.125 nb_sol=0 ticks=220507 tps=100 nb_sec=2205 case_no=137 label=Case6.125 nb_sol=0 ticks=459506 tps=100 nb_sec=4595 case_no=137 label=Case6.125 nb_sol=0 ticks=387724 tps=100 nb_sec=3877 case_no=137 label=Case6.125 nb_sol=0 ticks=179246 tps=100 nb_sec=1792 case_no=137 label=Case6.125 nb_sol=0 ticks=212232 tps=100 nb_sec=2122 case_no=137 label=Case6.125 nb_sol=0 ticks=180840 tps=100 nb_sec=1808 case_no=137 label=Case6.125 nb_sol=0 ticks=360835 tps=100 nb_sec=3608 case_no=137 label=Case6.125 nb_sol=0 ticks=223917 tps=100 nb_sec=2239 case_no=137 label=Case6.125 nb_sol=0 ticks=333327 tps=100 nb_sec=3333 case_no=137 label=Case6.125 nb_sol=0 ticks=564489 tps=100 nb_sec=5644 case_no=137 label=Case6.125 nb_sol=0 ticks=301356 tps=100 nb_sec=3013 case_no=137 label=Case6.125 nb_sol=0 ticks=171552 tps=100 nb_sec=1715 case_no=137 label=Case6.125 nb_sol=0 ticks=221213 tps=100 nb_sec=2212 case_no=137 label=Case6.125 nb_sol=0 ticks=202122 tps=100 nb_sec=2021 case_no=137 label=Case6.125 nb_sol=0 ticks=295767 tps=100 nb_sec=2957 case_no=137 label=Case6.125 nb_sol=0 ticks=596856 tps=100 nb_sec=5968 case_no=137 label=Case6.125 nb_sol=0 ticks=214990 tps=100 nb_sec=2149 case_no=137 label=Case6.125 nb_sol=0 ticks=203680 tps=100 nb_sec=2036 case_no=137 label=Case6.125 nb_sol=0 ticks=413399 tps=100 nb_sec=4133 case_no=137 label=Case6.125 nb_sol=0 ticks=407363 tps=100 nb_sec=4073 case_no=137 label=Case6.125 nb_sol=0 ticks=381518 tps=100 nb_sec=3815 case_no=137 label=Case6.125 nb_sol=0 ticks=455275 tps=100 nb_sec=4552 case_no=137 label=Case6.125 nb_sol=0 ticks=203380 tps=100 nb_sec=2033 case_no=137 label=Case6.125 nb_sol=0 ticks=232610 tps=100 nb_sec=2326 case_no=137 label=Case6.125 nb_sol=0 ticks=210971 tps=100 nb_sec=2109 case_no=137 label=Case6.125 nb_sol=0 ticks=325187 tps=100 nb_sec=3251 case_no=137 label=Case6.125 nb_sol=0 ticks=200137 tps=100 nb_sec=2001 case_no=137 label=Case6.125 nb_sol=0 ticks=597684 tps=100 nb_sec=5976 case_no=137 label=Case6.125 nb_sol=0 ticks=195608 tps=100 nb_sec=1956 case_no=137 label=Case6.125 nb_sol=0 ticks=236051 tps=100 nb_sec=2360 case_no=137 label=Case6.125 nb_sol=0 ticks=565788 tps=100 nb_sec=5657 case_no=137 label=Case6.125 nb_sol=0 ticks=241663 tps=100 nb_sec=2416 case_no=137 label=Case6.125 nb_sol=0 ticks=279860 tps=100 nb_sec=2798 case_no=137 label=Case6.125 nb_sol=0 ticks=556444 tps=100 nb_sec=5564 case_no=137 label=Case6.125 nb_sol=0 ticks=246512 tps=100 nb_sec=2465 case_no=137 label=Case6.125 nb_sol=0 ticks=622266 tps=100 nb_sec=6222 case_no=137 label=Case6.125 nb_sol=0 ticks=360049 tps=100 nb_sec=3600 case_no=137 label=Case6.125 nb_sol=0 ticks=156081 tps=100 nb_sec=1560 case_no=137 label=Case6.125 nb_sol=0 ticks=339943 tps=100 nb_sec=3399 case_no=137 label=Case6.125 nb_sol=0 ticks=475574 tps=100 nb_sec=4755 case_no=137 label=Case6.125 nb_sol=0 ticks=574404 tps=100 nb_sec=5744 case_no=137 label=Case6.125 nb_sol=0 ticks=370668 tps=100 nb_sec=3706 case_no=137 label=Case6.125 nb_sol=0 ticks=245500 tps=100 nb_sec=2455 case_no=137 label=Case6.125 nb_sol=0 ticks=390299 tps=100 nb_sec=3902 case_no=137 label=Case6.125 nb_sol=0 ticks=453679 tps=100 nb_sec=4536 case_no=137 label=Case6.125 nb_sol=0 ticks=304406 tps=100 nb_sec=3044 case_no=137 label=Case6.125 nb_sol=0 ticks=316444 tps=100 nb_sec=3164 case_no=137 label=Case6.125 nb_sol=0 ticks=499158 tps=100 nb_sec=4991 case_no=137 label=Case6.125 nb_sol=0 ticks=763411 tps=100 nb_sec=7634 case_no=137 label=Case6.125 nb_sol=0 ticks=314523 tps=100 nb_sec=3145 case_no=137 label=Case6.125 nb_sol=0 ticks=623935 tps=100 nb_sec=6239 case_no=137 label=Case6.125 nb_sol=0 ticks=553052 tps=100 nb_sec=5530 case_no=137 label=Case6.125 nb_sol=0 ticks=349102 tps=100 nb_sec=3491 case_no=137 label=Case6.125 nb_sol=0 ticks=395082 tps=100 nb_sec=3950 case_no=137 label=Case6.125 nb_sol=0 ticks=188142 tps=100 nb_sec=1881 case_no=137 label=Case6.125 nb_sol=0 ticks=315284 tps=100 nb_sec=3152 case_no=137 label=Case6.125 nb_sol=0 ticks=675472 tps=100 nb_sec=6754 case_no=137 label=Case6.125 nb_sol=0 ticks=330185 tps=100 nb_sec=3301 case_no=137 label=Case6.125 nb_sol=0 ticks=607492 tps=100 nb_sec=6074 case_no=137 label=Case6.125 nb_sol=0 ticks=233771 tps=100 nb_sec=2337 case_no=137 label=Case6.125 nb_sol=0 ticks=527742 tps=100 nb_sec=5277 case_no=137 label=Case6.125 nb_sol=0 ticks=500516 tps=100 nb_sec=5005 case_no=137 label=Case6.125 nb_sol=0 ticks=640728 tps=100 nb_sec=6407 case_no=137 label=Case6.125 nb_sol=0 ticks=508376 tps=100 nb_sec=5083 case_no=137 label=Case6.125 nb_sol=0 ticks=360618 tps=100 nb_sec=3606 case_no=137 label=Case6.125 nb_sol=0 ticks=292109 tps=100 nb_sec=2921 case_no=137 label=Case6.125 nb_sol=0 ticks=528214 tps=100 nb_sec=5282 case_no=137 label=Case6.125 nb_sol=0 ticks=366828 tps=100 nb_sec=3668 case_no=137 label=Case6.125 nb_sol=0 ticks=371322 tps=100 nb_sec=3713 case_no=137 label=Case6.125 nb_sol=0 ticks=355397 tps=100 nb_sec=3553 case_no=137 label=Case6.125 nb_sol=0 ticks=289380 tps=100 nb_sec=2893 case_no=137 label=Case6.125 nb_sol=0 ticks=182225 tps=100 nb_sec=1822 case_no=137 label=Case6.125 nb_sol=0 ticks=153556 tps=100 nb_sec=1535 case_no=137 label=Case6.125 nb_sol=0 ticks=338356 tps=100 nb_sec=3383 case_no=137 label=Case6.125 nb_sol=0 ticks=214995 tps=100 nb_sec=2149 case_no=137 label=Case6.125 nb_sol=0 ticks=333550 tps=100 nb_sec=3335 case_no=137 label=Case6.125 nb_sol=0 ticks=175696 tps=100 nb_sec=1756 case_no=137 label=Case6.125 nb_sol=0 ticks=193581 tps=100 nb_sec=1935 case_no=137 label=Case6.125 nb_sol=0 ticks=457784 tps=100 nb_sec=4577 case_no=137 label=Case6.125 nb_sol=0 ticks=240304 tps=100 nb_sec=2403 case_no=137 label=Case6.125 nb_sol=0 ticks=169421 tps=100 nb_sec=1694 case_no=137 label=Case6.125 nb_sol=0 ticks=272511 tps=100 nb_sec=2725 case_no=137 label=Case6.125 nb_sol=0 ticks=318013 tps=100 nb_sec=3180 case_no=137 label=Case6.125 nb_sol=0 ticks=156278 tps=100 nb_sec=1562 case_no=137 label=Case6.125 nb_sol=0 ticks=215478 tps=100 nb_sec=2154 case_no=137 label=Case6.125 nb_sol=0 ticks=145934 tps=100 nb_sec=1459 case_no=137 label=Case6.125 nb_sol=0 ticks=408337 tps=100 nb_sec=4083 case_no=137 label=Case6.125 nb_sol=0 ticks=168572 tps=100 nb_sec=1685 case_no=137 label=Case6.125 nb_sol=0 ticks=559263 tps=100 nb_sec=5592 case_no=137 label=Case6.125 nb_sol=0 ticks=165873 tps=100 nb_sec=1658 case_no=137 label=Case6.125 nb_sol=0 ticks=186736 tps=100 nb_sec=1867 case_no=137 label=Case6.125 nb_sol=0 ticks=307939 tps=100 nb_sec=3079 case_no=137 label=Case6.125 nb_sol=0 ticks=289031 tps=100 nb_sec=2890 case_no=137 label=Case6.125 nb_sol=0 ticks=382768 tps=100 nb_sec=3827 case_no=137 label=Case6.125 nb_sol=0 ticks=458184 tps=100 nb_sec=4581 case_no=137 label=Case6.125 nb_sol=0 ticks=187750 tps=100 nb_sec=1877 case_no=137 label=Case6.125 nb_sol=0 ticks=346169 tps=100 nb_sec=3461 case_no=137 label=Case6.125 nb_sol=0 ticks=323436 tps=100 nb_sec=3234 case_no=137 label=Case6.125 nb_sol=0 ticks=290278 tps=100 nb_sec=2902 case_no=137 label=Case6.125 nb_sol=0 ticks=164093 tps=100 nb_sec=1640 case_no=137 label=Case6.125 nb_sol=0 ticks=181143 tps=100 nb_sec=1811 case_no=137 label=Case6.125 nb_sol=0 ticks=344429 tps=100 nb_sec=3444 case_no=137 label=Case6.125 nb_sol=0 ticks=296533 tps=100 nb_sec=2965 case_no=137 label=Case6.125 nb_sol=0 ticks=243543 tps=100 nb_sec=2435 case_no=137 label=Case6.125 nb_sol=0 ticks=298802 tps=100 nb_sec=2988 case_no=137 label=Case6.125 nb_sol=0 ticks=132522 tps=100 nb_sec=1325 case_no=137 label=Case6.125 nb_sol=0 ticks=120292 tps=100 nb_sec=1202 case_no=137 label=Case6.125 nb_sol=0 ticks=184023 tps=100 nb_sec=1840 case_no=137 label=Case6.125 nb_sol=0 ticks=182985 tps=100 nb_sec=1829 case_no=137 label=Case6.125 nb_sol=0 ticks=185890 tps=100 nb_sec=1858 case_no=137 label=Case6.125 nb_sol=0 ticks=209202 tps=100 nb_sec=2092 case_no=137 label=Case6.125 nb_sol=0 ticks=181333 tps=100 nb_sec=1813 case_no=137 label=Case6.125 nb_sol=0 ticks=225744 tps=100 nb_sec=2257 case_no=137 label=Case6.125 nb_sol=0 ticks=510458 tps=100 nb_sec=5104 case_no=137 label=Case6.125 nb_sol=0 ticks=189953 tps=100 nb_sec=1899 case_no=137 label=Case6.125 nb_sol=0 ticks=320073 tps=100 nb_sec=3200 case_no=137 label=Case6.125 nb_sol=0 ticks=387809 tps=100 nb_sec=3878 case_no=137 label=Case6.125 nb_sol=0 ticks=317471 tps=100 nb_sec=3174 case_no=137 label=Case6.125 nb_sol=0 ticks=419265 tps=100 nb_sec=4192 case_no=137 label=Case6.125 nb_sol=0 ticks=352071 tps=100 nb_sec=3520 case_no=137 label=Case6.125 nb_sol=0 ticks=240168 tps=100 nb_sec=2401 case_no=137 label=Case6.125 nb_sol=0 ticks=245246 tps=100 nb_sec=2452 case_no=137 label=Case6.125 nb_sol=0 ticks=261184 tps=100 nb_sec=2611 case_no=137 label=Case6.125 nb_sol=0 ticks=443183 tps=100 nb_sec=4431 case_no=137 label=Case6.125 nb_sol=0 ticks=315108 tps=100 nb_sec=3151 case_no=137 label=Case6.125 nb_sol=0 ticks=418092 tps=100 nb_sec=4180 case_no=137 label=Case6.125 nb_sol=0 ticks=264823 tps=100 nb_sec=2648 case_no=137 label=Case6.125 nb_sol=0 ticks=405345 tps=100 nb_sec=4053 case_no=137 label=Case6.125 nb_sol=0 ticks=452793 tps=100 nb_sec=4527 case_no=137 label=Case6.125 nb_sol=0 ticks=412999 tps=100 nb_sec=4129 case_no=137 label=Case6.125 nb_sol=0 ticks=212913 tps=100 nb_sec=2129 case_no=137 label=Case6.125 nb_sol=0 ticks=323593 tps=100 nb_sec=3235 case_no=137 label=Case6.125 nb_sol=0 ticks=414274 tps=100 nb_sec=4142 case_no=137 label=Case6.125 nb_sol=0 ticks=559199 tps=100 nb_sec=5591 case_no=137 label=Case6.125 nb_sol=0 ticks=330452 tps=100 nb_sec=3304 case_no=137 label=Case6.125 nb_sol=0 ticks=358115 tps=100 nb_sec=3581 case_no=137 label=Case6.125 nb_sol=0 ticks=319703 tps=100 nb_sec=3197 case_no=137 label=Case6.125 nb_sol=0 ticks=257761 tps=100 nb_sec=2577 case_no=137 label=Case6.125 nb_sol=0 ticks=323309 tps=100 nb_sec=3233 case_no=137 label=Case6.125 nb_sol=0 ticks=424316 tps=100 nb_sec=4243 case_no=137 label=Case6.125 nb_sol=0 ticks=204212 tps=100 nb_sec=2042 case_no=137 label=Case6.125 nb_sol=0 ticks=316051 tps=100 nb_sec=3160 case_no=137 label=Case6.125 nb_sol=0 ticks=347508 tps=100 nb_sec=3475 case_no=137 label=Case6.125 nb_sol=0 ticks=363761 tps=100 nb_sec=3637 case_no=137 label=Case6.125 nb_sol=0 ticks=153643 tps=100 nb_sec=1536 case_no=137 label=Case6.125 nb_sol=0 ticks=348563 tps=100 nb_sec=3485 case_no=137 label=Case6.125 nb_sol=0 ticks=111754 tps=100 nb_sec=1117 case_no=137 label=Case6.125 nb_sol=0 ticks=305259 tps=100 nb_sec=3052 case_no=137 label=Case6.125 nb_sol=0 ticks=231219 tps=100 nb_sec=2312 case_no=137 label=Case6.125 nb_sol=0 ticks=165966 tps=100 nb_sec=1659 case_no=137 label=Case6.125 nb_sol=0 ticks=264700 tps=100 nb_sec=2647 case_no=137 label=Case6.125 nb_sol=0 ticks=458680 tps=100 nb_sec=4586 case_no=137 label=Case6.125 nb_sol=0 ticks=325040 tps=100 nb_sec=3250 case_no=137 label=Case6.125 nb_sol=0 ticks=341772 tps=100 nb_sec=3417 case_no=137 label=Case6.125 nb_sol=0 ticks=368045 tps=100 nb_sec=3680 case_no=137 label=Case6.125 nb_sol=0 ticks=245720 tps=100 nb_sec=2457 case_no=137 label=Case6.125 nb_sol=0 ticks=351844 tps=100 nb_sec=3518 case_no=137 label=Case6.125 nb_sol=0 ticks=300641 tps=100 nb_sec=3006 case_no=137 label=Case6.125 nb_sol=0 ticks=324052 tps=100 nb_sec=3240 case_no=137 label=Case6.125 nb_sol=0 ticks=266718 tps=100 nb_sec=2667 case_no=137 label=Case6.125 nb_sol=0 ticks=311441 tps=100 nb_sec=3114 case_no=137 label=Case6.125 nb_sol=0 ticks=190405 tps=100 nb_sec=1904 case_no=137 label=Case6.125 nb_sol=0 ticks=367020 tps=100 nb_sec=3670 case_no=137 label=Case6.125 nb_sol=0 ticks=231126 tps=100 nb_sec=2311 case_no=137 label=Case6.125 nb_sol=0 ticks=409224 tps=100 nb_sec=4092 case_no=137 label=Case6.125 nb_sol=0 ticks=449884 tps=100 nb_sec=4498 case_no=137 label=Case6.125 nb_sol=0 ticks=138754 tps=100 nb_sec=1387 case_no=137 label=Case6.125 nb_sol=0 ticks=204238 tps=100 nb_sec=2042 case_no=137 label=Case6.125 nb_sol=0 ticks=511216 tps=100 nb_sec=5112 case_no=137 label=Case6.125 nb_sol=0 ticks=112106 tps=100 nb_sec=1121 case_no=137 label=Case6.125 nb_sol=0 ticks=457526 tps=100 nb_sec=4575 case_no=137 label=Case6.125 nb_sol=0 ticks=152981 tps=100 nb_sec=1529 case_no=137 label=Case6.125 nb_sol=0 ticks=261484 tps=100 nb_sec=2614 case_no=137 label=Case6.125 nb_sol=0 ticks=303430 tps=100 nb_sec=3034 case_no=137 label=Case6.125 nb_sol=0 ticks=134361 tps=100 nb_sec=1343 case_no=137 label=Case6.125 nb_sol=0 ticks=279048 tps=100 nb_sec=2790 case_no=137 label=Case6.125 nb_sol=0 ticks=156995 tps=100 nb_sec=1569 case_no=137 label=Case6.125 nb_sol=0 ticks=243602 tps=100 nb_sec=2436 case_no=137 label=Case6.125 nb_sol=0 ticks=296614 tps=100 nb_sec=2966 case_no=137 label=Case6.125 nb_sol=0 ticks=109525 tps=100 nb_sec=1095 case_no=137 label=Case6.125 nb_sol=0 ticks=416765 tps=100 nb_sec=4167 case_no=137 label=Case6.125 nb_sol=0 ticks=380653 tps=100 nb_sec=3806 case_no=137 label=Case6.125 nb_sol=0 ticks=324300 tps=100 nb_sec=3243 case_no=137 label=Case6.125 nb_sol=0 ticks=394965 tps=100 nb_sec=3949 case_no=137 label=Case6.125 nb_sol=0 ticks=210646 tps=100 nb_sec=2106 case_no=137 label=Case6.125 nb_sol=0 ticks=256043 tps=100 nb_sec=2560 case_no=137 label=Case6.125 nb_sol=0 ticks=224492 tps=100 nb_sec=2244 case_no=137 label=Case6.125 nb_sol=0 ticks=109303 tps=100 nb_sec=1093 case_no=137 label=Case6.125 nb_sol=0 ticks=211390 tps=100 nb_sec=2113 case_no=137 label=Case6.125 nb_sol=0 ticks=282084 tps=100 nb_sec=2820 case_no=137 label=Case6.125 nb_sol=0 ticks=113341 tps=100 nb_sec=1133 case_no=137 label=Case6.125 nb_sol=0 ticks=102386 tps=100 nb_sec=1023 case_no=137 label=Case6.125 nb_sol=0 ticks=131446 tps=100 nb_sec=1314 case_no=137 label=Case6.125 nb_sol=0 ticks=130386 tps=100 nb_sec=1303 case_no=137 label=Case6.125 nb_sol=0 ticks=114020 tps=100 nb_sec=1140 case_no=137 label=Case6.125 nb_sol=0 ticks=256443 tps=100 nb_sec=2564 case_no=137 label=Case6.125 nb_sol=0 ticks=258717 tps=100 nb_sec=2587 case_no=137 label=Case6.125 nb_sol=0 ticks=216527 tps=100 nb_sec=2165 case_no=137 label=Case6.125 nb_sol=0 ticks=284289 tps=100 nb_sec=2842 case_no=137 label=Case6.125 nb_sol=0 ticks=281017 tps=100 nb_sec=2810 case_no=137 label=Case6.125 nb_sol=0 ticks=363028 tps=100 nb_sec=3630 case_no=137 label=Case6.125 nb_sol=0 ticks=347218 tps=100 nb_sec=3472 case_no=137 label=Case6.125 nb_sol=0 ticks=215229 tps=100 nb_sec=2152 case_no=137 label=Case6.125 nb_sol=0 ticks=293605 tps=100 nb_sec=2936 case_no=137 label=Case6.125 nb_sol=0 ticks=192181 tps=100 nb_sec=1921 case_no=137 label=Case6.125 nb_sol=0 ticks=260327 tps=100 nb_sec=2603 case_no=137 label=Case6.125 nb_sol=0 ticks=276227 tps=100 nb_sec=2762 case_no=137 label=Case6.125 nb_sol=0 ticks=418040 tps=100 nb_sec=4180 case_no=137 label=Case6.125 nb_sol=0 ticks=344657 tps=100 nb_sec=3446 case_no=137 label=Case6.125 nb_sol=0 ticks=313670 tps=100 nb_sec=3136 case_no=137 label=Case6.125 nb_sol=0 ticks=254270 tps=100 nb_sec=2542 case_no=137 label=Case6.125 nb_sol=0 ticks=225682 tps=100 nb_sec=2256 case_no=137 label=Case6.125 nb_sol=0 ticks=461271 tps=100 nb_sec=4612 case_no=137 label=Case6.125 nb_sol=0 ticks=356677 tps=100 nb_sec=3566 case_no=137 label=Case6.125 nb_sol=0 ticks=266776 tps=100 nb_sec=2667 case_no=137 label=Case6.125 nb_sol=0 ticks=152165 tps=100 nb_sec=1521 case_no=137 label=Case6.125 nb_sol=0 ticks=281155 tps=100 nb_sec=2811 case_no=137 label=Case6.125 nb_sol=0 ticks=150999 tps=100 nb_sec=1509 case_no=137 label=Case6.125 nb_sol=0 ticks=365499 tps=100 nb_sec=3654 case_no=137 label=Case6.125 nb_sol=0 ticks=173720 tps=100 nb_sec=1737 case_no=137 label=Case6.125 nb_sol=0 ticks=303551 tps=100 nb_sec=3035 case_no=137 label=Case6.125 nb_sol=0 ticks=436605 tps=100 nb_sec=4366 case_no=137 label=Case6.125 nb_sol=0 ticks=295766 tps=100 nb_sec=2957 case_no=137 label=Case6.125 nb_sol=0 ticks=132380 tps=100 nb_sec=1323 case_no=137 label=Case6.125 nb_sol=0 ticks=170573 tps=100 nb_sec=1705 case_no=137 label=Case6.125 nb_sol=0 ticks=229323 tps=100 nb_sec=2293 case_no=137 label=Case6.125 nb_sol=0 ticks=408008 tps=100 nb_sec=4080 case_no=137 label=Case6.125 nb_sol=0 ticks=408846 tps=100 nb_sec=4088 case_no=137 label=Case6.125 nb_sol=0 ticks=441837 tps=100 nb_sec=4418 case_no=137 label=Case6.125 nb_sol=0 ticks=693736 tps=100 nb_sec=6937 case_no=137 label=Case6.125 nb_sol=0 ticks=317764 tps=100 nb_sec=3177 case_no=137 label=Case6.125 nb_sol=0 ticks=343242 tps=100 nb_sec=3432 case_no=137 label=Case6.125 nb_sol=0 ticks=261020 tps=100 nb_sec=2610 case_no=137 label=Case6.125 nb_sol=0 ticks=387899 tps=100 nb_sec=3878 case_no=137 label=Case6.125 nb_sol=0 ticks=578589 tps=100 nb_sec=5785 case_no=137 label=Case6.125 nb_sol=0 ticks=296625 tps=100 nb_sec=2966 case_no=137 label=Case6.125 nb_sol=0 ticks=341245 tps=100 nb_sec=3412 case_no=137 label=Case6.125 nb_sol=0 ticks=237827 tps=100 nb_sec=2378 case_no=137 label=Case6.125 nb_sol=0 ticks=288605 tps=100 nb_sec=2886 case_no=137 label=Case6.125 nb_sol=0 ticks=315642 tps=100 nb_sec=3156 case_no=137 label=Case6.125 nb_sol=0 ticks=316835 tps=100 nb_sec=3168 case_no=137 label=Case6.125 nb_sol=0 ticks=167746 tps=100 nb_sec=1677 case_no=137 label=Case6.125 nb_sol=0 ticks=305480 tps=100 nb_sec=3054 case_no=137 label=Case6.125 nb_sol=0 ticks=306332 tps=100 nb_sec=3063 case_no=137 label=Case6.125 nb_sol=0 ticks=149514 tps=100 nb_sec=1495 case_no=137 label=Case6.125 nb_sol=0 ticks=206878 tps=100 nb_sec=2068 case_no=137 label=Case6.125 nb_sol=0 ticks=459507 tps=100 nb_sec=4595 case_no=137 label=Case6.125 nb_sol=0 ticks=369662 tps=100 nb_sec=3696 case_no=137 label=Case6.125 nb_sol=0 ticks=232838 tps=100 nb_sec=2328 case_no=137 label=Case6.125 nb_sol=0 ticks=307486 tps=100 nb_sec=3074 case_no=137 label=Case6.125 nb_sol=0 ticks=393916 tps=100 nb_sec=3939 case_no=137 label=Case6.125 nb_sol=0 ticks=388195 tps=100 nb_sec=3881 case_no=137 label=Case6.125 nb_sol=0 ticks=322859 tps=100 nb_sec=3228 case_no=137 label=Case6.125 nb_sol=0 ticks=350309 tps=100 nb_sec=3503 case_no=137 label=Case6.125 nb_sol=0 ticks=352117 tps=100 nb_sec=3521 case_no=137 label=Case6.125 nb_sol=0 ticks=167305 tps=100 nb_sec=1673 case_no=137 label=Case6.125 nb_sol=0 ticks=289448 tps=100 nb_sec=2894 case_no=137 label=Case6.125 nb_sol=0 ticks=164762 tps=100 nb_sec=1647 case_no=137 label=Case6.125 nb_sol=0 ticks=385088 tps=100 nb_sec=3850 case_no=137 label=Case6.125 nb_sol=0 ticks=164845 tps=100 nb_sec=1648 case_no=137 label=Case6.125 nb_sol=0 ticks=458786 tps=100 nb_sec=4587 case_no=137 label=Case6.125 nb_sol=0 ticks=198567 tps=100 nb_sec=1985 case_no=137 label=Case6.125 nb_sol=0 ticks=264938 tps=100 nb_sec=2649 case_no=137 label=Case6.125 nb_sol=0 ticks=168403 tps=100 nb_sec=1684 case_no=137 label=Case6.125 nb_sol=0 ticks=387977 tps=100 nb_sec=3879 case_no=137 label=Case6.125 nb_sol=0 ticks=185323 tps=100 nb_sec=1853 case_no=137 label=Case6.125 nb_sol=0 ticks=319785 tps=100 nb_sec=3197 case_no=137 label=Case6.125 nb_sol=0 ticks=501061 tps=100 nb_sec=5010 case_no=137 label=Case6.125 nb_sol=0 ticks=125839 tps=100 nb_sec=1258 case_no=137 label=Case6.125 nb_sol=0 ticks=299966 tps=100 nb_sec=2999 case_no=137 label=Case6.125 nb_sol=0 ticks=308295 tps=100 nb_sec=3082 case_no=137 label=Case6.125 nb_sol=0 ticks=167120 tps=100 nb_sec=1671 case_no=137 label=Case6.125 nb_sol=0 ticks=200594 tps=100 nb_sec=2005 case_no=137 label=Case6.125 nb_sol=0 ticks=120350 tps=100 nb_sec=1203 case_no=137 label=Case6.125 nb_sol=0 ticks=220012 tps=100 nb_sec=2200 case_no=137 label=Case6.125 nb_sol=0 ticks=160784 tps=100 nb_sec=1607 case_no=137 label=Case6.125 nb_sol=0 ticks=309519 tps=100 nb_sec=3095 case_no=137 label=Case6.125 nb_sol=0 ticks=141627 tps=100 nb_sec=1416 case_no=137 label=Case6.125 nb_sol=0 ticks=297587 tps=100 nb_sec=2975 case_no=137 label=Case6.125 nb_sol=0 ticks=183569 tps=100 nb_sec=1835 case_no=137 label=Case6.125 nb_sol=0 ticks=269992 tps=100 nb_sec=2699 case_no=137 label=Case6.125 nb_sol=0 ticks=389952 tps=100 nb_sec=3899 case_no=137 label=Case6.125 nb_sol=0 ticks=361447 tps=100 nb_sec=3614 case_no=137 label=Case6.125 nb_sol=0 ticks=275441 tps=100 nb_sec=2754 case_no=137 label=Case6.125 nb_sol=0 ticks=485348 tps=100 nb_sec=4853 case_no=137 label=Case6.125 nb_sol=0 ticks=270621 tps=100 nb_sec=2706 case_no=137 label=Case6.125 nb_sol=0 ticks=318339 tps=100 nb_sec=3183 case_no=137 label=Case6.125 nb_sol=0 ticks=271523 tps=100 nb_sec=2715 case_no=137 label=Case6.125 nb_sol=0 ticks=219712 tps=100 nb_sec=2197 case_no=137 label=Case6.125 nb_sol=0 ticks=322972 tps=100 nb_sec=3229 case_no=137 label=Case6.125 nb_sol=0 ticks=297289 tps=100 nb_sec=2972 case_no=137 label=Case6.125 nb_sol=0 ticks=300690 tps=100 nb_sec=3006 case_no=137 label=Case6.125 nb_sol=0 ticks=196502 tps=100 nb_sec=1965 case_no=137 label=Case6.125 nb_sol=0 ticks=356153 tps=100 nb_sec=3561 case_no=137 label=Case6.125 nb_sol=0 ticks=267293 tps=100 nb_sec=2672 case_no=137 label=Case6.125 nb_sol=0 ticks=307290 tps=100 nb_sec=3072 case_no=137 label=Case6.125 nb_sol=0 ticks=310432 tps=100 nb_sec=3104 case_no=137 label=Case6.125 nb_sol=0 ticks=419341 tps=100 nb_sec=4193 case_no=137 label=Case6.125 nb_sol=0 ticks=415240 tps=100 nb_sec=4152 case_no=137 label=Case6.125 nb_sol=0 ticks=430089 tps=100 nb_sec=4300 case_no=137 label=Case6.125 nb_sol=0 ticks=434025 tps=100 nb_sec=4340 case_no=137 label=Case6.125 nb_sol=0 ticks=201164 tps=100 nb_sec=2011 case_no=137 label=Case6.125 nb_sol=0 ticks=256739 tps=100 nb_sec=2567 case_no=137 label=Case6.125 nb_sol=0 ticks=191568 tps=100 nb_sec=1915 case_no=137 label=Case6.125 nb_sol=0 ticks=271042 tps=100 nb_sec=2710 case_no=137 label=Case6.125 nb_sol=0 ticks=362046 tps=100 nb_sec=3620 case_no=137 label=Case6.125 nb_sol=0 ticks=309109 tps=100 nb_sec=3091 case_no=137 label=Case6.125 nb_sol=0 ticks=497216 tps=100 nb_sec=4972 case_no=137 label=Case6.125 nb_sol=0 ticks=228034 tps=100 nb_sec=2280 case_no=137 label=Case6.125 nb_sol=0 ticks=375220 tps=100 nb_sec=3752 case_no=137 label=Case6.125 nb_sol=0 ticks=253282 tps=100 nb_sec=2532 case_no=137 label=Case6.125 nb_sol=0 ticks=210250 tps=100 nb_sec=2102 case_no=137 label=Case6.125 nb_sol=0 ticks=289342 tps=100 nb_sec=2893 case_no=137 label=Case6.125 nb_sol=0 ticks=276691 tps=100 nb_sec=2766 case_no=137 label=Case6.125 nb_sol=0 ticks=312764 tps=100 nb_sec=3127 case_no=137 label=Case6.125 nb_sol=0 ticks=141746 tps=100 nb_sec=1417 case_no=137 label=Case6.125 nb_sol=0 ticks=417557 tps=100 nb_sec=4175 case_no=137 label=Case6.125 nb_sol=0 ticks=157279 tps=100 nb_sec=1572 case_no=137 label=Case6.125 nb_sol=0 ticks=194224 tps=100 nb_sec=1942 case_no=137 label=Case6.125 nb_sol=0 ticks=403167 tps=100 nb_sec=4031 case_no=137 label=Case6.125 nb_sol=0 ticks=354485 tps=100 nb_sec=3544 case_no=137 label=Case6.125 nb_sol=0 ticks=226767 tps=100 nb_sec=2267 case_no=137 label=Case6.125 nb_sol=0 ticks=493007 tps=100 nb_sec=4930 case_no=137 label=Case6.125 nb_sol=0 ticks=220325 tps=100 nb_sec=2203 case_no=137 label=Case6.125 nb_sol=0 ticks=146279 tps=100 nb_sec=1462 case_no=137 label=Case6.125 nb_sol=0 ticks=240884 tps=100 nb_sec=2408 case_no=137 label=Case6.125 nb_sol=0 ticks=221718 tps=100 nb_sec=2217 case_no=137 label=Case6.125 nb_sol=0 ticks=409288 tps=100 nb_sec=4092 case_no=137 label=Case6.125 nb_sol=0 ticks=351892 tps=100 nb_sec=3518 case_no=137 label=Case6.125 nb_sol=0 ticks=409499 tps=100 nb_sec=4094 case_no=137 label=Case6.125 nb_sol=0 ticks=505128 tps=100 nb_sec=5051 case_no=137 label=Case6.125 nb_sol=0 ticks=293213 tps=100 nb_sec=2932 case_no=137 label=Case6.125 nb_sol=0 ticks=430497 tps=100 nb_sec=4304 case_no=137 label=Case6.125 nb_sol=0 ticks=273266 tps=100 nb_sec=2732 case_no=137 label=Case6.125 nb_sol=0 ticks=384388 tps=100 nb_sec=3843 case_no=137 label=Case6.125 nb_sol=0 ticks=379153 tps=100 nb_sec=3791 case_no=137 label=Case6.125 nb_sol=0 ticks=296090 tps=100 nb_sec=2960 case_no=137 label=Case6.125 nb_sol=0 ticks=466345 tps=100 nb_sec=4663 case_no=137 label=Case6.125 nb_sol=0 ticks=163033 tps=100 nb_sec=1630 case_no=137 label=Case6.125 nb_sol=0 ticks=538621 tps=100 nb_sec=5386 case_no=137 label=Case6.125 nb_sol=0 ticks=254170 tps=100 nb_sec=2541 case_no=137 label=Case6.125 nb_sol=0 ticks=224598 tps=100 nb_sec=2245 case_no=137 label=Case6.125 nb_sol=0 ticks=469463 tps=100 nb_sec=4694 case_no=137 label=Case6.125 nb_sol=0 ticks=495598 tps=100 nb_sec=4955 case_no=137 label=Case6.125 nb_sol=0 ticks=334756 tps=100 nb_sec=3347 case_no=137 label=Case6.125 nb_sol=0 ticks=344066 tps=100 nb_sec=3440 case_no=137 label=Case6.125 nb_sol=0 ticks=351067 tps=100 nb_sec=3510 case_no=137 label=Case6.125 nb_sol=0 ticks=197734 tps=100 nb_sec=1977 case_no=137 label=Case6.125 nb_sol=0 ticks=303483 tps=100 nb_sec=3034 case_no=137 label=Case6.125 nb_sol=0 ticks=248381 tps=100 nb_sec=2483 case_no=137 label=Case6.125 nb_sol=0 ticks=404309 tps=100 nb_sec=4043 case_no=137 label=Case6.125 nb_sol=0 ticks=288468 tps=100 nb_sec=2884 case_no=137 label=Case6.125 nb_sol=0 ticks=219243 tps=100 nb_sec=2192 case_no=137 label=Case6.125 nb_sol=0 ticks=311590 tps=100 nb_sec=3115 case_no=137 label=Case6.125 nb_sol=0 ticks=321717 tps=100 nb_sec=3217 case_no=137 label=Case6.125 nb_sol=0 ticks=346520 tps=100 nb_sec=3465 case_no=137 label=Case6.125 nb_sol=0 ticks=319095 tps=100 nb_sec=3190 case_no=137 label=Case6.125 nb_sol=0 ticks=369706 tps=100 nb_sec=3697 case_no=137 label=Case6.125 nb_sol=0 ticks=176839 tps=100 nb_sec=1768 case_no=137 label=Case6.125 nb_sol=0 ticks=405590 tps=100 nb_sec=4055 case_no=137 label=Case6.125 nb_sol=0 ticks=387701 tps=100 nb_sec=3877 case_no=137 label=Case6.125 nb_sol=0 ticks=201457 tps=100 nb_sec=2014 case_no=137 label=Case6.125 nb_sol=0 ticks=396345 tps=100 nb_sec=3963 case_no=137 label=Case6.125 nb_sol=0 ticks=589896 tps=100 nb_sec=5898 case_no=137 label=Case6.125 nb_sol=0 ticks=482669 tps=100 nb_sec=4826 case_no=137 label=Case6.125 nb_sol=0 ticks=489326 tps=100 nb_sec=4893 case_no=137 label=Case6.125 nb_sol=0 ticks=452066 tps=100 nb_sec=4520 case_no=137 label=Case6.125 nb_sol=0 ticks=374252 tps=100 nb_sec=3742 case_no=137 label=Case6.125 nb_sol=0 ticks=420724 tps=100 nb_sec=4207 case_no=137 label=Case6.125 nb_sol=0 ticks=215835 tps=100 nb_sec=2158 case_no=137 label=Case6.125 nb_sol=0 ticks=458766 tps=100 nb_sec=4587 case_no=137 label=Case6.125 nb_sol=0 ticks=468584 tps=100 nb_sec=4685 case_no=137 label=Case6.125 nb_sol=0 ticks=286760 tps=100 nb_sec=2867 case_no=137 label=Case6.125 nb_sol=0 ticks=500822 tps=100 nb_sec=5008 case_no=137 label=Case6.125 nb_sol=0 ticks=374453 tps=100 nb_sec=3744 case_no=137 label=Case6.125 nb_sol=0 ticks=294890 tps=100 nb_sec=2948 case_no=137 label=Case6.125 nb_sol=0 ticks=377121 tps=100 nb_sec=3771 case_no=137 label=Case6.125 nb_sol=0 ticks=396504 tps=100 nb_sec=3965 case_no=137 label=Case6.125 nb_sol=0 ticks=393506 tps=100 nb_sec=3935 case_no=137 label=Case6.125 nb_sol=0 ticks=286060 tps=100 nb_sec=2860 case_no=137 label=Case6.125 nb_sol=0 ticks=310142 tps=100 nb_sec=3101 case_no=137 label=Case6.125 nb_sol=0 ticks=474728 tps=100 nb_sec=4747 case_no=137 label=Case6.125 nb_sol=0 ticks=247994 tps=100 nb_sec=2479 case_no=137 label=Case6.125 nb_sol=0 ticks=150757 tps=100 nb_sec=1507 case_no=137 label=Case6.125 nb_sol=0 ticks=570181 tps=100 nb_sec=5701 case_no=137 label=Case6.125 nb_sol=0 ticks=162202 tps=100 nb_sec=1622 case_no=137 label=Case6.125 nb_sol=0 ticks=526375 tps=100 nb_sec=5263 case_no=137 label=Case6.125 nb_sol=0 ticks=274237 tps=100 nb_sec=2742 case_no=137 label=Case6.125 nb_sol=0 ticks=170808 tps=100 nb_sec=1708 case_no=137 label=Case6.125 nb_sol=0 ticks=455114 tps=100 nb_sec=4551 case_no=137 label=Case6.125 nb_sol=0 ticks=179647 tps=100 nb_sec=1796 case_no=137 label=Case6.125 nb_sol=0 ticks=647049 tps=100 nb_sec=6470 case_no=137 label=Case6.125 nb_sol=0 ticks=199793 tps=100 nb_sec=1997 case_no=137 label=Case6.125 nb_sol=0 ticks=473094 tps=100 nb_sec=4730 case_no=137 label=Case6.125 nb_sol=0 ticks=204913 tps=100 nb_sec=2049 case_no=137 label=Case6.125 nb_sol=0 ticks=186358 tps=100 nb_sec=1863 case_no=137 label=Case6.125 nb_sol=0 ticks=180455 tps=100 nb_sec=1804 case_no=137 label=Case6.125 nb_sol=0 ticks=364950 tps=100 nb_sec=3649 case_no=137 label=Case6.125 nb_sol=0 ticks=479215 tps=100 nb_sec=4792 case_no=137 label=Case6.125 nb_sol=0 ticks=371552 tps=100 nb_sec=3715 case_no=137 label=Case6.125 nb_sol=0 ticks=398470 tps=100 nb_sec=3984 case_no=137 label=Case6.125 nb_sol=0 ticks=328337 tps=100 nb_sec=3283 case_no=137 label=Case6.125 nb_sol=0 ticks=391711 tps=100 nb_sec=3917 case_no=137 label=Case6.125 nb_sol=0 ticks=619872 tps=100 nb_sec=6198 case_no=137 label=Case6.125 nb_sol=0 ticks=263430 tps=100 nb_sec=2634 case_no=137 label=Case6.125 nb_sol=0 ticks=318128 tps=100 nb_sec=3181 case_no=137 label=Case6.125 nb_sol=0 ticks=330427 tps=100 nb_sec=3304 case_no=137 label=Case6.125 nb_sol=0 ticks=317936 tps=100 nb_sec=3179 case_no=137 label=Case6.125 nb_sol=0 ticks=328632 tps=100 nb_sec=3286 case_no=137 label=Case6.125 nb_sol=0 ticks=262774 tps=100 nb_sec=2627 case_no=137 label=Case6.125 nb_sol=0 ticks=191428 tps=100 nb_sec=1914 case_no=137 label=Case6.125 nb_sol=0 ticks=615116 tps=100 nb_sec=6151 case_no=137 label=Case6.125 nb_sol=0 ticks=323953 tps=100 nb_sec=3239 case_no=137 label=Case6.125 nb_sol=0 ticks=226241 tps=100 nb_sec=2262 case_no=137 label=Case6.125 nb_sol=0 ticks=287425 tps=100 nb_sec=2874 case_no=137 label=Case6.125 nb_sol=0 ticks=320111 tps=100 nb_sec=3201 case_no=137 label=Case6.125 nb_sol=0 ticks=415313 tps=100 nb_sec=4153 case_no=137 label=Case6.125 nb_sol=0 ticks=332508 tps=100 nb_sec=3325 case_no=137 label=Case6.125 nb_sol=0 ticks=348972 tps=100 nb_sec=3489 case_no=137 label=Case6.125 nb_sol=0 ticks=191942 tps=100 nb_sec=1919 case_no=137 label=Case6.125 nb_sol=0 ticks=341000 tps=100 nb_sec=3410 case_no=137 label=Case6.125 nb_sol=0 ticks=151268 tps=100 nb_sec=1512 case_no=137 label=Case6.125 nb_sol=0 ticks=306691 tps=100 nb_sec=3066 case_no=137 label=Case6.125 nb_sol=0 ticks=171379 tps=100 nb_sec=1713 case_no=137 label=Case6.125 nb_sol=0 ticks=270890 tps=100 nb_sec=2708 case_no=137 label=Case6.125 nb_sol=0 ticks=295726 tps=100 nb_sec=2957 case_no=137 label=Case6.125 nb_sol=0 ticks=317063 tps=100 nb_sec=3170 case_no=137 label=Case6.125 nb_sol=0 ticks=245220 tps=100 nb_sec=2452 case_no=137 label=Case6.125 nb_sol=0 ticks=340538 tps=100 nb_sec=3405 case_no=137 label=Case6.125 nb_sol=0 ticks=176027 tps=100 nb_sec=1760 case_no=137 label=Case6.125 nb_sol=0 ticks=449755 tps=100 nb_sec=4497 case_no=137 label=Case6.125 nb_sol=0 ticks=148604 tps=100 nb_sec=1486 case_no=137 label=Case6.125 nb_sol=0 ticks=248787 tps=100 nb_sec=2487 case_no=137 label=Case6.125 nb_sol=0 ticks=298202 tps=100 nb_sec=2982 case_no=137 label=Case6.125 nb_sol=0 ticks=156401 tps=100 nb_sec=1564 case_no=137 label=Case6.125 nb_sol=0 ticks=324433 tps=100 nb_sec=3244 case_no=137 label=Case6.125 nb_sol=0 ticks=339448 tps=100 nb_sec=3394 case_no=137 label=Case6.125 nb_sol=0 ticks=139283 tps=100 nb_sec=1392 case_no=137 label=Case6.125 nb_sol=0 ticks=142532 tps=100 nb_sec=1425 case_no=137 label=Case6.125 nb_sol=0 ticks=134616 tps=100 nb_sec=1346 case_no=137 label=Case6.125 nb_sol=0 ticks=468915 tps=100 nb_sec=4689 case_no=137 label=Case6.125 nb_sol=0 ticks=340908 tps=100 nb_sec=3409 case_no=137 label=Case6.125 nb_sol=0 ticks=175598 tps=100 nb_sec=1755 case_no=137 label=Case6.125 nb_sol=0 ticks=155314 tps=100 nb_sec=1553 case_no=137 label=Case6.125 nb_sol=0 ticks=352298 tps=100 nb_sec=3522 case_no=137 label=Case6.125 nb_sol=0 ticks=327062 tps=100 nb_sec=3270 case_no=137 label=Case6.125 nb_sol=0 ticks=213280 tps=100 nb_sec=2132 case_no=137 label=Case6.125 nb_sol=0 ticks=295440 tps=100 nb_sec=2954 case_no=137 label=Case6.125 nb_sol=0 ticks=377819 tps=100 nb_sec=3778 case_no=137 label=Case6.125 nb_sol=0 ticks=289416 tps=100 nb_sec=2894 case_no=137 label=Case6.125 nb_sol=0 ticks=219126 tps=100 nb_sec=2191 case_no=137 label=Case6.125 nb_sol=0 ticks=343026 tps=100 nb_sec=3430 case_no=137 label=Case6.125 nb_sol=0 ticks=240581 tps=100 nb_sec=2405 case_no=137 label=Case6.125 nb_sol=0 ticks=256446 tps=100 nb_sec=2564 case_no=137 label=Case6.125 nb_sol=0 ticks=240911 tps=100 nb_sec=2409 case_no=137 label=Case6.125 nb_sol=0 ticks=356416 tps=100 nb_sec=3564 case_no=137 label=Case6.125 nb_sol=0 ticks=285667 tps=100 nb_sec=2856 case_no=137 label=Case6.125 nb_sol=0 ticks=278010 tps=100 nb_sec=2780 case_no=137 label=Case6.125 nb_sol=0 ticks=342588 tps=100 nb_sec=3425 case_no=137 label=Case6.125 nb_sol=0 ticks=248102 tps=100 nb_sec=2481 case_no=137 label=Case6.125 nb_sol=0 ticks=196256 tps=100 nb_sec=1962 case_no=137 label=Case6.125 nb_sol=0 ticks=314314 tps=100 nb_sec=3143 case_no=137 label=Case6.125 nb_sol=0 ticks=209477 tps=100 nb_sec=2094 case_no=137 label=Case6.125 nb_sol=0 ticks=558999 tps=100 nb_sec=5589 case_no=137 label=Case6.125 nb_sol=0 ticks=248865 tps=100 nb_sec=2488 case_no=137 label=Case6.125 nb_sol=0 ticks=289351 tps=100 nb_sec=2893 case_no=137 label=Case6.125 nb_sol=0 ticks=243129 tps=100 nb_sec=2431 case_no=137 label=Case6.125 nb_sol=0 ticks=327127 tps=100 nb_sec=3271 case_no=137 label=Case6.125 nb_sol=0 ticks=305134 tps=100 nb_sec=3051 case_no=137 label=Case6.125 nb_sol=0 ticks=148801 tps=100 nb_sec=1488 case_no=137 label=Case6.125 nb_sol=0 ticks=344154 tps=100 nb_sec=3441 case_no=137 label=Case6.125 nb_sol=0 ticks=355158 tps=100 nb_sec=3551 case_no=137 label=Case6.125 nb_sol=0 ticks=406563 tps=100 nb_sec=4065 case_no=137 label=Case6.125 nb_sol=0 ticks=255392 tps=100 nb_sec=2553 case_no=137 label=Case6.125 nb_sol=0 ticks=320372 tps=100 nb_sec=3203 case_no=137 label=Case6.125 nb_sol=0 ticks=188140 tps=100 nb_sec=1881 case_no=137 label=Case6.125 nb_sol=0 ticks=332421 tps=100 nb_sec=3324 case_no=137 label=Case6.125 nb_sol=0 ticks=231301 tps=100 nb_sec=2313 case_no=137 label=Case6.125 nb_sol=0 ticks=181165 tps=100 nb_sec=1811 case_no=137 label=Case6.125 nb_sol=0 ticks=104618 tps=100 nb_sec=1046 case_no=137 label=Case6.125 nb_sol=0 ticks=444979 tps=100 nb_sec=4449 case_no=137 label=Case6.125 nb_sol=0 ticks=393133 tps=100 nb_sec=3931 case_no=137 label=Case6.125 nb_sol=0 ticks=161835 tps=100 nb_sec=1618 case_no=137 label=Case6.125 nb_sol=0 ticks=229266 tps=100 nb_sec=2292 case_no=137 label=Case6.125 nb_sol=0 ticks=355578 tps=100 nb_sec=3555 case_no=137 label=Case6.125 nb_sol=0 ticks=262690 tps=100 nb_sec=2626 case_no=137 label=Case6.125 nb_sol=0 ticks=341105 tps=100 nb_sec=3411 case_no=137 label=Case6.125 nb_sol=0 ticks=154585 tps=100 nb_sec=1545 case_no=137 label=Case6.125 nb_sol=0 ticks=350751 tps=100 nb_sec=3507 case_no=137 label=Case6.125 nb_sol=0 ticks=156197 tps=100 nb_sec=1561 case_no=137 label=Case6.125 nb_sol=0 ticks=338157 tps=100 nb_sec=3381 case_no=137 label=Case6.125 nb_sol=0 ticks=230612 tps=100 nb_sec=2306 case_no=137 label=Case6.125 nb_sol=0 ticks=379544 tps=100 nb_sec=3795 case_no=137 label=Case6.125 nb_sol=0 ticks=319034 tps=100 nb_sec=3190 case_no=137 label=Case6.125 nb_sol=0 ticks=332307 tps=100 nb_sec=3323 case_no=137 label=Case6.125 nb_sol=0 ticks=246296 tps=100 nb_sec=2462 case_no=137 label=Case6.125 nb_sol=0 ticks=400912 tps=100 nb_sec=4009 case_no=137 label=Case6.125 nb_sol=0 ticks=445455 tps=100 nb_sec=4454 case_no=137 label=Case6.125 nb_sol=0 ticks=228383 tps=100 nb_sec=2283 case_no=137 label=Case6.125 nb_sol=0 ticks=180956 tps=100 nb_sec=1809 case_no=137 label=Case6.125 nb_sol=0 ticks=325609 tps=100 nb_sec=3256 case_no=137 label=Case6.125 nb_sol=0 ticks=169819 tps=100 nb_sec=1698 case_no=137 label=Case6.125 nb_sol=0 ticks=249594 tps=100 nb_sec=2495 case_no=137 label=Case6.125 nb_sol=0 ticks=281272 tps=100 nb_sec=2812 case_no=137 label=Case6.125 nb_sol=0 ticks=231142 tps=100 nb_sec=2311 case_no=137 label=Case6.125 nb_sol=0 ticks=427916 tps=100 nb_sec=4279 case_no=137 label=Case6.125 nb_sol=0 ticks=214078 tps=100 nb_sec=2140 case_no=137 label=Case6.125 nb_sol=0 ticks=382024 tps=100 nb_sec=3820 case_no=137 label=Case6.125 nb_sol=0 ticks=386067 tps=100 nb_sec=3860 case_no=137 label=Case6.125 nb_sol=0 ticks=413922 tps=100 nb_sec=4139 case_no=137 label=Case6.125 nb_sol=0 ticks=369728 tps=100 nb_sec=3697 case_no=137 label=Case6.125 nb_sol=0 ticks=411575 tps=100 nb_sec=4115 case_no=137 label=Case6.125 nb_sol=0 ticks=374850 tps=100 nb_sec=3748 case_no=137 label=Case6.125 nb_sol=0 ticks=497277 tps=100 nb_sec=4972 case_no=137 label=Case6.125 nb_sol=0 ticks=237914 tps=100 nb_sec=2379 case_no=137 label=Case6.125 nb_sol=0 ticks=272212 tps=100 nb_sec=2722 case_no=137 label=Case6.125 nb_sol=0 ticks=313926 tps=100 nb_sec=3139 case_no=137 label=Case6.125 nb_sol=0 ticks=427408 tps=100 nb_sec=4274 case_no=137 label=Case6.125 nb_sol=0 ticks=426485 tps=100 nb_sec=4264 case_no=137 label=Case6.125 nb_sol=0 ticks=315884 tps=100 nb_sec=3158 case_no=137 label=Case6.125 nb_sol=0 ticks=334812 tps=100 nb_sec=3348 case_no=137 label=Case6.125 nb_sol=0 ticks=261143 tps=100 nb_sec=2611 case_no=137 label=Case6.125 nb_sol=0 ticks=315770 tps=100 nb_sec=3157 case_no=137 label=Case6.125 nb_sol=0 ticks=328948 tps=100 nb_sec=3289 case_no=137 label=Case6.125 nb_sol=0 ticks=250475 tps=100 nb_sec=2504 case_no=137 label=Case6.125 nb_sol=0 ticks=350414 tps=100 nb_sec=3504 case_no=137 label=Case6.125 nb_sol=0 ticks=330446 tps=100 nb_sec=3304 case_no=137 label=Case6.125 nb_sol=0 ticks=580440 tps=100 nb_sec=5804 case_no=137 label=Case6.125 nb_sol=0 ticks=284505 tps=100 nb_sec=2845 case_no=137 label=Case6.125 nb_sol=0 ticks=351124 tps=100 nb_sec=3511 case_no=137 label=Case6.125 nb_sol=0 ticks=350094 tps=100 nb_sec=3500 case_no=137 label=Case6.125 nb_sol=0 ticks=310331 tps=100 nb_sec=3103 case_no=137 label=Case6.125 nb_sol=0 ticks=286039 tps=100 nb_sec=2860 case_no=137 label=Case6.125 nb_sol=0 ticks=533388 tps=100 nb_sec=5333 case_no=137 label=Case6.125 nb_sol=0 ticks=542388 tps=100 nb_sec=5423 case_no=137 label=Case6.125 nb_sol=0 ticks=505729 tps=100 nb_sec=5057 case_no=137 label=Case6.125 nb_sol=0 ticks=398081 tps=100 nb_sec=3980 case_no=137 label=Case6.125 nb_sol=0 ticks=482817 tps=100 nb_sec=4828 case_no=137 label=Case6.125 nb_sol=0 ticks=334134 tps=100 nb_sec=3341 case_no=137 label=Case6.125 nb_sol=0 ticks=526967 tps=100 nb_sec=5269 case_no=137 label=Case6.125 nb_sol=0 ticks=386136 tps=100 nb_sec=3861 case_no=137 label=Case6.125 nb_sol=0 ticks=221908 tps=100 nb_sec=2219 case_no=137 label=Case6.125 nb_sol=0 ticks=332342 tps=100 nb_sec=3323 case_no=137 label=Case6.125 nb_sol=0 ticks=373408 tps=100 nb_sec=3734 case_no=137 label=Case6.125 nb_sol=0 ticks=308788 tps=100 nb_sec=3087 case_no=137 label=Case6.125 nb_sol=0 ticks=312269 tps=100 nb_sec=3122 case_no=137 label=Case6.125 nb_sol=0 ticks=330597 tps=100 nb_sec=3305 case_no=137 label=Case6.125 nb_sol=0 ticks=318109 tps=100 nb_sec=3181 case_no=137 label=Case6.125 nb_sol=0 ticks=295386 tps=100 nb_sec=2953 Nb_sol=0 Nb_sec=3509552 40-14:52:32 or 974 hours missing cases: none