argc=5 -M 1024 file2=30_select_Case6.132_starter_15_ checking files mod 1024 from 0 to 1023 case_no=144 label=Case6.132 nb_sol=0 ticks=313804 tps=100 nb_sec=3138 case_no=144 label=Case6.132 nb_sol=0 ticks=590032 tps=100 nb_sec=5900 case_no=144 label=Case6.132 nb_sol=0 ticks=715358 tps=100 nb_sec=7153 case_no=144 label=Case6.132 nb_sol=0 ticks=584065 tps=100 nb_sec=5840 case_no=144 label=Case6.132 nb_sol=0 ticks=555075 tps=100 nb_sec=5550 case_no=144 label=Case6.132 nb_sol=0 ticks=475328 tps=100 nb_sec=4753 case_no=144 label=Case6.132 nb_sol=0 ticks=661997 tps=100 nb_sec=6619 case_no=144 label=Case6.132 nb_sol=0 ticks=267982 tps=100 nb_sec=2679 case_no=144 label=Case6.132 nb_sol=0 ticks=339381 tps=100 nb_sec=3393 case_no=144 label=Case6.132 nb_sol=0 ticks=562144 tps=100 nb_sec=5621 case_no=144 label=Case6.132 nb_sol=0 ticks=260902 tps=100 nb_sec=2609 case_no=144 label=Case6.132 nb_sol=0 ticks=535164 tps=100 nb_sec=5351 case_no=144 label=Case6.132 nb_sol=0 ticks=800710 tps=100 nb_sec=8007 case_no=144 label=Case6.132 nb_sol=0 ticks=300710 tps=100 nb_sec=3007 case_no=144 label=Case6.132 nb_sol=0 ticks=485149 tps=100 nb_sec=4851 case_no=144 label=Case6.132 nb_sol=0 ticks=975028 tps=100 nb_sec=9750 case_no=144 label=Case6.132 nb_sol=0 ticks=379716 tps=100 nb_sec=3797 case_no=144 label=Case6.132 nb_sol=0 ticks=335219 tps=100 nb_sec=3352 case_no=144 label=Case6.132 nb_sol=0 ticks=963825 tps=100 nb_sec=9638 case_no=144 label=Case6.132 nb_sol=0 ticks=681493 tps=100 nb_sec=6814 case_no=144 label=Case6.132 nb_sol=0 ticks=324017 tps=100 nb_sec=3240 case_no=144 label=Case6.132 nb_sol=0 ticks=671375 tps=100 nb_sec=6713 case_no=144 label=Case6.132 nb_sol=0 ticks=303757 tps=100 nb_sec=3037 case_no=144 label=Case6.132 nb_sol=0 ticks=1064524 tps=100 nb_sec=10645 case_no=144 label=Case6.132 nb_sol=0 ticks=275118 tps=100 nb_sec=2751 case_no=144 label=Case6.132 nb_sol=0 ticks=877516 tps=100 nb_sec=8775 case_no=144 label=Case6.132 nb_sol=0 ticks=906644 tps=100 nb_sec=9066 case_no=144 label=Case6.132 nb_sol=0 ticks=492489 tps=100 nb_sec=4924 case_no=144 label=Case6.132 nb_sol=0 ticks=735984 tps=100 nb_sec=7359 case_no=144 label=Case6.132 nb_sol=0 ticks=970481 tps=100 nb_sec=9704 case_no=144 label=Case6.132 nb_sol=0 ticks=248895 tps=100 nb_sec=2488 case_no=144 label=Case6.132 nb_sol=0 ticks=556087 tps=100 nb_sec=5560 case_no=144 label=Case6.132 nb_sol=0 ticks=768094 tps=100 nb_sec=7680 case_no=144 label=Case6.132 nb_sol=0 ticks=257813 tps=100 nb_sec=2578 case_no=144 label=Case6.132 nb_sol=0 ticks=725393 tps=100 nb_sec=7253 case_no=144 label=Case6.132 nb_sol=0 ticks=280649 tps=100 nb_sec=2806 case_no=144 label=Case6.132 nb_sol=0 ticks=724859 tps=100 nb_sec=7248 case_no=144 label=Case6.132 nb_sol=0 ticks=791798 tps=100 nb_sec=7917 case_no=144 label=Case6.132 nb_sol=0 ticks=307950 tps=100 nb_sec=3079 case_no=144 label=Case6.132 nb_sol=0 ticks=997678 tps=100 nb_sec=9976 case_no=144 label=Case6.132 nb_sol=0 ticks=656590 tps=100 nb_sec=6565 case_no=144 label=Case6.132 nb_sol=0 ticks=668332 tps=100 nb_sec=6683 case_no=144 label=Case6.132 nb_sol=0 ticks=561183 tps=100 nb_sec=5611 case_no=144 label=Case6.132 nb_sol=0 ticks=829443 tps=100 nb_sec=8294 case_no=144 label=Case6.132 nb_sol=0 ticks=757268 tps=100 nb_sec=7572 case_no=144 label=Case6.132 nb_sol=0 ticks=1139639 tps=100 nb_sec=11396 case_no=144 label=Case6.132 nb_sol=0 ticks=757548 tps=100 nb_sec=7575 case_no=144 label=Case6.132 nb_sol=0 ticks=688463 tps=100 nb_sec=6884 case_no=144 label=Case6.132 nb_sol=0 ticks=793293 tps=100 nb_sec=7932 case_no=144 label=Case6.132 nb_sol=0 ticks=961820 tps=100 nb_sec=9618 case_no=144 label=Case6.132 nb_sol=0 ticks=816345 tps=100 nb_sec=8163 case_no=144 label=Case6.132 nb_sol=0 ticks=732653 tps=100 nb_sec=7326 case_no=144 label=Case6.132 nb_sol=0 ticks=650828 tps=100 nb_sec=6508 case_no=144 label=Case6.132 nb_sol=0 ticks=538756 tps=100 nb_sec=5387 case_no=144 label=Case6.132 nb_sol=0 ticks=468875 tps=100 nb_sec=4688 case_no=144 label=Case6.132 nb_sol=0 ticks=812357 tps=100 nb_sec=8123 case_no=144 label=Case6.132 nb_sol=0 ticks=542215 tps=100 nb_sec=5422 case_no=144 label=Case6.132 nb_sol=0 ticks=344458 tps=100 nb_sec=3444 case_no=144 label=Case6.132 nb_sol=0 ticks=613302 tps=100 nb_sec=6133 case_no=144 label=Case6.132 nb_sol=0 ticks=1455498 tps=100 nb_sec=14554 case_no=144 label=Case6.132 nb_sol=0 ticks=949310 tps=100 nb_sec=9493 case_no=144 label=Case6.132 nb_sol=0 ticks=383403 tps=100 nb_sec=3834 case_no=144 label=Case6.132 nb_sol=0 ticks=837337 tps=100 nb_sec=8373 case_no=144 label=Case6.132 nb_sol=0 ticks=766114 tps=100 nb_sec=7661 case_no=144 label=Case6.132 nb_sol=0 ticks=768511 tps=100 nb_sec=7685 case_no=144 label=Case6.132 nb_sol=0 ticks=296121 tps=100 nb_sec=2961 case_no=144 label=Case6.132 nb_sol=0 ticks=581220 tps=100 nb_sec=5812 case_no=144 label=Case6.132 nb_sol=0 ticks=501186 tps=100 nb_sec=5011 case_no=144 label=Case6.132 nb_sol=0 ticks=586093 tps=100 nb_sec=5860 case_no=144 label=Case6.132 nb_sol=0 ticks=626429 tps=100 nb_sec=6264 case_no=144 label=Case6.132 nb_sol=0 ticks=549652 tps=100 nb_sec=5496 case_no=144 label=Case6.132 nb_sol=0 ticks=838408 tps=100 nb_sec=8384 case_no=144 label=Case6.132 nb_sol=0 ticks=644890 tps=100 nb_sec=6448 case_no=144 label=Case6.132 nb_sol=0 ticks=709942 tps=100 nb_sec=7099 case_no=144 label=Case6.132 nb_sol=0 ticks=476531 tps=100 nb_sec=4765 case_no=144 label=Case6.132 nb_sol=0 ticks=852626 tps=100 nb_sec=8526 case_no=144 label=Case6.132 nb_sol=0 ticks=1025672 tps=100 nb_sec=10256 case_no=144 label=Case6.132 nb_sol=0 ticks=1033117 tps=100 nb_sec=10331 case_no=144 label=Case6.132 nb_sol=0 ticks=514591 tps=100 nb_sec=5145 case_no=144 label=Case6.132 nb_sol=0 ticks=297615 tps=100 nb_sec=2976 case_no=144 label=Case6.132 nb_sol=0 ticks=401470 tps=100 nb_sec=4014 case_no=144 label=Case6.132 nb_sol=0 ticks=352514 tps=100 nb_sec=3525 case_no=144 label=Case6.132 nb_sol=0 ticks=223567 tps=100 nb_sec=2235 case_no=144 label=Case6.132 nb_sol=0 ticks=631435 tps=100 nb_sec=6314 case_no=144 label=Case6.132 nb_sol=0 ticks=638276 tps=100 nb_sec=6382 case_no=144 label=Case6.132 nb_sol=0 ticks=845928 tps=100 nb_sec=8459 case_no=144 label=Case6.132 nb_sol=0 ticks=722369 tps=100 nb_sec=7223 case_no=144 label=Case6.132 nb_sol=0 ticks=893177 tps=100 nb_sec=8931 case_no=144 label=Case6.132 nb_sol=0 ticks=722876 tps=100 nb_sec=7228 case_no=144 label=Case6.132 nb_sol=0 ticks=879144 tps=100 nb_sec=8791 case_no=144 label=Case6.132 nb_sol=0 ticks=615475 tps=100 nb_sec=6154 case_no=144 label=Case6.132 nb_sol=0 ticks=805381 tps=100 nb_sec=8053 case_no=144 label=Case6.132 nb_sol=0 ticks=307686 tps=100 nb_sec=3076 case_no=144 label=Case6.132 nb_sol=0 ticks=446660 tps=100 nb_sec=4466 case_no=144 label=Case6.132 nb_sol=0 ticks=688662 tps=100 nb_sec=6886 case_no=144 label=Case6.132 nb_sol=0 ticks=234738 tps=100 nb_sec=2347 case_no=144 label=Case6.132 nb_sol=0 ticks=499817 tps=100 nb_sec=4998 case_no=144 label=Case6.132 nb_sol=0 ticks=1015188 tps=100 nb_sec=10151 case_no=144 label=Case6.132 nb_sol=0 ticks=704209 tps=100 nb_sec=7042 case_no=144 label=Case6.132 nb_sol=0 ticks=311935 tps=100 nb_sec=3119 case_no=144 label=Case6.132 nb_sol=0 ticks=573222 tps=100 nb_sec=5732 case_no=144 label=Case6.132 nb_sol=0 ticks=610913 tps=100 nb_sec=6109 case_no=144 label=Case6.132 nb_sol=0 ticks=552848 tps=100 nb_sec=5528 case_no=144 label=Case6.132 nb_sol=0 ticks=475728 tps=100 nb_sec=4757 case_no=144 label=Case6.132 nb_sol=0 ticks=516189 tps=100 nb_sec=5161 case_no=144 label=Case6.132 nb_sol=0 ticks=816479 tps=100 nb_sec=8164 case_no=144 label=Case6.132 nb_sol=0 ticks=491236 tps=100 nb_sec=4912 case_no=144 label=Case6.132 nb_sol=0 ticks=721245 tps=100 nb_sec=7212 case_no=144 label=Case6.132 nb_sol=0 ticks=802541 tps=100 nb_sec=8025 case_no=144 label=Case6.132 nb_sol=0 ticks=805542 tps=100 nb_sec=8055 case_no=144 label=Case6.132 nb_sol=0 ticks=558278 tps=100 nb_sec=5582 case_no=144 label=Case6.132 nb_sol=0 ticks=528488 tps=100 nb_sec=5284 case_no=144 label=Case6.132 nb_sol=0 ticks=534310 tps=100 nb_sec=5343 case_no=144 label=Case6.132 nb_sol=0 ticks=986672 tps=100 nb_sec=9866 case_no=144 label=Case6.132 nb_sol=0 ticks=1078409 tps=100 nb_sec=10784 case_no=144 label=Case6.132 nb_sol=0 ticks=642973 tps=100 nb_sec=6429 case_no=144 label=Case6.132 nb_sol=0 ticks=661617 tps=100 nb_sec=6616 case_no=144 label=Case6.132 nb_sol=0 ticks=812363 tps=100 nb_sec=8123 case_no=144 label=Case6.132 nb_sol=0 ticks=441259 tps=100 nb_sec=4412 case_no=144 label=Case6.132 nb_sol=0 ticks=483993 tps=100 nb_sec=4839 case_no=144 label=Case6.132 nb_sol=0 ticks=1039366 tps=100 nb_sec=10393 case_no=144 label=Case6.132 nb_sol=0 ticks=705138 tps=100 nb_sec=7051 case_no=144 label=Case6.132 nb_sol=0 ticks=550951 tps=100 nb_sec=5509 case_no=144 label=Case6.132 nb_sol=0 ticks=296547 tps=100 nb_sec=2965 case_no=144 label=Case6.132 nb_sol=0 ticks=286425 tps=100 nb_sec=2864 case_no=144 label=Case6.132 nb_sol=0 ticks=356871 tps=100 nb_sec=3568 case_no=144 label=Case6.132 nb_sol=0 ticks=462061 tps=100 nb_sec=4620 case_no=144 label=Case6.132 nb_sol=0 ticks=760780 tps=100 nb_sec=7607 case_no=144 label=Case6.132 nb_sol=0 ticks=746349 tps=100 nb_sec=7463 case_no=144 label=Case6.132 nb_sol=0 ticks=945967 tps=100 nb_sec=9459 case_no=144 label=Case6.132 nb_sol=0 ticks=606007 tps=100 nb_sec=6060 case_no=144 label=Case6.132 nb_sol=0 ticks=749823 tps=100 nb_sec=7498 case_no=144 label=Case6.132 nb_sol=0 ticks=718062 tps=100 nb_sec=7180 case_no=144 label=Case6.132 nb_sol=0 ticks=1061790 tps=100 nb_sec=10617 case_no=144 label=Case6.132 nb_sol=0 ticks=331654 tps=100 nb_sec=3316 case_no=144 label=Case6.132 nb_sol=0 ticks=630326 tps=100 nb_sec=6303 case_no=144 label=Case6.132 nb_sol=0 ticks=648039 tps=100 nb_sec=6480 case_no=144 label=Case6.132 nb_sol=0 ticks=557174 tps=100 nb_sec=5571 case_no=144 label=Case6.132 nb_sol=0 ticks=629491 tps=100 nb_sec=6294 case_no=144 label=Case6.132 nb_sol=0 ticks=1049630 tps=100 nb_sec=10496 case_no=144 label=Case6.132 nb_sol=0 ticks=423678 tps=100 nb_sec=4236 case_no=144 label=Case6.132 nb_sol=0 ticks=625800 tps=100 nb_sec=6258 case_no=144 label=Case6.132 nb_sol=0 ticks=628297 tps=100 nb_sec=6282 case_no=144 label=Case6.132 nb_sol=0 ticks=332655 tps=100 nb_sec=3326 case_no=144 label=Case6.132 nb_sol=0 ticks=364454 tps=100 nb_sec=3644 case_no=144 label=Case6.132 nb_sol=0 ticks=257311 tps=100 nb_sec=2573 case_no=144 label=Case6.132 nb_sol=0 ticks=261171 tps=100 nb_sec=2611 case_no=144 label=Case6.132 nb_sol=0 ticks=242185 tps=100 nb_sec=2421 case_no=144 label=Case6.132 nb_sol=0 ticks=492453 tps=100 nb_sec=4924 case_no=144 label=Case6.132 nb_sol=0 ticks=1071981 tps=100 nb_sec=10719 case_no=144 label=Case6.132 nb_sol=0 ticks=504476 tps=100 nb_sec=5044 case_no=144 label=Case6.132 nb_sol=0 ticks=842682 tps=100 nb_sec=8426 case_no=144 label=Case6.132 nb_sol=0 ticks=475968 tps=100 nb_sec=4759 case_no=144 label=Case6.132 nb_sol=0 ticks=678483 tps=100 nb_sec=6784 case_no=144 label=Case6.132 nb_sol=0 ticks=568464 tps=100 nb_sec=5684 case_no=144 label=Case6.132 nb_sol=0 ticks=271508 tps=100 nb_sec=2715 case_no=144 label=Case6.132 nb_sol=0 ticks=1214998 tps=100 nb_sec=12149 case_no=144 label=Case6.132 nb_sol=0 ticks=295942 tps=100 nb_sec=2959 case_no=144 label=Case6.132 nb_sol=0 ticks=534369 tps=100 nb_sec=5343 case_no=144 label=Case6.132 nb_sol=0 ticks=750686 tps=100 nb_sec=7506 case_no=144 label=Case6.132 nb_sol=0 ticks=562609 tps=100 nb_sec=5626 case_no=144 label=Case6.132 nb_sol=0 ticks=267645 tps=100 nb_sec=2676 case_no=144 label=Case6.132 nb_sol=0 ticks=650366 tps=100 nb_sec=6503 case_no=144 label=Case6.132 nb_sol=0 ticks=655105 tps=100 nb_sec=6551 case_no=144 label=Case6.132 nb_sol=0 ticks=610231 tps=100 nb_sec=6102 case_no=144 label=Case6.132 nb_sol=0 ticks=339050 tps=100 nb_sec=3390 case_no=144 label=Case6.132 nb_sol=0 ticks=1013081 tps=100 nb_sec=10130 case_no=144 label=Case6.132 nb_sol=0 ticks=618383 tps=100 nb_sec=6183 case_no=144 label=Case6.132 nb_sol=0 ticks=861881 tps=100 nb_sec=8618 case_no=144 label=Case6.132 nb_sol=0 ticks=544615 tps=100 nb_sec=5446 case_no=144 label=Case6.132 nb_sol=0 ticks=926019 tps=100 nb_sec=9260 case_no=144 label=Case6.132 nb_sol=0 ticks=518280 tps=100 nb_sec=5182 case_no=144 label=Case6.132 nb_sol=0 ticks=461790 tps=100 nb_sec=4617 case_no=144 label=Case6.132 nb_sol=0 ticks=689290 tps=100 nb_sec=6892 case_no=144 label=Case6.132 nb_sol=0 ticks=683941 tps=100 nb_sec=6839 case_no=144 label=Case6.132 nb_sol=0 ticks=1004166 tps=100 nb_sec=10041 case_no=144 label=Case6.132 nb_sol=0 ticks=546988 tps=100 nb_sec=5469 case_no=144 label=Case6.132 nb_sol=0 ticks=921450 tps=100 nb_sec=9214 case_no=144 label=Case6.132 nb_sol=0 ticks=559479 tps=100 nb_sec=5594 case_no=144 label=Case6.132 nb_sol=0 ticks=993087 tps=100 nb_sec=9930 case_no=144 label=Case6.132 nb_sol=0 ticks=518820 tps=100 nb_sec=5188 case_no=144 label=Case6.132 nb_sol=0 ticks=329091 tps=100 nb_sec=3290 case_no=144 label=Case6.132 nb_sol=0 ticks=518061 tps=100 nb_sec=5180 case_no=144 label=Case6.132 nb_sol=0 ticks=777760 tps=100 nb_sec=7777 case_no=144 label=Case6.132 nb_sol=0 ticks=568348 tps=100 nb_sec=5683 case_no=144 label=Case6.132 nb_sol=0 ticks=945990 tps=100 nb_sec=9459 case_no=144 label=Case6.132 nb_sol=0 ticks=381160 tps=100 nb_sec=3811 case_no=144 label=Case6.132 nb_sol=0 ticks=999242 tps=100 nb_sec=9992 case_no=144 label=Case6.132 nb_sol=0 ticks=485202 tps=100 nb_sec=4852 case_no=144 label=Case6.132 nb_sol=0 ticks=803459 tps=100 nb_sec=8034 case_no=144 label=Case6.132 nb_sol=0 ticks=304303 tps=100 nb_sec=3043 case_no=144 label=Case6.132 nb_sol=0 ticks=787060 tps=100 nb_sec=7870 case_no=144 label=Case6.132 nb_sol=0 ticks=661070 tps=100 nb_sec=6610 case_no=144 label=Case6.132 nb_sol=0 ticks=633913 tps=100 nb_sec=6339 case_no=144 label=Case6.132 nb_sol=0 ticks=684859 tps=100 nb_sec=6848 case_no=144 label=Case6.132 nb_sol=0 ticks=557939 tps=100 nb_sec=5579 case_no=144 label=Case6.132 nb_sol=0 ticks=753110 tps=100 nb_sec=7531 case_no=144 label=Case6.132 nb_sol=0 ticks=1266962 tps=100 nb_sec=12669 case_no=144 label=Case6.132 nb_sol=0 ticks=1225108 tps=100 nb_sec=12251 case_no=144 label=Case6.132 nb_sol=0 ticks=1157113 tps=100 nb_sec=11571 case_no=144 label=Case6.132 nb_sol=0 ticks=802372 tps=100 nb_sec=8023 case_no=144 label=Case6.132 nb_sol=0 ticks=599224 tps=100 nb_sec=5992 case_no=144 label=Case6.132 nb_sol=0 ticks=550935 tps=100 nb_sec=5509 case_no=144 label=Case6.132 nb_sol=0 ticks=485597 tps=100 nb_sec=4855 case_no=144 label=Case6.132 nb_sol=0 ticks=389008 tps=100 nb_sec=3890 case_no=144 label=Case6.132 nb_sol=0 ticks=670227 tps=100 nb_sec=6702 case_no=144 label=Case6.132 nb_sol=0 ticks=510560 tps=100 nb_sec=5105 case_no=144 label=Case6.132 nb_sol=0 ticks=896347 tps=100 nb_sec=8963 case_no=144 label=Case6.132 nb_sol=0 ticks=912293 tps=100 nb_sec=9122 case_no=144 label=Case6.132 nb_sol=0 ticks=588009 tps=100 nb_sec=5880 case_no=144 label=Case6.132 nb_sol=0 ticks=1101895 tps=100 nb_sec=11018 case_no=144 label=Case6.132 nb_sol=0 ticks=1072917 tps=100 nb_sec=10729 case_no=144 label=Case6.132 nb_sol=0 ticks=594383 tps=100 nb_sec=5943 case_no=144 label=Case6.132 nb_sol=0 ticks=853190 tps=100 nb_sec=8531 case_no=144 label=Case6.132 nb_sol=0 ticks=1070390 tps=100 nb_sec=10703 case_no=144 label=Case6.132 nb_sol=0 ticks=765176 tps=100 nb_sec=7651 case_no=144 label=Case6.132 nb_sol=0 ticks=777080 tps=100 nb_sec=7770 case_no=144 label=Case6.132 nb_sol=0 ticks=842839 tps=100 nb_sec=8428 case_no=144 label=Case6.132 nb_sol=0 ticks=629210 tps=100 nb_sec=6292 case_no=144 label=Case6.132 nb_sol=0 ticks=710542 tps=100 nb_sec=7105 case_no=144 label=Case6.132 nb_sol=0 ticks=497544 tps=100 nb_sec=4975 case_no=144 label=Case6.132 nb_sol=0 ticks=1002006 tps=100 nb_sec=10020 case_no=144 label=Case6.132 nb_sol=0 ticks=755064 tps=100 nb_sec=7550 case_no=144 label=Case6.132 nb_sol=0 ticks=785781 tps=100 nb_sec=7857 case_no=144 label=Case6.132 nb_sol=0 ticks=993060 tps=100 nb_sec=9930 case_no=144 label=Case6.132 nb_sol=0 ticks=483617 tps=100 nb_sec=4836 case_no=144 label=Case6.132 nb_sol=0 ticks=396608 tps=100 nb_sec=3966 case_no=144 label=Case6.132 nb_sol=0 ticks=925128 tps=100 nb_sec=9251 case_no=144 label=Case6.132 nb_sol=0 ticks=949067 tps=100 nb_sec=9490 case_no=144 label=Case6.132 nb_sol=0 ticks=756074 tps=100 nb_sec=7560 case_no=144 label=Case6.132 nb_sol=0 ticks=1082612 tps=100 nb_sec=10826 case_no=144 label=Case6.132 nb_sol=0 ticks=647776 tps=100 nb_sec=6477 case_no=144 label=Case6.132 nb_sol=0 ticks=716013 tps=100 nb_sec=7160 case_no=144 label=Case6.132 nb_sol=0 ticks=698882 tps=100 nb_sec=6988 case_no=144 label=Case6.132 nb_sol=0 ticks=454941 tps=100 nb_sec=4549 case_no=144 label=Case6.132 nb_sol=0 ticks=588428 tps=100 nb_sec=5884 case_no=144 label=Case6.132 nb_sol=0 ticks=1047268 tps=100 nb_sec=10472 case_no=144 label=Case6.132 nb_sol=0 ticks=619310 tps=100 nb_sec=6193 case_no=144 label=Case6.132 nb_sol=0 ticks=722929 tps=100 nb_sec=7229 case_no=144 label=Case6.132 nb_sol=0 ticks=929489 tps=100 nb_sec=9294 case_no=144 label=Case6.132 nb_sol=0 ticks=986171 tps=100 nb_sec=9861 case_no=144 label=Case6.132 nb_sol=0 ticks=1204476 tps=100 nb_sec=12044 case_no=144 label=Case6.132 nb_sol=0 ticks=847491 tps=100 nb_sec=8474 case_no=144 label=Case6.132 nb_sol=0 ticks=995884 tps=100 nb_sec=9958 case_no=144 label=Case6.132 nb_sol=0 ticks=490051 tps=100 nb_sec=4900 case_no=144 label=Case6.132 nb_sol=0 ticks=713395 tps=100 nb_sec=7133 case_no=144 label=Case6.132 nb_sol=0 ticks=748479 tps=100 nb_sec=7484 case_no=144 label=Case6.132 nb_sol=0 ticks=357480 tps=100 nb_sec=3574 case_no=144 label=Case6.132 nb_sol=0 ticks=598132 tps=100 nb_sec=5981 case_no=144 label=Case6.132 nb_sol=0 ticks=600326 tps=100 nb_sec=6003 case_no=144 label=Case6.132 nb_sol=0 ticks=342328 tps=100 nb_sec=3423 case_no=144 label=Case6.132 nb_sol=0 ticks=1042179 tps=100 nb_sec=10421 case_no=144 label=Case6.132 nb_sol=0 ticks=782718 tps=100 nb_sec=7827 case_no=144 label=Case6.132 nb_sol=0 ticks=1348063 tps=100 nb_sec=13480 case_no=144 label=Case6.132 nb_sol=0 ticks=712674 tps=100 nb_sec=7126 case_no=144 label=Case6.132 nb_sol=0 ticks=1210533 tps=100 nb_sec=12105 case_no=144 label=Case6.132 nb_sol=0 ticks=790887 tps=100 nb_sec=7908 case_no=144 label=Case6.132 nb_sol=0 ticks=763903 tps=100 nb_sec=7639 case_no=144 label=Case6.132 nb_sol=0 ticks=961558 tps=100 nb_sec=9615 case_no=144 label=Case6.132 nb_sol=0 ticks=1047526 tps=100 nb_sec=10475 case_no=144 label=Case6.132 nb_sol=0 ticks=694569 tps=100 nb_sec=6945 case_no=144 label=Case6.132 nb_sol=0 ticks=965529 tps=100 nb_sec=9655 case_no=144 label=Case6.132 nb_sol=0 ticks=803107 tps=100 nb_sec=8031 case_no=144 label=Case6.132 nb_sol=0 ticks=866104 tps=100 nb_sec=8661 case_no=144 label=Case6.132 nb_sol=0 ticks=892228 tps=100 nb_sec=8922 case_no=144 label=Case6.132 nb_sol=0 ticks=1034381 tps=100 nb_sec=10343 case_no=144 label=Case6.132 nb_sol=0 ticks=368930 tps=100 nb_sec=3689 case_no=144 label=Case6.132 nb_sol=0 ticks=537347 tps=100 nb_sec=5373 case_no=144 label=Case6.132 nb_sol=0 ticks=330346 tps=100 nb_sec=3303 case_no=144 label=Case6.132 nb_sol=0 ticks=665516 tps=100 nb_sec=6655 case_no=144 label=Case6.132 nb_sol=0 ticks=647577 tps=100 nb_sec=6475 case_no=144 label=Case6.132 nb_sol=0 ticks=309576 tps=100 nb_sec=3095 case_no=144 label=Case6.132 nb_sol=0 ticks=288072 tps=100 nb_sec=2880 case_no=144 label=Case6.132 nb_sol=0 ticks=670491 tps=100 nb_sec=6704 case_no=144 label=Case6.132 nb_sol=0 ticks=529646 tps=100 nb_sec=5296 case_no=144 label=Case6.132 nb_sol=0 ticks=550766 tps=100 nb_sec=5507 case_no=144 label=Case6.132 nb_sol=0 ticks=859330 tps=100 nb_sec=8593 case_no=144 label=Case6.132 nb_sol=0 ticks=346716 tps=100 nb_sec=3467 case_no=144 label=Case6.132 nb_sol=0 ticks=857612 tps=100 nb_sec=8576 case_no=144 label=Case6.132 nb_sol=0 ticks=322805 tps=100 nb_sec=3228 case_no=144 label=Case6.132 nb_sol=0 ticks=716187 tps=100 nb_sec=7161 case_no=144 label=Case6.132 nb_sol=0 ticks=610987 tps=100 nb_sec=6109 case_no=144 label=Case6.132 nb_sol=0 ticks=478134 tps=100 nb_sec=4781 case_no=144 label=Case6.132 nb_sol=0 ticks=297669 tps=100 nb_sec=2976 case_no=144 label=Case6.132 nb_sol=0 ticks=488567 tps=100 nb_sec=4885 case_no=144 label=Case6.132 nb_sol=0 ticks=551240 tps=100 nb_sec=5512 case_no=144 label=Case6.132 nb_sol=0 ticks=594491 tps=100 nb_sec=5944 case_no=144 label=Case6.132 nb_sol=0 ticks=309365 tps=100 nb_sec=3093 case_no=144 label=Case6.132 nb_sol=0 ticks=259939 tps=100 nb_sec=2599 case_no=144 label=Case6.132 nb_sol=0 ticks=394804 tps=100 nb_sec=3948 case_no=144 label=Case6.132 nb_sol=0 ticks=442446 tps=100 nb_sec=4424 case_no=144 label=Case6.132 nb_sol=0 ticks=813031 tps=100 nb_sec=8130 case_no=144 label=Case6.132 nb_sol=0 ticks=256258 tps=100 nb_sec=2562 case_no=144 label=Case6.132 nb_sol=0 ticks=935754 tps=100 nb_sec=9357 case_no=144 label=Case6.132 nb_sol=0 ticks=885512 tps=100 nb_sec=8855 case_no=144 label=Case6.132 nb_sol=0 ticks=466098 tps=100 nb_sec=4660 case_no=144 label=Case6.132 nb_sol=0 ticks=678142 tps=100 nb_sec=6781 case_no=144 label=Case6.132 nb_sol=0 ticks=816552 tps=100 nb_sec=8165 case_no=144 label=Case6.132 nb_sol=0 ticks=221980 tps=100 nb_sec=2219 case_no=144 label=Case6.132 nb_sol=0 ticks=348793 tps=100 nb_sec=3487 case_no=144 label=Case6.132 nb_sol=0 ticks=550499 tps=100 nb_sec=5504 case_no=144 label=Case6.132 nb_sol=0 ticks=314473 tps=100 nb_sec=3144 case_no=144 label=Case6.132 nb_sol=0 ticks=257526 tps=100 nb_sec=2575 case_no=144 label=Case6.132 nb_sol=0 ticks=869976 tps=100 nb_sec=8699 case_no=144 label=Case6.132 nb_sol=0 ticks=531237 tps=100 nb_sec=5312 case_no=144 label=Case6.132 nb_sol=0 ticks=775607 tps=100 nb_sec=7756 case_no=144 label=Case6.132 nb_sol=0 ticks=747832 tps=100 nb_sec=7478 case_no=144 label=Case6.132 nb_sol=0 ticks=275565 tps=100 nb_sec=2755 case_no=144 label=Case6.132 nb_sol=0 ticks=222359 tps=100 nb_sec=2223 case_no=144 label=Case6.132 nb_sol=0 ticks=670816 tps=100 nb_sec=6708 case_no=144 label=Case6.132 nb_sol=0 ticks=228567 tps=100 nb_sec=2285 case_no=144 label=Case6.132 nb_sol=0 ticks=270534 tps=100 nb_sec=2705 case_no=144 label=Case6.132 nb_sol=0 ticks=272563 tps=100 nb_sec=2725 case_no=144 label=Case6.132 nb_sol=0 ticks=398032 tps=100 nb_sec=3980 case_no=144 label=Case6.132 nb_sol=0 ticks=204608 tps=100 nb_sec=2046 case_no=144 label=Case6.132 nb_sol=0 ticks=806762 tps=100 nb_sec=8067 case_no=144 label=Case6.132 nb_sol=0 ticks=385242 tps=100 nb_sec=3852 case_no=144 label=Case6.132 nb_sol=0 ticks=607096 tps=100 nb_sec=6070 case_no=144 label=Case6.132 nb_sol=0 ticks=439793 tps=100 nb_sec=4397 case_no=144 label=Case6.132 nb_sol=0 ticks=357960 tps=100 nb_sec=3579 case_no=144 label=Case6.132 nb_sol=0 ticks=272265 tps=100 nb_sec=2722 case_no=144 label=Case6.132 nb_sol=0 ticks=413421 tps=100 nb_sec=4134 case_no=144 label=Case6.132 nb_sol=0 ticks=422291 tps=100 nb_sec=4222 case_no=144 label=Case6.132 nb_sol=0 ticks=522237 tps=100 nb_sec=5222 case_no=144 label=Case6.132 nb_sol=0 ticks=468287 tps=100 nb_sec=4682 case_no=144 label=Case6.132 nb_sol=0 ticks=634985 tps=100 nb_sec=6349 case_no=144 label=Case6.132 nb_sol=0 ticks=596764 tps=100 nb_sec=5967 case_no=144 label=Case6.132 nb_sol=0 ticks=493594 tps=100 nb_sec=4935 case_no=144 label=Case6.132 nb_sol=0 ticks=344269 tps=100 nb_sec=3442 case_no=144 label=Case6.132 nb_sol=0 ticks=593842 tps=100 nb_sec=5938 case_no=144 label=Case6.132 nb_sol=0 ticks=412213 tps=100 nb_sec=4122 case_no=144 label=Case6.132 nb_sol=0 ticks=476668 tps=100 nb_sec=4766 case_no=144 label=Case6.132 nb_sol=0 ticks=557848 tps=100 nb_sec=5578 case_no=144 label=Case6.132 nb_sol=0 ticks=328777 tps=100 nb_sec=3287 case_no=144 label=Case6.132 nb_sol=0 ticks=258659 tps=100 nb_sec=2586 case_no=144 label=Case6.132 nb_sol=0 ticks=732397 tps=100 nb_sec=7323 case_no=144 label=Case6.132 nb_sol=0 ticks=547112 tps=100 nb_sec=5471 case_no=144 label=Case6.132 nb_sol=0 ticks=594187 tps=100 nb_sec=5941 case_no=144 label=Case6.132 nb_sol=0 ticks=196422 tps=100 nb_sec=1964 case_no=144 label=Case6.132 nb_sol=0 ticks=521562 tps=100 nb_sec=5215 case_no=144 label=Case6.132 nb_sol=0 ticks=249327 tps=100 nb_sec=2493 case_no=144 label=Case6.132 nb_sol=0 ticks=466218 tps=100 nb_sec=4662 case_no=144 label=Case6.132 nb_sol=0 ticks=844219 tps=100 nb_sec=8442 case_no=144 label=Case6.132 nb_sol=0 ticks=776155 tps=100 nb_sec=7761 case_no=144 label=Case6.132 nb_sol=0 ticks=466669 tps=100 nb_sec=4666 case_no=144 label=Case6.132 nb_sol=0 ticks=675084 tps=100 nb_sec=6750 case_no=144 label=Case6.132 nb_sol=0 ticks=724320 tps=100 nb_sec=7243 case_no=144 label=Case6.132 nb_sol=0 ticks=508274 tps=100 nb_sec=5082 case_no=144 label=Case6.132 nb_sol=0 ticks=806383 tps=100 nb_sec=8063 case_no=144 label=Case6.132 nb_sol=0 ticks=609407 tps=100 nb_sec=6094 case_no=144 label=Case6.132 nb_sol=0 ticks=500192 tps=100 nb_sec=5001 case_no=144 label=Case6.132 nb_sol=0 ticks=518129 tps=100 nb_sec=5181 case_no=144 label=Case6.132 nb_sol=0 ticks=757044 tps=100 nb_sec=7570 case_no=144 label=Case6.132 nb_sol=0 ticks=555734 tps=100 nb_sec=5557 case_no=144 label=Case6.132 nb_sol=0 ticks=531742 tps=100 nb_sec=5317 case_no=144 label=Case6.132 nb_sol=0 ticks=582920 tps=100 nb_sec=5829 case_no=144 label=Case6.132 nb_sol=0 ticks=574012 tps=100 nb_sec=5740 case_no=144 label=Case6.132 nb_sol=0 ticks=689063 tps=100 nb_sec=6890 case_no=144 label=Case6.132 nb_sol=0 ticks=646898 tps=100 nb_sec=6468 case_no=144 label=Case6.132 nb_sol=0 ticks=658757 tps=100 nb_sec=6587 case_no=144 label=Case6.132 nb_sol=0 ticks=457897 tps=100 nb_sec=4578 case_no=144 label=Case6.132 nb_sol=0 ticks=922786 tps=100 nb_sec=9227 case_no=144 label=Case6.132 nb_sol=0 ticks=864592 tps=100 nb_sec=8645 case_no=144 label=Case6.132 nb_sol=0 ticks=616425 tps=100 nb_sec=6164 case_no=144 label=Case6.132 nb_sol=0 ticks=634123 tps=100 nb_sec=6341 case_no=144 label=Case6.132 nb_sol=0 ticks=711115 tps=100 nb_sec=7111 case_no=144 label=Case6.132 nb_sol=0 ticks=754932 tps=100 nb_sec=7549 case_no=144 label=Case6.132 nb_sol=0 ticks=591326 tps=100 nb_sec=5913 case_no=144 label=Case6.132 nb_sol=0 ticks=937532 tps=100 nb_sec=9375 case_no=144 label=Case6.132 nb_sol=0 ticks=581264 tps=100 nb_sec=5812 case_no=144 label=Case6.132 nb_sol=0 ticks=839039 tps=100 nb_sec=8390 case_no=144 label=Case6.132 nb_sol=0 ticks=536391 tps=100 nb_sec=5363 case_no=144 label=Case6.132 nb_sol=0 ticks=1167685 tps=100 nb_sec=11676 case_no=144 label=Case6.132 nb_sol=0 ticks=558509 tps=100 nb_sec=5585 case_no=144 label=Case6.132 nb_sol=0 ticks=709137 tps=100 nb_sec=7091 case_no=144 label=Case6.132 nb_sol=0 ticks=747940 tps=100 nb_sec=7479 case_no=144 label=Case6.132 nb_sol=0 ticks=276851 tps=100 nb_sec=2768 case_no=144 label=Case6.132 nb_sol=0 ticks=254655 tps=100 nb_sec=2546 case_no=144 label=Case6.132 nb_sol=0 ticks=237834 tps=100 nb_sec=2378 case_no=144 label=Case6.132 nb_sol=0 ticks=1053040 tps=100 nb_sec=10530 case_no=144 label=Case6.132 nb_sol=0 ticks=342652 tps=100 nb_sec=3426 case_no=144 label=Case6.132 nb_sol=0 ticks=246245 tps=100 nb_sec=2462 case_no=144 label=Case6.132 nb_sol=0 ticks=394623 tps=100 nb_sec=3946 case_no=144 label=Case6.132 nb_sol=0 ticks=396459 tps=100 nb_sec=3964 case_no=144 label=Case6.132 nb_sol=0 ticks=863533 tps=100 nb_sec=8635 case_no=144 label=Case6.132 nb_sol=0 ticks=576651 tps=100 nb_sec=5766 case_no=144 label=Case6.132 nb_sol=0 ticks=323797 tps=100 nb_sec=3237 case_no=144 label=Case6.132 nb_sol=0 ticks=452195 tps=100 nb_sec=4521 case_no=144 label=Case6.132 nb_sol=0 ticks=508721 tps=100 nb_sec=5087 case_no=144 label=Case6.132 nb_sol=0 ticks=382163 tps=100 nb_sec=3821 case_no=144 label=Case6.132 nb_sol=0 ticks=400300 tps=100 nb_sec=4003 case_no=144 label=Case6.132 nb_sol=0 ticks=407300 tps=100 nb_sec=4073 case_no=144 label=Case6.132 nb_sol=0 ticks=302428 tps=100 nb_sec=3024 case_no=144 label=Case6.132 nb_sol=0 ticks=619554 tps=100 nb_sec=6195 case_no=144 label=Case6.132 nb_sol=0 ticks=606920 tps=100 nb_sec=6069 case_no=144 label=Case6.132 nb_sol=0 ticks=350262 tps=100 nb_sec=3502 case_no=144 label=Case6.132 nb_sol=0 ticks=822229 tps=100 nb_sec=8222 case_no=144 label=Case6.132 nb_sol=0 ticks=479818 tps=100 nb_sec=4798 case_no=144 label=Case6.132 nb_sol=0 ticks=1381686 tps=100 nb_sec=13816 case_no=144 label=Case6.132 nb_sol=0 ticks=961993 tps=100 nb_sec=9619 case_no=144 label=Case6.132 nb_sol=0 ticks=482160 tps=100 nb_sec=4821 case_no=144 label=Case6.132 nb_sol=0 ticks=336106 tps=100 nb_sec=3361 case_no=144 label=Case6.132 nb_sol=0 ticks=1024399 tps=100 nb_sec=10243 case_no=144 label=Case6.132 nb_sol=0 ticks=373891 tps=100 nb_sec=3738 case_no=144 label=Case6.132 nb_sol=0 ticks=710255 tps=100 nb_sec=7102 case_no=144 label=Case6.132 nb_sol=0 ticks=505354 tps=100 nb_sec=5053 case_no=144 label=Case6.132 nb_sol=0 ticks=600159 tps=100 nb_sec=6001 case_no=144 label=Case6.132 nb_sol=0 ticks=944916 tps=100 nb_sec=9449 case_no=144 label=Case6.132 nb_sol=0 ticks=521570 tps=100 nb_sec=5215 case_no=144 label=Case6.132 nb_sol=0 ticks=584412 tps=100 nb_sec=5844 case_no=144 label=Case6.132 nb_sol=0 ticks=242999 tps=100 nb_sec=2429 case_no=144 label=Case6.132 nb_sol=0 ticks=569115 tps=100 nb_sec=5691 case_no=144 label=Case6.132 nb_sol=0 ticks=1023535 tps=100 nb_sec=10235 case_no=144 label=Case6.132 nb_sol=0 ticks=526418 tps=100 nb_sec=5264 case_no=144 label=Case6.132 nb_sol=0 ticks=365007 tps=100 nb_sec=3650 case_no=144 label=Case6.132 nb_sol=0 ticks=295656 tps=100 nb_sec=2956 case_no=144 label=Case6.132 nb_sol=0 ticks=589633 tps=100 nb_sec=5896 case_no=144 label=Case6.132 nb_sol=0 ticks=259741 tps=100 nb_sec=2597 case_no=144 label=Case6.132 nb_sol=0 ticks=226657 tps=100 nb_sec=2266 case_no=144 label=Case6.132 nb_sol=0 ticks=248424 tps=100 nb_sec=2484 case_no=144 label=Case6.132 nb_sol=0 ticks=253491 tps=100 nb_sec=2534 case_no=144 label=Case6.132 nb_sol=0 ticks=612732 tps=100 nb_sec=6127 case_no=144 label=Case6.132 nb_sol=0 ticks=471911 tps=100 nb_sec=4719 case_no=144 label=Case6.132 nb_sol=0 ticks=1062930 tps=100 nb_sec=10629 case_no=144 label=Case6.132 nb_sol=0 ticks=1074424 tps=100 nb_sec=10744 case_no=144 label=Case6.132 nb_sol=0 ticks=994609 tps=100 nb_sec=9946 case_no=144 label=Case6.132 nb_sol=0 ticks=528437 tps=100 nb_sec=5284 case_no=144 label=Case6.132 nb_sol=0 ticks=793815 tps=100 nb_sec=7938 case_no=144 label=Case6.132 nb_sol=0 ticks=1078885 tps=100 nb_sec=10788 case_no=144 label=Case6.132 nb_sol=0 ticks=672240 tps=100 nb_sec=6722 case_no=144 label=Case6.132 nb_sol=0 ticks=807093 tps=100 nb_sec=8070 case_no=144 label=Case6.132 nb_sol=0 ticks=992103 tps=100 nb_sec=9921 case_no=144 label=Case6.132 nb_sol=0 ticks=900161 tps=100 nb_sec=9001 case_no=144 label=Case6.132 nb_sol=0 ticks=541680 tps=100 nb_sec=5416 case_no=144 label=Case6.132 nb_sol=0 ticks=610956 tps=100 nb_sec=6109 case_no=144 label=Case6.132 nb_sol=0 ticks=670971 tps=100 nb_sec=6709 case_no=144 label=Case6.132 nb_sol=0 ticks=269325 tps=100 nb_sec=2693 case_no=144 label=Case6.132 nb_sol=0 ticks=790380 tps=100 nb_sec=7903 case_no=144 label=Case6.132 nb_sol=0 ticks=517666 tps=100 nb_sec=5176 case_no=144 label=Case6.132 nb_sol=0 ticks=909414 tps=100 nb_sec=9094 case_no=144 label=Case6.132 nb_sol=0 ticks=617089 tps=100 nb_sec=6170 case_no=144 label=Case6.132 nb_sol=0 ticks=353876 tps=100 nb_sec=3538 case_no=144 label=Case6.132 nb_sol=0 ticks=949546 tps=100 nb_sec=9495 case_no=144 label=Case6.132 nb_sol=0 ticks=863894 tps=100 nb_sec=8638 case_no=144 label=Case6.132 nb_sol=0 ticks=768938 tps=100 nb_sec=7689 case_no=144 label=Case6.132 nb_sol=0 ticks=757750 tps=100 nb_sec=7577 case_no=144 label=Case6.132 nb_sol=0 ticks=640699 tps=100 nb_sec=6406 case_no=144 label=Case6.132 nb_sol=0 ticks=1008850 tps=100 nb_sec=10088 case_no=144 label=Case6.132 nb_sol=0 ticks=612303 tps=100 nb_sec=6123 case_no=144 label=Case6.132 nb_sol=0 ticks=876880 tps=100 nb_sec=8768 case_no=144 label=Case6.132 nb_sol=0 ticks=378111 tps=100 nb_sec=3781 case_no=144 label=Case6.132 nb_sol=0 ticks=726998 tps=100 nb_sec=7269 case_no=144 label=Case6.132 nb_sol=0 ticks=614917 tps=100 nb_sec=6149 case_no=144 label=Case6.132 nb_sol=0 ticks=737634 tps=100 nb_sec=7376 case_no=144 label=Case6.132 nb_sol=0 ticks=443856 tps=100 nb_sec=4438 case_no=144 label=Case6.132 nb_sol=0 ticks=908788 tps=100 nb_sec=9087 case_no=144 label=Case6.132 nb_sol=0 ticks=811880 tps=100 nb_sec=8118 case_no=144 label=Case6.132 nb_sol=0 ticks=438184 tps=100 nb_sec=4381 case_no=144 label=Case6.132 nb_sol=0 ticks=645623 tps=100 nb_sec=6456 case_no=144 label=Case6.132 nb_sol=0 ticks=899003 tps=100 nb_sec=8990 case_no=144 label=Case6.132 nb_sol=0 ticks=664564 tps=100 nb_sec=6645 case_no=144 label=Case6.132 nb_sol=0 ticks=777583 tps=100 nb_sec=7775 case_no=144 label=Case6.132 nb_sol=0 ticks=654545 tps=100 nb_sec=6545 case_no=144 label=Case6.132 nb_sol=0 ticks=480041 tps=100 nb_sec=4800 case_no=144 label=Case6.132 nb_sol=0 ticks=741208 tps=100 nb_sec=7412 case_no=144 label=Case6.132 nb_sol=0 ticks=518347 tps=100 nb_sec=5183 case_no=144 label=Case6.132 nb_sol=0 ticks=316382 tps=100 nb_sec=3163 case_no=144 label=Case6.132 nb_sol=0 ticks=530568 tps=100 nb_sec=5305 case_no=144 label=Case6.132 nb_sol=0 ticks=594540 tps=100 nb_sec=5945 case_no=144 label=Case6.132 nb_sol=0 ticks=645580 tps=100 nb_sec=6455 case_no=144 label=Case6.132 nb_sol=0 ticks=266186 tps=100 nb_sec=2661 case_no=144 label=Case6.132 nb_sol=0 ticks=499933 tps=100 nb_sec=4999 case_no=144 label=Case6.132 nb_sol=0 ticks=243187 tps=100 nb_sec=2431 case_no=144 label=Case6.132 nb_sol=0 ticks=614246 tps=100 nb_sec=6142 case_no=144 label=Case6.132 nb_sol=0 ticks=563359 tps=100 nb_sec=5633 case_no=144 label=Case6.132 nb_sol=0 ticks=679214 tps=100 nb_sec=6792 case_no=144 label=Case6.132 nb_sol=0 ticks=691448 tps=100 nb_sec=6914 case_no=144 label=Case6.132 nb_sol=0 ticks=816540 tps=100 nb_sec=8165 case_no=144 label=Case6.132 nb_sol=0 ticks=277743 tps=100 nb_sec=2777 case_no=144 label=Case6.132 nb_sol=0 ticks=280651 tps=100 nb_sec=2806 case_no=144 label=Case6.132 nb_sol=0 ticks=495518 tps=100 nb_sec=4955 case_no=144 label=Case6.132 nb_sol=0 ticks=380946 tps=100 nb_sec=3809 case_no=144 label=Case6.132 nb_sol=0 ticks=329454 tps=100 nb_sec=3294 case_no=144 label=Case6.132 nb_sol=0 ticks=849596 tps=100 nb_sec=8495 case_no=144 label=Case6.132 nb_sol=0 ticks=351131 tps=100 nb_sec=3511 case_no=144 label=Case6.132 nb_sol=0 ticks=276562 tps=100 nb_sec=2765 case_no=144 label=Case6.132 nb_sol=0 ticks=843019 tps=100 nb_sec=8430 case_no=144 label=Case6.132 nb_sol=0 ticks=363243 tps=100 nb_sec=3632 case_no=144 label=Case6.132 nb_sol=0 ticks=671133 tps=100 nb_sec=6711 case_no=144 label=Case6.132 nb_sol=0 ticks=284671 tps=100 nb_sec=2846 case_no=144 label=Case6.132 nb_sol=0 ticks=238150 tps=100 nb_sec=2381 case_no=144 label=Case6.132 nb_sol=0 ticks=305009 tps=100 nb_sec=3050 case_no=144 label=Case6.132 nb_sol=0 ticks=763791 tps=100 nb_sec=7637 case_no=144 label=Case6.132 nb_sol=0 ticks=489936 tps=100 nb_sec=4899 case_no=144 label=Case6.132 nb_sol=0 ticks=339734 tps=100 nb_sec=3397 case_no=144 label=Case6.132 nb_sol=0 ticks=882856 tps=100 nb_sec=8828 case_no=144 label=Case6.132 nb_sol=0 ticks=336617 tps=100 nb_sec=3366 case_no=144 label=Case6.132 nb_sol=0 ticks=445783 tps=100 nb_sec=4457 case_no=144 label=Case6.132 nb_sol=0 ticks=249529 tps=100 nb_sec=2495 case_no=144 label=Case6.132 nb_sol=0 ticks=448201 tps=100 nb_sec=4482 case_no=144 label=Case6.132 nb_sol=0 ticks=605347 tps=100 nb_sec=6053 case_no=144 label=Case6.132 nb_sol=0 ticks=326788 tps=100 nb_sec=3267 case_no=144 label=Case6.132 nb_sol=0 ticks=484135 tps=100 nb_sec=4841 case_no=144 label=Case6.132 nb_sol=0 ticks=449896 tps=100 nb_sec=4498 case_no=144 label=Case6.132 nb_sol=0 ticks=290674 tps=100 nb_sec=2906 case_no=144 label=Case6.132 nb_sol=0 ticks=561487 tps=100 nb_sec=5614 case_no=144 label=Case6.132 nb_sol=0 ticks=477070 tps=100 nb_sec=4770 case_no=144 label=Case6.132 nb_sol=0 ticks=1061536 tps=100 nb_sec=10615 case_no=144 label=Case6.132 nb_sol=0 ticks=608031 tps=100 nb_sec=6080 case_no=144 label=Case6.132 nb_sol=0 ticks=334717 tps=100 nb_sec=3347 case_no=144 label=Case6.132 nb_sol=0 ticks=395004 tps=100 nb_sec=3950 case_no=144 label=Case6.132 nb_sol=0 ticks=203221 tps=100 nb_sec=2032 case_no=144 label=Case6.132 nb_sol=0 ticks=510761 tps=100 nb_sec=5107 case_no=144 label=Case6.132 nb_sol=0 ticks=317780 tps=100 nb_sec=3177 case_no=144 label=Case6.132 nb_sol=0 ticks=528622 tps=100 nb_sec=5286 case_no=144 label=Case6.132 nb_sol=0 ticks=218565 tps=100 nb_sec=2185 case_no=144 label=Case6.132 nb_sol=0 ticks=381312 tps=100 nb_sec=3813 case_no=144 label=Case6.132 nb_sol=0 ticks=186583 tps=100 nb_sec=1865 case_no=144 label=Case6.132 nb_sol=0 ticks=304385 tps=100 nb_sec=3043 case_no=144 label=Case6.132 nb_sol=0 ticks=1083480 tps=100 nb_sec=10834 case_no=144 label=Case6.132 nb_sol=0 ticks=423607 tps=100 nb_sec=4236 case_no=144 label=Case6.132 nb_sol=0 ticks=638598 tps=100 nb_sec=6385 case_no=144 label=Case6.132 nb_sol=0 ticks=303530 tps=100 nb_sec=3035 case_no=144 label=Case6.132 nb_sol=0 ticks=710366 tps=100 nb_sec=7103 case_no=144 label=Case6.132 nb_sol=0 ticks=568567 tps=100 nb_sec=5685 case_no=144 label=Case6.132 nb_sol=0 ticks=482373 tps=100 nb_sec=4823 case_no=144 label=Case6.132 nb_sol=0 ticks=520941 tps=100 nb_sec=5209 case_no=144 label=Case6.132 nb_sol=0 ticks=659898 tps=100 nb_sec=6598 case_no=144 label=Case6.132 nb_sol=0 ticks=467674 tps=100 nb_sec=4676 case_no=144 label=Case6.132 nb_sol=0 ticks=610046 tps=100 nb_sec=6100 case_no=144 label=Case6.132 nb_sol=0 ticks=187695 tps=100 nb_sec=1876 case_no=144 label=Case6.132 nb_sol=0 ticks=519477 tps=100 nb_sec=5194 case_no=144 label=Case6.132 nb_sol=0 ticks=450392 tps=100 nb_sec=4503 case_no=144 label=Case6.132 nb_sol=0 ticks=514847 tps=100 nb_sec=5148 case_no=144 label=Case6.132 nb_sol=0 ticks=332859 tps=100 nb_sec=3328 case_no=144 label=Case6.132 nb_sol=0 ticks=390903 tps=100 nb_sec=3909 case_no=144 label=Case6.132 nb_sol=0 ticks=306560 tps=100 nb_sec=3065 case_no=144 label=Case6.132 nb_sol=0 ticks=184647 tps=100 nb_sec=1846 case_no=144 label=Case6.132 nb_sol=0 ticks=515054 tps=100 nb_sec=5150 case_no=144 label=Case6.132 nb_sol=0 ticks=357958 tps=100 nb_sec=3579 case_no=144 label=Case6.132 nb_sol=0 ticks=298171 tps=100 nb_sec=2981 case_no=144 label=Case6.132 nb_sol=0 ticks=624840 tps=100 nb_sec=6248 case_no=144 label=Case6.132 nb_sol=0 ticks=203307 tps=100 nb_sec=2033 case_no=144 label=Case6.132 nb_sol=0 ticks=655893 tps=100 nb_sec=6558 case_no=144 label=Case6.132 nb_sol=0 ticks=658035 tps=100 nb_sec=6580 case_no=144 label=Case6.132 nb_sol=0 ticks=978679 tps=100 nb_sec=9786 case_no=144 label=Case6.132 nb_sol=0 ticks=483247 tps=100 nb_sec=4832 case_no=144 label=Case6.132 nb_sol=0 ticks=373897 tps=100 nb_sec=3738 case_no=144 label=Case6.132 nb_sol=0 ticks=632979 tps=100 nb_sec=6329 case_no=144 label=Case6.132 nb_sol=0 ticks=757563 tps=100 nb_sec=7575 case_no=144 label=Case6.132 nb_sol=0 ticks=537837 tps=100 nb_sec=5378 case_no=144 label=Case6.132 nb_sol=0 ticks=367990 tps=100 nb_sec=3679 case_no=144 label=Case6.132 nb_sol=0 ticks=571887 tps=100 nb_sec=5718 case_no=144 label=Case6.132 nb_sol=0 ticks=413445 tps=100 nb_sec=4134 case_no=144 label=Case6.132 nb_sol=0 ticks=497878 tps=100 nb_sec=4978 case_no=144 label=Case6.132 nb_sol=0 ticks=568337 tps=100 nb_sec=5683 case_no=144 label=Case6.132 nb_sol=0 ticks=491703 tps=100 nb_sec=4917 case_no=144 label=Case6.132 nb_sol=0 ticks=749630 tps=100 nb_sec=7496 case_no=144 label=Case6.132 nb_sol=0 ticks=236611 tps=100 nb_sec=2366 case_no=144 label=Case6.132 nb_sol=0 ticks=375822 tps=100 nb_sec=3758 case_no=144 label=Case6.132 nb_sol=0 ticks=337407 tps=100 nb_sec=3374 case_no=144 label=Case6.132 nb_sol=0 ticks=568646 tps=100 nb_sec=5686 case_no=144 label=Case6.132 nb_sol=0 ticks=923265 tps=100 nb_sec=9232 case_no=144 label=Case6.132 nb_sol=0 ticks=301998 tps=100 nb_sec=3019 case_no=144 label=Case6.132 nb_sol=0 ticks=280189 tps=100 nb_sec=2801 case_no=144 label=Case6.132 nb_sol=0 ticks=532882 tps=100 nb_sec=5328 case_no=144 label=Case6.132 nb_sol=0 ticks=620154 tps=100 nb_sec=6201 case_no=144 label=Case6.132 nb_sol=0 ticks=452328 tps=100 nb_sec=4523 case_no=144 label=Case6.132 nb_sol=0 ticks=432607 tps=100 nb_sec=4326 case_no=144 label=Case6.132 nb_sol=0 ticks=363690 tps=100 nb_sec=3636 case_no=144 label=Case6.132 nb_sol=0 ticks=463037 tps=100 nb_sec=4630 case_no=144 label=Case6.132 nb_sol=0 ticks=390417 tps=100 nb_sec=3904 case_no=144 label=Case6.132 nb_sol=0 ticks=284288 tps=100 nb_sec=2842 case_no=144 label=Case6.132 nb_sol=0 ticks=276745 tps=100 nb_sec=2767 case_no=144 label=Case6.132 nb_sol=0 ticks=740791 tps=100 nb_sec=7407 case_no=144 label=Case6.132 nb_sol=0 ticks=368930 tps=100 nb_sec=3689 case_no=144 label=Case6.132 nb_sol=0 ticks=252235 tps=100 nb_sec=2522 case_no=144 label=Case6.132 nb_sol=0 ticks=475630 tps=100 nb_sec=4756 case_no=144 label=Case6.132 nb_sol=0 ticks=288761 tps=100 nb_sec=2887 case_no=144 label=Case6.132 nb_sol=0 ticks=377265 tps=100 nb_sec=3772 case_no=144 label=Case6.132 nb_sol=0 ticks=302236 tps=100 nb_sec=3022 case_no=144 label=Case6.132 nb_sol=0 ticks=633576 tps=100 nb_sec=6335 case_no=144 label=Case6.132 nb_sol=0 ticks=240866 tps=100 nb_sec=2408 case_no=144 label=Case6.132 nb_sol=0 ticks=363439 tps=100 nb_sec=3634 case_no=144 label=Case6.132 nb_sol=0 ticks=309238 tps=100 nb_sec=3092 case_no=144 label=Case6.132 nb_sol=0 ticks=707360 tps=100 nb_sec=7073 case_no=144 label=Case6.132 nb_sol=0 ticks=335945 tps=100 nb_sec=3359 case_no=144 label=Case6.132 nb_sol=0 ticks=754717 tps=100 nb_sec=7547 case_no=144 label=Case6.132 nb_sol=0 ticks=266198 tps=100 nb_sec=2661 case_no=144 label=Case6.132 nb_sol=0 ticks=477642 tps=100 nb_sec=4776 case_no=144 label=Case6.132 nb_sol=0 ticks=442474 tps=100 nb_sec=4424 case_no=144 label=Case6.132 nb_sol=0 ticks=432144 tps=100 nb_sec=4321 case_no=144 label=Case6.132 nb_sol=0 ticks=335181 tps=100 nb_sec=3351 case_no=144 label=Case6.132 nb_sol=0 ticks=434484 tps=100 nb_sec=4344 case_no=144 label=Case6.132 nb_sol=0 ticks=222885 tps=100 nb_sec=2228 case_no=144 label=Case6.132 nb_sol=0 ticks=687012 tps=100 nb_sec=6870 case_no=144 label=Case6.132 nb_sol=0 ticks=527876 tps=100 nb_sec=5278 case_no=144 label=Case6.132 nb_sol=0 ticks=519006 tps=100 nb_sec=5190 case_no=144 label=Case6.132 nb_sol=0 ticks=352957 tps=100 nb_sec=3529 case_no=144 label=Case6.132 nb_sol=0 ticks=740006 tps=100 nb_sec=7400 case_no=144 label=Case6.132 nb_sol=0 ticks=917917 tps=100 nb_sec=9179 case_no=144 label=Case6.132 nb_sol=0 ticks=491563 tps=100 nb_sec=4915 case_no=144 label=Case6.132 nb_sol=0 ticks=581104 tps=100 nb_sec=5811 case_no=144 label=Case6.132 nb_sol=0 ticks=839641 tps=100 nb_sec=8396 case_no=144 label=Case6.132 nb_sol=0 ticks=516632 tps=100 nb_sec=5166 case_no=144 label=Case6.132 nb_sol=0 ticks=705017 tps=100 nb_sec=7050 case_no=144 label=Case6.132 nb_sol=0 ticks=297243 tps=100 nb_sec=2972 case_no=144 label=Case6.132 nb_sol=0 ticks=751985 tps=100 nb_sec=7519 case_no=144 label=Case6.132 nb_sol=0 ticks=583030 tps=100 nb_sec=5830 case_no=144 label=Case6.132 nb_sol=0 ticks=809991 tps=100 nb_sec=8099 case_no=144 label=Case6.132 nb_sol=0 ticks=515553 tps=100 nb_sec=5155 case_no=144 label=Case6.132 nb_sol=0 ticks=750797 tps=100 nb_sec=7507 case_no=144 label=Case6.132 nb_sol=0 ticks=565363 tps=100 nb_sec=5653 case_no=144 label=Case6.132 nb_sol=0 ticks=589467 tps=100 nb_sec=5894 case_no=144 label=Case6.132 nb_sol=0 ticks=487071 tps=100 nb_sec=4870 case_no=144 label=Case6.132 nb_sol=0 ticks=318905 tps=100 nb_sec=3189 case_no=144 label=Case6.132 nb_sol=0 ticks=683451 tps=100 nb_sec=6834 case_no=144 label=Case6.132 nb_sol=0 ticks=373107 tps=100 nb_sec=3731 case_no=144 label=Case6.132 nb_sol=0 ticks=541953 tps=100 nb_sec=5419 case_no=144 label=Case6.132 nb_sol=0 ticks=352231 tps=100 nb_sec=3522 case_no=144 label=Case6.132 nb_sol=0 ticks=367502 tps=100 nb_sec=3675 case_no=144 label=Case6.132 nb_sol=0 ticks=863704 tps=100 nb_sec=8637 case_no=144 label=Case6.132 nb_sol=0 ticks=577022 tps=100 nb_sec=5770 case_no=144 label=Case6.132 nb_sol=0 ticks=486931 tps=100 nb_sec=4869 case_no=144 label=Case6.132 nb_sol=0 ticks=603968 tps=100 nb_sec=6039 case_no=144 label=Case6.132 nb_sol=0 ticks=804516 tps=100 nb_sec=8045 case_no=144 label=Case6.132 nb_sol=0 ticks=614726 tps=100 nb_sec=6147 case_no=144 label=Case6.132 nb_sol=0 ticks=759824 tps=100 nb_sec=7598 case_no=144 label=Case6.132 nb_sol=0 ticks=516693 tps=100 nb_sec=5166 case_no=144 label=Case6.132 nb_sol=0 ticks=474281 tps=100 nb_sec=4742 case_no=144 label=Case6.132 nb_sol=0 ticks=286017 tps=100 nb_sec=2860 case_no=144 label=Case6.132 nb_sol=0 ticks=812175 tps=100 nb_sec=8121 case_no=144 label=Case6.132 nb_sol=0 ticks=525738 tps=100 nb_sec=5257 case_no=144 label=Case6.132 nb_sol=0 ticks=305619 tps=100 nb_sec=3056 case_no=144 label=Case6.132 nb_sol=0 ticks=279642 tps=100 nb_sec=2796 case_no=144 label=Case6.132 nb_sol=0 ticks=730710 tps=100 nb_sec=7307 case_no=144 label=Case6.132 nb_sol=0 ticks=299591 tps=100 nb_sec=2995 case_no=144 label=Case6.132 nb_sol=0 ticks=356310 tps=100 nb_sec=3563 case_no=144 label=Case6.132 nb_sol=0 ticks=490375 tps=100 nb_sec=4903 case_no=144 label=Case6.132 nb_sol=0 ticks=398529 tps=100 nb_sec=3985 case_no=144 label=Case6.132 nb_sol=0 ticks=528955 tps=100 nb_sec=5289 case_no=144 label=Case6.132 nb_sol=0 ticks=429455 tps=100 nb_sec=4294 case_no=144 label=Case6.132 nb_sol=0 ticks=424446 tps=100 nb_sec=4244 case_no=144 label=Case6.132 nb_sol=0 ticks=546345 tps=100 nb_sec=5463 case_no=144 label=Case6.132 nb_sol=0 ticks=315991 tps=100 nb_sec=3159 case_no=144 label=Case6.132 nb_sol=0 ticks=368216 tps=100 nb_sec=3682 case_no=144 label=Case6.132 nb_sol=0 ticks=495178 tps=100 nb_sec=4951 case_no=144 label=Case6.132 nb_sol=0 ticks=295986 tps=100 nb_sec=2959 case_no=144 label=Case6.132 nb_sol=0 ticks=388512 tps=100 nb_sec=3885 case_no=144 label=Case6.132 nb_sol=0 ticks=579402 tps=100 nb_sec=5794 case_no=144 label=Case6.132 nb_sol=0 ticks=654753 tps=100 nb_sec=6547 case_no=144 label=Case6.132 nb_sol=0 ticks=508408 tps=100 nb_sec=5084 case_no=144 label=Case6.132 nb_sol=0 ticks=764919 tps=100 nb_sec=7649 case_no=144 label=Case6.132 nb_sol=0 ticks=1032791 tps=100 nb_sec=10327 case_no=144 label=Case6.132 nb_sol=0 ticks=383449 tps=100 nb_sec=3834 case_no=144 label=Case6.132 nb_sol=0 ticks=704830 tps=100 nb_sec=7048 case_no=144 label=Case6.132 nb_sol=0 ticks=824787 tps=100 nb_sec=8247 case_no=144 label=Case6.132 nb_sol=0 ticks=430943 tps=100 nb_sec=4309 case_no=144 label=Case6.132 nb_sol=0 ticks=577484 tps=100 nb_sec=5774 case_no=144 label=Case6.132 nb_sol=0 ticks=517810 tps=100 nb_sec=5178 case_no=144 label=Case6.132 nb_sol=0 ticks=461120 tps=100 nb_sec=4611 case_no=144 label=Case6.132 nb_sol=0 ticks=602251 tps=100 nb_sec=6022 case_no=144 label=Case6.132 nb_sol=0 ticks=460601 tps=100 nb_sec=4606 case_no=144 label=Case6.132 nb_sol=0 ticks=762794 tps=100 nb_sec=7627 case_no=144 label=Case6.132 nb_sol=0 ticks=629635 tps=100 nb_sec=6296 case_no=144 label=Case6.132 nb_sol=0 ticks=514499 tps=100 nb_sec=5144 case_no=144 label=Case6.132 nb_sol=0 ticks=253622 tps=100 nb_sec=2536 case_no=144 label=Case6.132 nb_sol=0 ticks=338210 tps=100 nb_sec=3382 case_no=144 label=Case6.132 nb_sol=0 ticks=247894 tps=100 nb_sec=2478 case_no=144 label=Case6.132 nb_sol=0 ticks=312958 tps=100 nb_sec=3129 case_no=144 label=Case6.132 nb_sol=0 ticks=672427 tps=100 nb_sec=6724 case_no=144 label=Case6.132 nb_sol=0 ticks=334794 tps=100 nb_sec=3347 case_no=144 label=Case6.132 nb_sol=0 ticks=508490 tps=100 nb_sec=5084 case_no=144 label=Case6.132 nb_sol=0 ticks=289531 tps=100 nb_sec=2895 case_no=144 label=Case6.132 nb_sol=0 ticks=470485 tps=100 nb_sec=4704 case_no=144 label=Case6.132 nb_sol=0 ticks=517709 tps=100 nb_sec=5177 case_no=144 label=Case6.132 nb_sol=0 ticks=286582 tps=100 nb_sec=2865 case_no=144 label=Case6.132 nb_sol=0 ticks=620344 tps=100 nb_sec=6203 case_no=144 label=Case6.132 nb_sol=0 ticks=547737 tps=100 nb_sec=5477 case_no=144 label=Case6.132 nb_sol=0 ticks=919937 tps=100 nb_sec=9199 case_no=144 label=Case6.132 nb_sol=0 ticks=632921 tps=100 nb_sec=6329 case_no=144 label=Case6.132 nb_sol=0 ticks=696029 tps=100 nb_sec=6960 case_no=144 label=Case6.132 nb_sol=0 ticks=450544 tps=100 nb_sec=4505 case_no=144 label=Case6.132 nb_sol=0 ticks=481305 tps=100 nb_sec=4813 case_no=144 label=Case6.132 nb_sol=0 ticks=610514 tps=100 nb_sec=6105 case_no=144 label=Case6.132 nb_sol=0 ticks=1022492 tps=100 nb_sec=10224 case_no=144 label=Case6.132 nb_sol=0 ticks=742467 tps=100 nb_sec=7424 case_no=144 label=Case6.132 nb_sol=0 ticks=1028446 tps=100 nb_sec=10284 case_no=144 label=Case6.132 nb_sol=0 ticks=606247 tps=100 nb_sec=6062 case_no=144 label=Case6.132 nb_sol=0 ticks=539447 tps=100 nb_sec=5394 case_no=144 label=Case6.132 nb_sol=0 ticks=297711 tps=100 nb_sec=2977 case_no=144 label=Case6.132 nb_sol=0 ticks=591636 tps=100 nb_sec=5916 case_no=144 label=Case6.132 nb_sol=0 ticks=602757 tps=100 nb_sec=6027 case_no=144 label=Case6.132 nb_sol=0 ticks=394543 tps=100 nb_sec=3945 case_no=144 label=Case6.132 nb_sol=0 ticks=875192 tps=100 nb_sec=8751 case_no=144 label=Case6.132 nb_sol=0 ticks=416778 tps=100 nb_sec=4167 case_no=144 label=Case6.132 nb_sol=0 ticks=765466 tps=100 nb_sec=7654 case_no=144 label=Case6.132 nb_sol=0 ticks=534814 tps=100 nb_sec=5348 case_no=144 label=Case6.132 nb_sol=0 ticks=323708 tps=100 nb_sec=3237 case_no=144 label=Case6.132 nb_sol=0 ticks=991476 tps=100 nb_sec=9914 case_no=144 label=Case6.132 nb_sol=0 ticks=785110 tps=100 nb_sec=7851 case_no=144 label=Case6.132 nb_sol=0 ticks=382523 tps=100 nb_sec=3825 case_no=144 label=Case6.132 nb_sol=0 ticks=1012427 tps=100 nb_sec=10124 case_no=144 label=Case6.132 nb_sol=0 ticks=581840 tps=100 nb_sec=5818 case_no=144 label=Case6.132 nb_sol=0 ticks=744398 tps=100 nb_sec=7443 case_no=144 label=Case6.132 nb_sol=0 ticks=942255 tps=100 nb_sec=9422 case_no=144 label=Case6.132 nb_sol=0 ticks=346597 tps=100 nb_sec=3465 case_no=144 label=Case6.132 nb_sol=0 ticks=304230 tps=100 nb_sec=3042 case_no=144 label=Case6.132 nb_sol=0 ticks=443462 tps=100 nb_sec=4434 case_no=144 label=Case6.132 nb_sol=0 ticks=377646 tps=100 nb_sec=3776 case_no=144 label=Case6.132 nb_sol=0 ticks=277299 tps=100 nb_sec=2772 case_no=144 label=Case6.132 nb_sol=0 ticks=418136 tps=100 nb_sec=4181 case_no=144 label=Case6.132 nb_sol=0 ticks=524415 tps=100 nb_sec=5244 case_no=144 label=Case6.132 nb_sol=0 ticks=354172 tps=100 nb_sec=3541 case_no=144 label=Case6.132 nb_sol=0 ticks=288501 tps=100 nb_sec=2885 case_no=144 label=Case6.132 nb_sol=0 ticks=807826 tps=100 nb_sec=8078 case_no=144 label=Case6.132 nb_sol=0 ticks=816274 tps=100 nb_sec=8162 case_no=144 label=Case6.132 nb_sol=0 ticks=1196351 tps=100 nb_sec=11963 case_no=144 label=Case6.132 nb_sol=0 ticks=526192 tps=100 nb_sec=5261 case_no=144 label=Case6.132 nb_sol=0 ticks=879610 tps=100 nb_sec=8796 case_no=144 label=Case6.132 nb_sol=0 ticks=745385 tps=100 nb_sec=7453 case_no=144 label=Case6.132 nb_sol=0 ticks=420847 tps=100 nb_sec=4208 case_no=144 label=Case6.132 nb_sol=0 ticks=594859 tps=100 nb_sec=5948 case_no=144 label=Case6.132 nb_sol=0 ticks=443197 tps=100 nb_sec=4431 case_no=144 label=Case6.132 nb_sol=0 ticks=338585 tps=100 nb_sec=3385 case_no=144 label=Case6.132 nb_sol=0 ticks=1190062 tps=100 nb_sec=11900 case_no=144 label=Case6.132 nb_sol=0 ticks=577303 tps=100 nb_sec=5773 case_no=144 label=Case6.132 nb_sol=0 ticks=516511 tps=100 nb_sec=5165 case_no=144 label=Case6.132 nb_sol=0 ticks=576112 tps=100 nb_sec=5761 case_no=144 label=Case6.132 nb_sol=0 ticks=274375 tps=100 nb_sec=2743 case_no=144 label=Case6.132 nb_sol=0 ticks=471533 tps=100 nb_sec=4715 case_no=144 label=Case6.132 nb_sol=0 ticks=208209 tps=100 nb_sec=2082 case_no=144 label=Case6.132 nb_sol=0 ticks=723681 tps=100 nb_sec=7236 case_no=144 label=Case6.132 nb_sol=0 ticks=479845 tps=100 nb_sec=4798 case_no=144 label=Case6.132 nb_sol=0 ticks=316203 tps=100 nb_sec=3162 case_no=144 label=Case6.132 nb_sol=0 ticks=572090 tps=100 nb_sec=5720 case_no=144 label=Case6.132 nb_sol=0 ticks=523860 tps=100 nb_sec=5238 case_no=144 label=Case6.132 nb_sol=0 ticks=242230 tps=100 nb_sec=2422 case_no=144 label=Case6.132 nb_sol=0 ticks=527911 tps=100 nb_sec=5279 case_no=144 label=Case6.132 nb_sol=0 ticks=254586 tps=100 nb_sec=2545 case_no=144 label=Case6.132 nb_sol=0 ticks=307531 tps=100 nb_sec=3075 case_no=144 label=Case6.132 nb_sol=0 ticks=386273 tps=100 nb_sec=3862 case_no=144 label=Case6.132 nb_sol=0 ticks=331478 tps=100 nb_sec=3314 case_no=144 label=Case6.132 nb_sol=0 ticks=346260 tps=100 nb_sec=3462 case_no=144 label=Case6.132 nb_sol=0 ticks=417990 tps=100 nb_sec=4179 case_no=144 label=Case6.132 nb_sol=0 ticks=828608 tps=100 nb_sec=8286 case_no=144 label=Case6.132 nb_sol=0 ticks=438094 tps=100 nb_sec=4380 case_no=144 label=Case6.132 nb_sol=0 ticks=518339 tps=100 nb_sec=5183 case_no=144 label=Case6.132 nb_sol=0 ticks=602846 tps=100 nb_sec=6028 case_no=144 label=Case6.132 nb_sol=0 ticks=653279 tps=100 nb_sec=6532 case_no=144 label=Case6.132 nb_sol=0 ticks=687044 tps=100 nb_sec=6870 case_no=144 label=Case6.132 nb_sol=0 ticks=749402 tps=100 nb_sec=7494 case_no=144 label=Case6.132 nb_sol=0 ticks=331800 tps=100 nb_sec=3318 case_no=144 label=Case6.132 nb_sol=0 ticks=908698 tps=100 nb_sec=9086 case_no=144 label=Case6.132 nb_sol=0 ticks=988373 tps=100 nb_sec=9883 case_no=144 label=Case6.132 nb_sol=0 ticks=346887 tps=100 nb_sec=3468 case_no=144 label=Case6.132 nb_sol=0 ticks=686900 tps=100 nb_sec=6869 case_no=144 label=Case6.132 nb_sol=0 ticks=698797 tps=100 nb_sec=6987 case_no=144 label=Case6.132 nb_sol=0 ticks=481057 tps=100 nb_sec=4810 case_no=144 label=Case6.132 nb_sol=0 ticks=364370 tps=100 nb_sec=3643 case_no=144 label=Case6.132 nb_sol=0 ticks=247629 tps=100 nb_sec=2476 case_no=144 label=Case6.132 nb_sol=0 ticks=1039115 tps=100 nb_sec=10391 case_no=144 label=Case6.132 nb_sol=0 ticks=622938 tps=100 nb_sec=6229 case_no=144 label=Case6.132 nb_sol=0 ticks=1070454 tps=100 nb_sec=10704 case_no=144 label=Case6.132 nb_sol=0 ticks=469971 tps=100 nb_sec=4699 case_no=144 label=Case6.132 nb_sol=0 ticks=635043 tps=100 nb_sec=6350 case_no=144 label=Case6.132 nb_sol=0 ticks=394838 tps=100 nb_sec=3948 case_no=144 label=Case6.132 nb_sol=0 ticks=426858 tps=100 nb_sec=4268 case_no=144 label=Case6.132 nb_sol=0 ticks=564310 tps=100 nb_sec=5643 case_no=144 label=Case6.132 nb_sol=0 ticks=654492 tps=100 nb_sec=6544 case_no=144 label=Case6.132 nb_sol=0 ticks=656515 tps=100 nb_sec=6565 case_no=144 label=Case6.132 nb_sol=0 ticks=817490 tps=100 nb_sec=8174 case_no=144 label=Case6.132 nb_sol=0 ticks=948236 tps=100 nb_sec=9482 case_no=144 label=Case6.132 nb_sol=0 ticks=804735 tps=100 nb_sec=8047 case_no=144 label=Case6.132 nb_sol=0 ticks=493630 tps=100 nb_sec=4936 case_no=144 label=Case6.132 nb_sol=0 ticks=552083 tps=100 nb_sec=5520 case_no=144 label=Case6.132 nb_sol=0 ticks=497062 tps=100 nb_sec=4970 case_no=144 label=Case6.132 nb_sol=0 ticks=565560 tps=100 nb_sec=5655 case_no=144 label=Case6.132 nb_sol=0 ticks=1009608 tps=100 nb_sec=10096 case_no=144 label=Case6.132 nb_sol=0 ticks=519560 tps=100 nb_sec=5195 case_no=144 label=Case6.132 nb_sol=0 ticks=248376 tps=100 nb_sec=2483 case_no=144 label=Case6.132 nb_sol=0 ticks=693584 tps=100 nb_sec=6935 case_no=144 label=Case6.132 nb_sol=0 ticks=292591 tps=100 nb_sec=2925 case_no=144 label=Case6.132 nb_sol=0 ticks=260491 tps=100 nb_sec=2604 case_no=144 label=Case6.132 nb_sol=0 ticks=489870 tps=100 nb_sec=4898 case_no=144 label=Case6.132 nb_sol=0 ticks=392044 tps=100 nb_sec=3920 case_no=144 label=Case6.132 nb_sol=0 ticks=839086 tps=100 nb_sec=8390 case_no=144 label=Case6.132 nb_sol=0 ticks=823470 tps=100 nb_sec=8234 case_no=144 label=Case6.132 nb_sol=0 ticks=268525 tps=100 nb_sec=2685 case_no=144 label=Case6.132 nb_sol=0 ticks=765156 tps=100 nb_sec=7651 case_no=144 label=Case6.132 nb_sol=0 ticks=900743 tps=100 nb_sec=9007 case_no=144 label=Case6.132 nb_sol=0 ticks=899335 tps=100 nb_sec=8993 case_no=144 label=Case6.132 nb_sol=0 ticks=875153 tps=100 nb_sec=8751 case_no=144 label=Case6.132 nb_sol=0 ticks=1024928 tps=100 nb_sec=10249 case_no=144 label=Case6.132 nb_sol=0 ticks=663090 tps=100 nb_sec=6630 case_no=144 label=Case6.132 nb_sol=0 ticks=522923 tps=100 nb_sec=5229 case_no=144 label=Case6.132 nb_sol=0 ticks=490842 tps=100 nb_sec=4908 case_no=144 label=Case6.132 nb_sol=0 ticks=1178179 tps=100 nb_sec=11781 case_no=144 label=Case6.132 nb_sol=0 ticks=695666 tps=100 nb_sec=6956 case_no=144 label=Case6.132 nb_sol=0 ticks=658036 tps=100 nb_sec=6580 case_no=144 label=Case6.132 nb_sol=0 ticks=526598 tps=100 nb_sec=5265 case_no=144 label=Case6.132 nb_sol=0 ticks=501474 tps=100 nb_sec=5014 case_no=144 label=Case6.132 nb_sol=0 ticks=360800 tps=100 nb_sec=3608 case_no=144 label=Case6.132 nb_sol=0 ticks=924771 tps=100 nb_sec=9247 case_no=144 label=Case6.132 nb_sol=0 ticks=489090 tps=100 nb_sec=4890 case_no=144 label=Case6.132 nb_sol=0 ticks=445872 tps=100 nb_sec=4458 case_no=144 label=Case6.132 nb_sol=0 ticks=594189 tps=100 nb_sec=5941 case_no=144 label=Case6.132 nb_sol=0 ticks=720165 tps=100 nb_sec=7201 case_no=144 label=Case6.132 nb_sol=0 ticks=439851 tps=100 nb_sec=4398 case_no=144 label=Case6.132 nb_sol=0 ticks=449690 tps=100 nb_sec=4496 case_no=144 label=Case6.132 nb_sol=0 ticks=594225 tps=100 nb_sec=5942 case_no=144 label=Case6.132 nb_sol=0 ticks=593567 tps=100 nb_sec=5935 case_no=144 label=Case6.132 nb_sol=0 ticks=430540 tps=100 nb_sec=4305 case_no=144 label=Case6.132 nb_sol=0 ticks=780330 tps=100 nb_sec=7803 case_no=144 label=Case6.132 nb_sol=0 ticks=965708 tps=100 nb_sec=9657 case_no=144 label=Case6.132 nb_sol=0 ticks=1027016 tps=100 nb_sec=10270 case_no=144 label=Case6.132 nb_sol=0 ticks=332820 tps=100 nb_sec=3328 case_no=144 label=Case6.132 nb_sol=0 ticks=892235 tps=100 nb_sec=8922 case_no=144 label=Case6.132 nb_sol=0 ticks=343903 tps=100 nb_sec=3439 case_no=144 label=Case6.132 nb_sol=0 ticks=891186 tps=100 nb_sec=8911 case_no=144 label=Case6.132 nb_sol=0 ticks=258604 tps=100 nb_sec=2586 case_no=144 label=Case6.132 nb_sol=0 ticks=918446 tps=100 nb_sec=9184 case_no=144 label=Case6.132 nb_sol=0 ticks=750734 tps=100 nb_sec=7507 case_no=144 label=Case6.132 nb_sol=0 ticks=639350 tps=100 nb_sec=6393 case_no=144 label=Case6.132 nb_sol=0 ticks=785112 tps=100 nb_sec=7851 case_no=144 label=Case6.132 nb_sol=0 ticks=530054 tps=100 nb_sec=5300 case_no=144 label=Case6.132 nb_sol=0 ticks=400052 tps=100 nb_sec=4000 case_no=144 label=Case6.132 nb_sol=0 ticks=528159 tps=100 nb_sec=5281 case_no=144 label=Case6.132 nb_sol=0 ticks=547398 tps=100 nb_sec=5473 case_no=144 label=Case6.132 nb_sol=0 ticks=355274 tps=100 nb_sec=3552 case_no=144 label=Case6.132 nb_sol=0 ticks=313910 tps=100 nb_sec=3139 case_no=144 label=Case6.132 nb_sol=0 ticks=297291 tps=100 nb_sec=2972 case_no=144 label=Case6.132 nb_sol=0 ticks=645463 tps=100 nb_sec=6454 case_no=144 label=Case6.132 nb_sol=0 ticks=302724 tps=100 nb_sec=3027 case_no=144 label=Case6.132 nb_sol=0 ticks=280851 tps=100 nb_sec=2808 case_no=144 label=Case6.132 nb_sol=0 ticks=957129 tps=100 nb_sec=9571 case_no=144 label=Case6.132 nb_sol=0 ticks=446672 tps=100 nb_sec=4466 case_no=144 label=Case6.132 nb_sol=0 ticks=289168 tps=100 nb_sec=2891 case_no=144 label=Case6.132 nb_sol=0 ticks=276785 tps=100 nb_sec=2767 case_no=144 label=Case6.132 nb_sol=0 ticks=281091 tps=100 nb_sec=2810 case_no=144 label=Case6.132 nb_sol=0 ticks=485077 tps=100 nb_sec=4850 case_no=144 label=Case6.132 nb_sol=0 ticks=743232 tps=100 nb_sec=7432 case_no=144 label=Case6.132 nb_sol=0 ticks=404626 tps=100 nb_sec=4046 case_no=144 label=Case6.132 nb_sol=0 ticks=769348 tps=100 nb_sec=7693 case_no=144 label=Case6.132 nb_sol=0 ticks=916044 tps=100 nb_sec=9160 case_no=144 label=Case6.132 nb_sol=0 ticks=508096 tps=100 nb_sec=5080 case_no=144 label=Case6.132 nb_sol=0 ticks=561457 tps=100 nb_sec=5614 case_no=144 label=Case6.132 nb_sol=0 ticks=590971 tps=100 nb_sec=5909 case_no=144 label=Case6.132 nb_sol=0 ticks=561415 tps=100 nb_sec=5614 case_no=144 label=Case6.132 nb_sol=0 ticks=575028 tps=100 nb_sec=5750 case_no=144 label=Case6.132 nb_sol=0 ticks=538199 tps=100 nb_sec=5381 case_no=144 label=Case6.132 nb_sol=0 ticks=936141 tps=100 nb_sec=9361 case_no=144 label=Case6.132 nb_sol=0 ticks=594950 tps=100 nb_sec=5949 case_no=144 label=Case6.132 nb_sol=0 ticks=779143 tps=100 nb_sec=7791 case_no=144 label=Case6.132 nb_sol=0 ticks=577952 tps=100 nb_sec=5779 case_no=144 label=Case6.132 nb_sol=0 ticks=626524 tps=100 nb_sec=6265 case_no=144 label=Case6.132 nb_sol=0 ticks=689477 tps=100 nb_sec=6894 case_no=144 label=Case6.132 nb_sol=0 ticks=500558 tps=100 nb_sec=5005 case_no=144 label=Case6.132 nb_sol=0 ticks=595377 tps=100 nb_sec=5953 case_no=144 label=Case6.132 nb_sol=0 ticks=536656 tps=100 nb_sec=5366 case_no=144 label=Case6.132 nb_sol=0 ticks=749519 tps=100 nb_sec=7495 case_no=144 label=Case6.132 nb_sol=0 ticks=432361 tps=100 nb_sec=4323 case_no=144 label=Case6.132 nb_sol=0 ticks=1085938 tps=100 nb_sec=10859 case_no=144 label=Case6.132 nb_sol=0 ticks=453514 tps=100 nb_sec=4535 case_no=144 label=Case6.132 nb_sol=0 ticks=638258 tps=100 nb_sec=6382 case_no=144 label=Case6.132 nb_sol=0 ticks=446741 tps=100 nb_sec=4467 case_no=144 label=Case6.132 nb_sol=0 ticks=530680 tps=100 nb_sec=5306 case_no=144 label=Case6.132 nb_sol=0 ticks=699947 tps=100 nb_sec=6999 case_no=144 label=Case6.132 nb_sol=0 ticks=473699 tps=100 nb_sec=4736 case_no=144 label=Case6.132 nb_sol=0 ticks=233494 tps=100 nb_sec=2334 case_no=144 label=Case6.132 nb_sol=0 ticks=693640 tps=100 nb_sec=6936 case_no=144 label=Case6.132 nb_sol=0 ticks=643672 tps=100 nb_sec=6436 case_no=144 label=Case6.132 nb_sol=0 ticks=772106 tps=100 nb_sec=7721 case_no=144 label=Case6.132 nb_sol=0 ticks=533616 tps=100 nb_sec=5336 case_no=144 label=Case6.132 nb_sol=0 ticks=927554 tps=100 nb_sec=9275 case_no=144 label=Case6.132 nb_sol=0 ticks=698208 tps=100 nb_sec=6982 case_no=144 label=Case6.132 nb_sol=0 ticks=1051025 tps=100 nb_sec=10510 case_no=144 label=Case6.132 nb_sol=0 ticks=261171 tps=100 nb_sec=2611 case_no=144 label=Case6.132 nb_sol=0 ticks=1018511 tps=100 nb_sec=10185 case_no=144 label=Case6.132 nb_sol=0 ticks=357911 tps=100 nb_sec=3579 case_no=144 label=Case6.132 nb_sol=0 ticks=876334 tps=100 nb_sec=8763 case_no=144 label=Case6.132 nb_sol=0 ticks=608019 tps=100 nb_sec=6080 case_no=144 label=Case6.132 nb_sol=0 ticks=315975 tps=100 nb_sec=3159 case_no=144 label=Case6.132 nb_sol=0 ticks=815643 tps=100 nb_sec=8156 case_no=144 label=Case6.132 nb_sol=0 ticks=375824 tps=100 nb_sec=3758 case_no=144 label=Case6.132 nb_sol=0 ticks=828186 tps=100 nb_sec=8281 case_no=144 label=Case6.132 nb_sol=0 ticks=483972 tps=100 nb_sec=4839 case_no=144 label=Case6.132 nb_sol=0 ticks=724260 tps=100 nb_sec=7242 case_no=144 label=Case6.132 nb_sol=0 ticks=931423 tps=100 nb_sec=9314 case_no=144 label=Case6.132 nb_sol=0 ticks=547406 tps=100 nb_sec=5474 case_no=144 label=Case6.132 nb_sol=0 ticks=570080 tps=100 nb_sec=5700 case_no=144 label=Case6.132 nb_sol=0 ticks=549550 tps=100 nb_sec=5495 case_no=144 label=Case6.132 nb_sol=0 ticks=795687 tps=100 nb_sec=7956 case_no=144 label=Case6.132 nb_sol=0 ticks=654958 tps=100 nb_sec=6549 case_no=144 label=Case6.132 nb_sol=0 ticks=856633 tps=100 nb_sec=8566 case_no=144 label=Case6.132 nb_sol=0 ticks=745889 tps=100 nb_sec=7458 case_no=144 label=Case6.132 nb_sol=0 ticks=769708 tps=100 nb_sec=7697 case_no=144 label=Case6.132 nb_sol=0 ticks=452623 tps=100 nb_sec=4526 case_no=144 label=Case6.132 nb_sol=0 ticks=310003 tps=100 nb_sec=3100 case_no=144 label=Case6.132 nb_sol=0 ticks=402899 tps=100 nb_sec=4028 case_no=144 label=Case6.132 nb_sol=0 ticks=562312 tps=100 nb_sec=5623 case_no=144 label=Case6.132 nb_sol=0 ticks=378522 tps=100 nb_sec=3785 case_no=144 label=Case6.132 nb_sol=0 ticks=378151 tps=100 nb_sec=3781 case_no=144 label=Case6.132 nb_sol=0 ticks=682222 tps=100 nb_sec=6822 case_no=144 label=Case6.132 nb_sol=0 ticks=401891 tps=100 nb_sec=4018 case_no=144 label=Case6.132 nb_sol=0 ticks=592450 tps=100 nb_sec=5924 case_no=144 label=Case6.132 nb_sol=0 ticks=807885 tps=100 nb_sec=8078 case_no=144 label=Case6.132 nb_sol=0 ticks=727868 tps=100 nb_sec=7278 case_no=144 label=Case6.132 nb_sol=0 ticks=506805 tps=100 nb_sec=5068 case_no=144 label=Case6.132 nb_sol=0 ticks=641291 tps=100 nb_sec=6412 case_no=144 label=Case6.132 nb_sol=0 ticks=176093 tps=100 nb_sec=1760 case_no=144 label=Case6.132 nb_sol=0 ticks=460006 tps=100 nb_sec=4600 case_no=144 label=Case6.132 nb_sol=0 ticks=608485 tps=100 nb_sec=6084 case_no=144 label=Case6.132 nb_sol=0 ticks=289995 tps=100 nb_sec=2899 case_no=144 label=Case6.132 nb_sol=0 ticks=574389 tps=100 nb_sec=5743 case_no=144 label=Case6.132 nb_sol=0 ticks=554525 tps=100 nb_sec=5545 case_no=144 label=Case6.132 nb_sol=0 ticks=205155 tps=100 nb_sec=2051 case_no=144 label=Case6.132 nb_sol=0 ticks=583699 tps=100 nb_sec=5836 case_no=144 label=Case6.132 nb_sol=0 ticks=291413 tps=100 nb_sec=2914 case_no=144 label=Case6.132 nb_sol=0 ticks=676856 tps=100 nb_sec=6768 case_no=144 label=Case6.132 nb_sol=0 ticks=959598 tps=100 nb_sec=9595 case_no=144 label=Case6.132 nb_sol=0 ticks=397049 tps=100 nb_sec=3970 case_no=144 label=Case6.132 nb_sol=0 ticks=602834 tps=100 nb_sec=6028 case_no=144 label=Case6.132 nb_sol=0 ticks=497774 tps=100 nb_sec=4977 case_no=144 label=Case6.132 nb_sol=0 ticks=512496 tps=100 nb_sec=5124 case_no=144 label=Case6.132 nb_sol=0 ticks=701584 tps=100 nb_sec=7015 case_no=144 label=Case6.132 nb_sol=0 ticks=795443 tps=100 nb_sec=7954 case_no=144 label=Case6.132 nb_sol=0 ticks=516949 tps=100 nb_sec=5169 case_no=144 label=Case6.132 nb_sol=0 ticks=588771 tps=100 nb_sec=5887 case_no=144 label=Case6.132 nb_sol=0 ticks=442472 tps=100 nb_sec=4424 case_no=144 label=Case6.132 nb_sol=0 ticks=624392 tps=100 nb_sec=6243 case_no=144 label=Case6.132 nb_sol=0 ticks=755686 tps=100 nb_sec=7556 case_no=144 label=Case6.132 nb_sol=0 ticks=388264 tps=100 nb_sec=3882 case_no=144 label=Case6.132 nb_sol=0 ticks=830486 tps=100 nb_sec=8304 case_no=144 label=Case6.132 nb_sol=0 ticks=310243 tps=100 nb_sec=3102 case_no=144 label=Case6.132 nb_sol=0 ticks=579246 tps=100 nb_sec=5792 case_no=144 label=Case6.132 nb_sol=0 ticks=326755 tps=100 nb_sec=3267 case_no=144 label=Case6.132 nb_sol=0 ticks=990620 tps=100 nb_sec=9906 case_no=144 label=Case6.132 nb_sol=0 ticks=886516 tps=100 nb_sec=8865 case_no=144 label=Case6.132 nb_sol=0 ticks=634690 tps=100 nb_sec=6346 case_no=144 label=Case6.132 nb_sol=0 ticks=1004682 tps=100 nb_sec=10046 case_no=144 label=Case6.132 nb_sol=0 ticks=474751 tps=100 nb_sec=4747 case_no=144 label=Case6.132 nb_sol=0 ticks=593238 tps=100 nb_sec=5932 case_no=144 label=Case6.132 nb_sol=0 ticks=780453 tps=100 nb_sec=7804 case_no=144 label=Case6.132 nb_sol=0 ticks=946564 tps=100 nb_sec=9465 case_no=144 label=Case6.132 nb_sol=0 ticks=980999 tps=100 nb_sec=9809 case_no=144 label=Case6.132 nb_sol=0 ticks=365370 tps=100 nb_sec=3653 case_no=144 label=Case6.132 nb_sol=0 ticks=761231 tps=100 nb_sec=7612 case_no=144 label=Case6.132 nb_sol=0 ticks=318437 tps=100 nb_sec=3184 case_no=144 label=Case6.132 nb_sol=0 ticks=794776 tps=100 nb_sec=7947 case_no=144 label=Case6.132 nb_sol=0 ticks=666058 tps=100 nb_sec=6660 case_no=144 label=Case6.132 nb_sol=0 ticks=352498 tps=100 nb_sec=3524 case_no=144 label=Case6.132 nb_sol=0 ticks=610471 tps=100 nb_sec=6104 case_no=144 label=Case6.132 nb_sol=0 ticks=734187 tps=100 nb_sec=7341 case_no=144 label=Case6.132 nb_sol=0 ticks=736947 tps=100 nb_sec=7369 case_no=144 label=Case6.132 nb_sol=0 ticks=612557 tps=100 nb_sec=6125 case_no=144 label=Case6.132 nb_sol=0 ticks=273771 tps=100 nb_sec=2737 case_no=144 label=Case6.132 nb_sol=0 ticks=583583 tps=100 nb_sec=5835 case_no=144 label=Case6.132 nb_sol=0 ticks=716780 tps=100 nb_sec=7167 case_no=144 label=Case6.132 nb_sol=0 ticks=206357 tps=100 nb_sec=2063 case_no=144 label=Case6.132 nb_sol=0 ticks=756389 tps=100 nb_sec=7563 case_no=144 label=Case6.132 nb_sol=0 ticks=388798 tps=100 nb_sec=3887 case_no=144 label=Case6.132 nb_sol=0 ticks=767017 tps=100 nb_sec=7670 case_no=144 label=Case6.132 nb_sol=0 ticks=560450 tps=100 nb_sec=5604 case_no=144 label=Case6.132 nb_sol=0 ticks=327448 tps=100 nb_sec=3274 case_no=144 label=Case6.132 nb_sol=0 ticks=379394 tps=100 nb_sec=3793 case_no=144 label=Case6.132 nb_sol=0 ticks=687775 tps=100 nb_sec=6877 case_no=144 label=Case6.132 nb_sol=0 ticks=372447 tps=100 nb_sec=3724 case_no=144 label=Case6.132 nb_sol=0 ticks=551122 tps=100 nb_sec=5511 case_no=144 label=Case6.132 nb_sol=0 ticks=361477 tps=100 nb_sec=3614 case_no=144 label=Case6.132 nb_sol=0 ticks=336151 tps=100 nb_sec=3361 case_no=144 label=Case6.132 nb_sol=0 ticks=445474 tps=100 nb_sec=4454 case_no=144 label=Case6.132 nb_sol=0 ticks=675668 tps=100 nb_sec=6756 case_no=144 label=Case6.132 nb_sol=0 ticks=521248 tps=100 nb_sec=5212 case_no=144 label=Case6.132 nb_sol=0 ticks=973526 tps=100 nb_sec=9735 case_no=144 label=Case6.132 nb_sol=0 ticks=731950 tps=100 nb_sec=7319 case_no=144 label=Case6.132 nb_sol=0 ticks=632810 tps=100 nb_sec=6328 case_no=144 label=Case6.132 nb_sol=0 ticks=553637 tps=100 nb_sec=5536 case_no=144 label=Case6.132 nb_sol=0 ticks=343142 tps=100 nb_sec=3431 case_no=144 label=Case6.132 nb_sol=0 ticks=391571 tps=100 nb_sec=3915 case_no=144 label=Case6.132 nb_sol=0 ticks=639568 tps=100 nb_sec=6395 case_no=144 label=Case6.132 nb_sol=0 ticks=633541 tps=100 nb_sec=6335 case_no=144 label=Case6.132 nb_sol=0 ticks=648288 tps=100 nb_sec=6482 case_no=144 label=Case6.132 nb_sol=0 ticks=572030 tps=100 nb_sec=5720 case_no=144 label=Case6.132 nb_sol=0 ticks=528877 tps=100 nb_sec=5288 case_no=144 label=Case6.132 nb_sol=0 ticks=341877 tps=100 nb_sec=3418 case_no=144 label=Case6.132 nb_sol=0 ticks=489993 tps=100 nb_sec=4899 case_no=144 label=Case6.132 nb_sol=0 ticks=468090 tps=100 nb_sec=4680 case_no=144 label=Case6.132 nb_sol=0 ticks=257164 tps=100 nb_sec=2571 case_no=144 label=Case6.132 nb_sol=0 ticks=564629 tps=100 nb_sec=5646 case_no=144 label=Case6.132 nb_sol=0 ticks=203016 tps=100 nb_sec=2030 case_no=144 label=Case6.132 nb_sol=0 ticks=286296 tps=100 nb_sec=2862 case_no=144 label=Case6.132 nb_sol=0 ticks=783929 tps=100 nb_sec=7839 case_no=144 label=Case6.132 nb_sol=0 ticks=988731 tps=100 nb_sec=9887 case_no=144 label=Case6.132 nb_sol=0 ticks=303345 tps=100 nb_sec=3033 case_no=144 label=Case6.132 nb_sol=0 ticks=798507 tps=100 nb_sec=7985 case_no=144 label=Case6.132 nb_sol=0 ticks=648995 tps=100 nb_sec=6489 case_no=144 label=Case6.132 nb_sol=0 ticks=489484 tps=100 nb_sec=4894 case_no=144 label=Case6.132 nb_sol=0 ticks=621646 tps=100 nb_sec=6216 case_no=144 label=Case6.132 nb_sol=0 ticks=616413 tps=100 nb_sec=6164 case_no=144 label=Case6.132 nb_sol=0 ticks=517439 tps=100 nb_sec=5174 case_no=144 label=Case6.132 nb_sol=0 ticks=711757 tps=100 nb_sec=7117 case_no=144 label=Case6.132 nb_sol=0 ticks=481306 tps=100 nb_sec=4813 case_no=144 label=Case6.132 nb_sol=0 ticks=527212 tps=100 nb_sec=5272 case_no=144 label=Case6.132 nb_sol=0 ticks=745658 tps=100 nb_sec=7456 case_no=144 label=Case6.132 nb_sol=0 ticks=606003 tps=100 nb_sec=6060 case_no=144 label=Case6.132 nb_sol=0 ticks=426349 tps=100 nb_sec=4263 case_no=144 label=Case6.132 nb_sol=0 ticks=753592 tps=100 nb_sec=7535 case_no=144 label=Case6.132 nb_sol=0 ticks=501911 tps=100 nb_sec=5019 case_no=144 label=Case6.132 nb_sol=0 ticks=407064 tps=100 nb_sec=4070 case_no=144 label=Case6.132 nb_sol=0 ticks=266558 tps=100 nb_sec=2665 case_no=144 label=Case6.132 nb_sol=0 ticks=474236 tps=100 nb_sec=4742 case_no=144 label=Case6.132 nb_sol=0 ticks=613458 tps=100 nb_sec=6134 case_no=144 label=Case6.132 nb_sol=0 ticks=345065 tps=100 nb_sec=3450 case_no=144 label=Case6.132 nb_sol=0 ticks=414793 tps=100 nb_sec=4147 case_no=144 label=Case6.132 nb_sol=0 ticks=530024 tps=100 nb_sec=5300 case_no=144 label=Case6.132 nb_sol=0 ticks=328779 tps=100 nb_sec=3287 case_no=144 label=Case6.132 nb_sol=0 ticks=611255 tps=100 nb_sec=6112 case_no=144 label=Case6.132 nb_sol=0 ticks=713886 tps=100 nb_sec=7138 case_no=144 label=Case6.132 nb_sol=0 ticks=605898 tps=100 nb_sec=6058 case_no=144 label=Case6.132 nb_sol=0 ticks=526157 tps=100 nb_sec=5261 case_no=144 label=Case6.132 nb_sol=0 ticks=515233 tps=100 nb_sec=5152 case_no=144 label=Case6.132 nb_sol=0 ticks=348292 tps=100 nb_sec=3482 case_no=144 label=Case6.132 nb_sol=0 ticks=505552 tps=100 nb_sec=5055 Nb_sol=0 Nb_sec=6017490 69-15:31:30 or 1671 hours missing cases: none