argc=5 -M 2048 file2=30_select_Case6.80_starter_16_ checking files mod 2048 from 0 to 2047 case_no=92 label=Case6.80 nb_sol=0 ticks=31067 tps=100 nb_sec=310 case_no=92 label=Case6.80 nb_sol=0 ticks=25579 tps=100 nb_sec=255 case_no=92 label=Case6.80 nb_sol=0 ticks=13941 tps=100 nb_sec=139 case_no=92 label=Case6.80 nb_sol=0 ticks=22486 tps=100 nb_sec=224 case_no=92 label=Case6.80 nb_sol=0 ticks=14499 tps=100 nb_sec=144 case_no=92 label=Case6.80 nb_sol=0 ticks=22125 tps=100 nb_sec=221 case_no=92 label=Case6.80 nb_sol=0 ticks=20088 tps=100 nb_sec=200 case_no=92 label=Case6.80 nb_sol=0 ticks=22107 tps=100 nb_sec=221 case_no=92 label=Case6.80 nb_sol=0 ticks=28659 tps=100 nb_sec=286 case_no=92 label=Case6.80 nb_sol=0 ticks=23156 tps=100 nb_sec=231 case_no=92 label=Case6.80 nb_sol=0 ticks=19102 tps=100 nb_sec=191 case_no=92 label=Case6.80 nb_sol=0 ticks=36515 tps=100 nb_sec=365 case_no=92 label=Case6.80 nb_sol=0 ticks=31614 tps=100 nb_sec=316 case_no=92 label=Case6.80 nb_sol=0 ticks=25602 tps=100 nb_sec=256 case_no=92 label=Case6.80 nb_sol=0 ticks=14281 tps=100 nb_sec=142 case_no=92 label=Case6.80 nb_sol=0 ticks=20609 tps=100 nb_sec=206 case_no=92 label=Case6.80 nb_sol=0 ticks=17205 tps=100 nb_sec=172 case_no=92 label=Case6.80 nb_sol=0 ticks=20238 tps=100 nb_sec=202 case_no=92 label=Case6.80 nb_sol=0 ticks=20617 tps=100 nb_sec=206 case_no=92 label=Case6.80 nb_sol=0 ticks=16491 tps=100 nb_sec=164 case_no=92 label=Case6.80 nb_sol=0 ticks=23166 tps=100 nb_sec=231 case_no=92 label=Case6.80 nb_sol=0 ticks=29337 tps=100 nb_sec=293 case_no=92 label=Case6.80 nb_sol=0 ticks=18627 tps=100 nb_sec=186 case_no=92 label=Case6.80 nb_sol=0 ticks=19907 tps=100 nb_sec=199 case_no=92 label=Case6.80 nb_sol=0 ticks=13357 tps=100 nb_sec=133 case_no=92 label=Case6.80 nb_sol=0 ticks=28122 tps=100 nb_sec=281 case_no=92 label=Case6.80 nb_sol=0 ticks=19549 tps=100 nb_sec=195 case_no=92 label=Case6.80 nb_sol=0 ticks=21564 tps=100 nb_sec=215 case_no=92 label=Case6.80 nb_sol=0 ticks=19223 tps=100 nb_sec=192 case_no=92 label=Case6.80 nb_sol=0 ticks=19818 tps=100 nb_sec=198 case_no=92 label=Case6.80 nb_sol=0 ticks=28890 tps=100 nb_sec=288 case_no=92 label=Case6.80 nb_sol=0 ticks=18006 tps=100 nb_sec=180 case_no=92 label=Case6.80 nb_sol=0 ticks=13162 tps=100 nb_sec=131 case_no=92 label=Case6.80 nb_sol=0 ticks=15352 tps=100 nb_sec=153 case_no=92 label=Case6.80 nb_sol=0 ticks=28393 tps=100 nb_sec=283 case_no=92 label=Case6.80 nb_sol=0 ticks=25043 tps=100 nb_sec=250 case_no=92 label=Case6.80 nb_sol=0 ticks=13152 tps=100 nb_sec=131 case_no=92 label=Case6.80 nb_sol=0 ticks=20998 tps=100 nb_sec=209 case_no=92 label=Case6.80 nb_sol=0 ticks=8872 tps=100 nb_sec=88 case_no=92 label=Case6.80 nb_sol=0 ticks=33873 tps=100 nb_sec=338 case_no=92 label=Case6.80 nb_sol=0 ticks=10844 tps=100 nb_sec=108 case_no=92 label=Case6.80 nb_sol=0 ticks=20243 tps=100 nb_sec=202 case_no=92 label=Case6.80 nb_sol=0 ticks=14779 tps=100 nb_sec=147 case_no=92 label=Case6.80 nb_sol=0 ticks=17416 tps=100 nb_sec=174 case_no=92 label=Case6.80 nb_sol=0 ticks=16818 tps=100 nb_sec=168 case_no=92 label=Case6.80 nb_sol=0 ticks=30708 tps=100 nb_sec=307 case_no=92 label=Case6.80 nb_sol=0 ticks=19497 tps=100 nb_sec=194 case_no=92 label=Case6.80 nb_sol=0 ticks=11899 tps=100 nb_sec=118 case_no=92 label=Case6.80 nb_sol=0 ticks=15684 tps=100 nb_sec=156 case_no=92 label=Case6.80 nb_sol=0 ticks=10580 tps=100 nb_sec=105 case_no=92 label=Case6.80 nb_sol=0 ticks=12533 tps=100 nb_sec=125 case_no=92 label=Case6.80 nb_sol=0 ticks=24971 tps=100 nb_sec=249 case_no=92 label=Case6.80 nb_sol=0 ticks=17017 tps=100 nb_sec=170 case_no=92 label=Case6.80 nb_sol=0 ticks=17664 tps=100 nb_sec=176 case_no=92 label=Case6.80 nb_sol=0 ticks=13883 tps=100 nb_sec=138 case_no=92 label=Case6.80 nb_sol=0 ticks=18258 tps=100 nb_sec=182 case_no=92 label=Case6.80 nb_sol=0 ticks=20470 tps=100 nb_sec=204 case_no=92 label=Case6.80 nb_sol=0 ticks=17735 tps=100 nb_sec=177 case_no=92 label=Case6.80 nb_sol=0 ticks=17663 tps=100 nb_sec=176 case_no=92 label=Case6.80 nb_sol=0 ticks=10196 tps=100 nb_sec=101 case_no=92 label=Case6.80 nb_sol=0 ticks=16323 tps=100 nb_sec=163 case_no=92 label=Case6.80 nb_sol=0 ticks=13975 tps=100 nb_sec=139 case_no=92 label=Case6.80 nb_sol=0 ticks=13568 tps=100 nb_sec=135 case_no=92 label=Case6.80 nb_sol=0 ticks=20770 tps=100 nb_sec=207 case_no=92 label=Case6.80 nb_sol=0 ticks=20094 tps=100 nb_sec=200 case_no=92 label=Case6.80 nb_sol=0 ticks=18007 tps=100 nb_sec=180 case_no=92 label=Case6.80 nb_sol=0 ticks=15280 tps=100 nb_sec=152 case_no=92 label=Case6.80 nb_sol=0 ticks=12334 tps=100 nb_sec=123 case_no=92 label=Case6.80 nb_sol=0 ticks=15404 tps=100 nb_sec=154 case_no=92 label=Case6.80 nb_sol=0 ticks=19469 tps=100 nb_sec=194 case_no=92 label=Case6.80 nb_sol=0 ticks=9926 tps=100 nb_sec=99 case_no=92 label=Case6.80 nb_sol=0 ticks=16579 tps=100 nb_sec=165 case_no=92 label=Case6.80 nb_sol=0 ticks=20067 tps=100 nb_sec=200 case_no=92 label=Case6.80 nb_sol=0 ticks=20865 tps=100 nb_sec=208 case_no=92 label=Case6.80 nb_sol=0 ticks=16080 tps=100 nb_sec=160 case_no=92 label=Case6.80 nb_sol=0 ticks=19930 tps=100 nb_sec=199 case_no=92 label=Case6.80 nb_sol=0 ticks=14828 tps=100 nb_sec=148 case_no=92 label=Case6.80 nb_sol=0 ticks=18711 tps=100 nb_sec=187 case_no=92 label=Case6.80 nb_sol=0 ticks=21262 tps=100 nb_sec=212 case_no=92 label=Case6.80 nb_sol=0 ticks=17807 tps=100 nb_sec=178 case_no=92 label=Case6.80 nb_sol=0 ticks=18306 tps=100 nb_sec=183 case_no=92 label=Case6.80 nb_sol=0 ticks=14184 tps=100 nb_sec=141 case_no=92 label=Case6.80 nb_sol=0 ticks=15889 tps=100 nb_sec=158 case_no=92 label=Case6.80 nb_sol=0 ticks=17695 tps=100 nb_sec=176 case_no=92 label=Case6.80 nb_sol=0 ticks=14227 tps=100 nb_sec=142 case_no=92 label=Case6.80 nb_sol=0 ticks=21393 tps=100 nb_sec=213 case_no=92 label=Case6.80 nb_sol=0 ticks=18541 tps=100 nb_sec=185 case_no=92 label=Case6.80 nb_sol=0 ticks=32371 tps=100 nb_sec=323 case_no=92 label=Case6.80 nb_sol=0 ticks=32500 tps=100 nb_sec=325 case_no=92 label=Case6.80 nb_sol=0 ticks=14408 tps=100 nb_sec=144 case_no=92 label=Case6.80 nb_sol=0 ticks=13802 tps=100 nb_sec=138 case_no=92 label=Case6.80 nb_sol=0 ticks=15622 tps=100 nb_sec=156 case_no=92 label=Case6.80 nb_sol=0 ticks=26488 tps=100 nb_sec=264 case_no=92 label=Case6.80 nb_sol=0 ticks=28054 tps=100 nb_sec=280 case_no=92 label=Case6.80 nb_sol=0 ticks=13869 tps=100 nb_sec=138 case_no=92 label=Case6.80 nb_sol=0 ticks=30667 tps=100 nb_sec=306 case_no=92 label=Case6.80 nb_sol=0 ticks=17671 tps=100 nb_sec=176 case_no=92 label=Case6.80 nb_sol=0 ticks=9355 tps=100 nb_sec=93 case_no=92 label=Case6.80 nb_sol=0 ticks=15374 tps=100 nb_sec=153 case_no=92 label=Case6.80 nb_sol=0 ticks=9435 tps=100 nb_sec=94 case_no=92 label=Case6.80 nb_sol=0 ticks=15671 tps=100 nb_sec=156 case_no=92 label=Case6.80 nb_sol=0 ticks=14659 tps=100 nb_sec=146 case_no=92 label=Case6.80 nb_sol=0 ticks=18016 tps=100 nb_sec=180 case_no=92 label=Case6.80 nb_sol=0 ticks=16787 tps=100 nb_sec=167 case_no=92 label=Case6.80 nb_sol=0 ticks=20267 tps=100 nb_sec=202 case_no=92 label=Case6.80 nb_sol=0 ticks=14286 tps=100 nb_sec=142 case_no=92 label=Case6.80 nb_sol=0 ticks=21695 tps=100 nb_sec=216 case_no=92 label=Case6.80 nb_sol=0 ticks=20441 tps=100 nb_sec=204 case_no=92 label=Case6.80 nb_sol=0 ticks=15634 tps=100 nb_sec=156 case_no=92 label=Case6.80 nb_sol=0 ticks=19016 tps=100 nb_sec=190 case_no=92 label=Case6.80 nb_sol=0 ticks=21345 tps=100 nb_sec=213 case_no=92 label=Case6.80 nb_sol=0 ticks=34105 tps=100 nb_sec=341 case_no=92 label=Case6.80 nb_sol=0 ticks=8572 tps=100 nb_sec=85 case_no=92 label=Case6.80 nb_sol=0 ticks=32649 tps=100 nb_sec=326 case_no=92 label=Case6.80 nb_sol=0 ticks=20766 tps=100 nb_sec=207 case_no=92 label=Case6.80 nb_sol=0 ticks=22633 tps=100 nb_sec=226 case_no=92 label=Case6.80 nb_sol=0 ticks=32331 tps=100 nb_sec=323 case_no=92 label=Case6.80 nb_sol=0 ticks=19614 tps=100 nb_sec=196 case_no=92 label=Case6.80 nb_sol=0 ticks=15277 tps=100 nb_sec=152 case_no=92 label=Case6.80 nb_sol=0 ticks=19647 tps=100 nb_sec=196 case_no=92 label=Case6.80 nb_sol=0 ticks=31206 tps=100 nb_sec=312 case_no=92 label=Case6.80 nb_sol=0 ticks=22484 tps=100 nb_sec=224 case_no=92 label=Case6.80 nb_sol=0 ticks=14581 tps=100 nb_sec=145 case_no=92 label=Case6.80 nb_sol=0 ticks=33030 tps=100 nb_sec=330 case_no=92 label=Case6.80 nb_sol=0 ticks=18256 tps=100 nb_sec=182 case_no=92 label=Case6.80 nb_sol=0 ticks=29495 tps=100 nb_sec=294 case_no=92 label=Case6.80 nb_sol=0 ticks=18694 tps=100 nb_sec=186 case_no=92 label=Case6.80 nb_sol=0 ticks=9118 tps=100 nb_sec=91 case_no=92 label=Case6.80 nb_sol=0 ticks=16735 tps=100 nb_sec=167 case_no=92 label=Case6.80 nb_sol=0 ticks=20260 tps=100 nb_sec=202 case_no=92 label=Case6.80 nb_sol=0 ticks=10262 tps=100 nb_sec=102 case_no=92 label=Case6.80 nb_sol=0 ticks=16168 tps=100 nb_sec=161 case_no=92 label=Case6.80 nb_sol=0 ticks=18093 tps=100 nb_sec=180 case_no=92 label=Case6.80 nb_sol=0 ticks=17562 tps=100 nb_sec=175 case_no=92 label=Case6.80 nb_sol=0 ticks=12378 tps=100 nb_sec=123 case_no=92 label=Case6.80 nb_sol=0 ticks=11912 tps=100 nb_sec=119 case_no=92 label=Case6.80 nb_sol=0 ticks=12257 tps=100 nb_sec=122 case_no=92 label=Case6.80 nb_sol=0 ticks=14998 tps=100 nb_sec=149 case_no=92 label=Case6.80 nb_sol=0 ticks=17146 tps=100 nb_sec=171 case_no=92 label=Case6.80 nb_sol=0 ticks=9425 tps=100 nb_sec=94 case_no=92 label=Case6.80 nb_sol=0 ticks=12542 tps=100 nb_sec=125 case_no=92 label=Case6.80 nb_sol=0 ticks=14813 tps=100 nb_sec=148 case_no=92 label=Case6.80 nb_sol=0 ticks=9342 tps=100 nb_sec=93 case_no=92 label=Case6.80 nb_sol=0 ticks=17676 tps=100 nb_sec=176 case_no=92 label=Case6.80 nb_sol=0 ticks=21231 tps=100 nb_sec=212 case_no=92 label=Case6.80 nb_sol=0 ticks=10285 tps=100 nb_sec=102 case_no=92 label=Case6.80 nb_sol=0 ticks=20349 tps=100 nb_sec=203 case_no=92 label=Case6.80 nb_sol=0 ticks=21521 tps=100 nb_sec=215 case_no=92 label=Case6.80 nb_sol=0 ticks=17695 tps=100 nb_sec=176 case_no=92 label=Case6.80 nb_sol=0 ticks=20155 tps=100 nb_sec=201 case_no=92 label=Case6.80 nb_sol=0 ticks=17247 tps=100 nb_sec=172 case_no=92 label=Case6.80 nb_sol=0 ticks=18642 tps=100 nb_sec=186 case_no=92 label=Case6.80 nb_sol=0 ticks=16975 tps=100 nb_sec=169 case_no=92 label=Case6.80 nb_sol=0 ticks=19029 tps=100 nb_sec=190 case_no=92 label=Case6.80 nb_sol=0 ticks=20633 tps=100 nb_sec=206 case_no=92 label=Case6.80 nb_sol=0 ticks=21343 tps=100 nb_sec=213 case_no=92 label=Case6.80 nb_sol=0 ticks=15699 tps=100 nb_sec=156 case_no=92 label=Case6.80 nb_sol=0 ticks=8143 tps=100 nb_sec=81 case_no=92 label=Case6.80 nb_sol=0 ticks=23202 tps=100 nb_sec=232 case_no=92 label=Case6.80 nb_sol=0 ticks=20331 tps=100 nb_sec=203 case_no=92 label=Case6.80 nb_sol=0 ticks=18899 tps=100 nb_sec=188 case_no=92 label=Case6.80 nb_sol=0 ticks=20928 tps=100 nb_sec=209 case_no=92 label=Case6.80 nb_sol=0 ticks=12744 tps=100 nb_sec=127 case_no=92 label=Case6.80 nb_sol=0 ticks=16934 tps=100 nb_sec=169 case_no=92 label=Case6.80 nb_sol=0 ticks=27925 tps=100 nb_sec=279 case_no=92 label=Case6.80 nb_sol=0 ticks=13947 tps=100 nb_sec=139 case_no=92 label=Case6.80 nb_sol=0 ticks=15067 tps=100 nb_sec=150 case_no=92 label=Case6.80 nb_sol=0 ticks=29937 tps=100 nb_sec=299 case_no=92 label=Case6.80 nb_sol=0 ticks=17836 tps=100 nb_sec=178 case_no=92 label=Case6.80 nb_sol=0 ticks=17928 tps=100 nb_sec=179 case_no=92 label=Case6.80 nb_sol=0 ticks=11976 tps=100 nb_sec=119 case_no=92 label=Case6.80 nb_sol=0 ticks=16374 tps=100 nb_sec=163 case_no=92 label=Case6.80 nb_sol=0 ticks=31436 tps=100 nb_sec=314 case_no=92 label=Case6.80 nb_sol=0 ticks=18461 tps=100 nb_sec=184 case_no=92 label=Case6.80 nb_sol=0 ticks=13339 tps=100 nb_sec=133 case_no=92 label=Case6.80 nb_sol=0 ticks=30947 tps=100 nb_sec=309 case_no=92 label=Case6.80 nb_sol=0 ticks=16496 tps=100 nb_sec=164 case_no=92 label=Case6.80 nb_sol=0 ticks=11494 tps=100 nb_sec=114 case_no=92 label=Case6.80 nb_sol=0 ticks=35475 tps=100 nb_sec=354 case_no=92 label=Case6.80 nb_sol=0 ticks=14241 tps=100 nb_sec=142 case_no=92 label=Case6.80 nb_sol=0 ticks=14887 tps=100 nb_sec=148 case_no=92 label=Case6.80 nb_sol=0 ticks=34941 tps=100 nb_sec=349 case_no=92 label=Case6.80 nb_sol=0 ticks=11341 tps=100 nb_sec=113 case_no=92 label=Case6.80 nb_sol=0 ticks=20433 tps=100 nb_sec=204 case_no=92 label=Case6.80 nb_sol=0 ticks=14256 tps=100 nb_sec=142 case_no=92 label=Case6.80 nb_sol=0 ticks=16874 tps=100 nb_sec=168 case_no=92 label=Case6.80 nb_sol=0 ticks=20551 tps=100 nb_sec=205 case_no=92 label=Case6.80 nb_sol=0 ticks=13740 tps=100 nb_sec=137 case_no=92 label=Case6.80 nb_sol=0 ticks=12156 tps=100 nb_sec=121 case_no=92 label=Case6.80 nb_sol=0 ticks=20759 tps=100 nb_sec=207 case_no=92 label=Case6.80 nb_sol=0 ticks=8812 tps=100 nb_sec=88 case_no=92 label=Case6.80 nb_sol=0 ticks=15849 tps=100 nb_sec=158 case_no=92 label=Case6.80 nb_sol=0 ticks=21382 tps=100 nb_sec=213 case_no=92 label=Case6.80 nb_sol=0 ticks=14054 tps=100 nb_sec=140 case_no=92 label=Case6.80 nb_sol=0 ticks=20044 tps=100 nb_sec=200 case_no=92 label=Case6.80 nb_sol=0 ticks=20217 tps=100 nb_sec=202 case_no=92 label=Case6.80 nb_sol=0 ticks=34404 tps=100 nb_sec=344 case_no=92 label=Case6.80 nb_sol=0 ticks=14875 tps=100 nb_sec=148 case_no=92 label=Case6.80 nb_sol=0 ticks=17910 tps=100 nb_sec=179 case_no=92 label=Case6.80 nb_sol=0 ticks=16296 tps=100 nb_sec=162 case_no=92 label=Case6.80 nb_sol=0 ticks=14055 tps=100 nb_sec=140 case_no=92 label=Case6.80 nb_sol=0 ticks=26075 tps=100 nb_sec=260 case_no=92 label=Case6.80 nb_sol=0 ticks=17802 tps=100 nb_sec=178 case_no=92 label=Case6.80 nb_sol=0 ticks=31636 tps=100 nb_sec=316 case_no=92 label=Case6.80 nb_sol=0 ticks=14079 tps=100 nb_sec=140 case_no=92 label=Case6.80 nb_sol=0 ticks=17884 tps=100 nb_sec=178 case_no=92 label=Case6.80 nb_sol=0 ticks=13173 tps=100 nb_sec=131 case_no=92 label=Case6.80 nb_sol=0 ticks=28880 tps=100 nb_sec=288 case_no=92 label=Case6.80 nb_sol=0 ticks=19711 tps=100 nb_sec=197 case_no=92 label=Case6.80 nb_sol=0 ticks=15531 tps=100 nb_sec=155 case_no=92 label=Case6.80 nb_sol=0 ticks=17336 tps=100 nb_sec=173 case_no=92 label=Case6.80 nb_sol=0 ticks=17374 tps=100 nb_sec=173 case_no=92 label=Case6.80 nb_sol=0 ticks=16035 tps=100 nb_sec=160 case_no=92 label=Case6.80 nb_sol=0 ticks=18981 tps=100 nb_sec=189 case_no=92 label=Case6.80 nb_sol=0 ticks=12854 tps=100 nb_sec=128 case_no=92 label=Case6.80 nb_sol=0 ticks=13946 tps=100 nb_sec=139 case_no=92 label=Case6.80 nb_sol=0 ticks=19305 tps=100 nb_sec=193 case_no=92 label=Case6.80 nb_sol=0 ticks=18548 tps=100 nb_sec=185 case_no=92 label=Case6.80 nb_sol=0 ticks=13269 tps=100 nb_sec=132 case_no=92 label=Case6.80 nb_sol=0 ticks=11894 tps=100 nb_sec=118 case_no=92 label=Case6.80 nb_sol=0 ticks=14463 tps=100 nb_sec=144 case_no=92 label=Case6.80 nb_sol=0 ticks=16286 tps=100 nb_sec=162 case_no=92 label=Case6.80 nb_sol=0 ticks=20754 tps=100 nb_sec=207 case_no=92 label=Case6.80 nb_sol=0 ticks=15709 tps=100 nb_sec=157 case_no=92 label=Case6.80 nb_sol=0 ticks=14657 tps=100 nb_sec=146 case_no=92 label=Case6.80 nb_sol=0 ticks=15560 tps=100 nb_sec=155 case_no=92 label=Case6.80 nb_sol=0 ticks=12633 tps=100 nb_sec=126 case_no=92 label=Case6.80 nb_sol=0 ticks=15630 tps=100 nb_sec=156 case_no=92 label=Case6.80 nb_sol=0 ticks=31171 tps=100 nb_sec=311 case_no=92 label=Case6.80 nb_sol=0 ticks=14006 tps=100 nb_sec=140 case_no=92 label=Case6.80 nb_sol=0 ticks=22250 tps=100 nb_sec=222 case_no=92 label=Case6.80 nb_sol=0 ticks=13776 tps=100 nb_sec=137 case_no=92 label=Case6.80 nb_sol=0 ticks=19426 tps=100 nb_sec=194 case_no=92 label=Case6.80 nb_sol=0 ticks=14122 tps=100 nb_sec=141 case_no=92 label=Case6.80 nb_sol=0 ticks=20973 tps=100 nb_sec=209 case_no=92 label=Case6.80 nb_sol=0 ticks=13799 tps=100 nb_sec=137 case_no=92 label=Case6.80 nb_sol=0 ticks=11902 tps=100 nb_sec=119 case_no=92 label=Case6.80 nb_sol=0 ticks=12814 tps=100 nb_sec=128 case_no=92 label=Case6.80 nb_sol=0 ticks=11565 tps=100 nb_sec=115 case_no=92 label=Case6.80 nb_sol=0 ticks=13808 tps=100 nb_sec=138 case_no=92 label=Case6.80 nb_sol=0 ticks=28792 tps=100 nb_sec=287 case_no=92 label=Case6.80 nb_sol=0 ticks=14338 tps=100 nb_sec=143 case_no=92 label=Case6.80 nb_sol=0 ticks=19728 tps=100 nb_sec=197 case_no=92 label=Case6.80 nb_sol=0 ticks=30708 tps=100 nb_sec=307 case_no=92 label=Case6.80 nb_sol=0 ticks=12467 tps=100 nb_sec=124 case_no=92 label=Case6.80 nb_sol=0 ticks=15909 tps=100 nb_sec=159 case_no=92 label=Case6.80 nb_sol=0 ticks=24110 tps=100 nb_sec=241 case_no=92 label=Case6.80 nb_sol=0 ticks=15474 tps=100 nb_sec=154 case_no=92 label=Case6.80 nb_sol=0 ticks=21708 tps=100 nb_sec=217 case_no=92 label=Case6.80 nb_sol=0 ticks=19520 tps=100 nb_sec=195 case_no=92 label=Case6.80 nb_sol=0 ticks=15527 tps=100 nb_sec=155 case_no=92 label=Case6.80 nb_sol=0 ticks=13906 tps=100 nb_sec=139 case_no=92 label=Case6.80 nb_sol=0 ticks=14397 tps=100 nb_sec=143 case_no=92 label=Case6.80 nb_sol=0 ticks=16305 tps=100 nb_sec=163 case_no=92 label=Case6.80 nb_sol=0 ticks=13674 tps=100 nb_sec=136 case_no=92 label=Case6.80 nb_sol=0 ticks=22725 tps=100 nb_sec=227 case_no=92 label=Case6.80 nb_sol=0 ticks=24043 tps=100 nb_sec=240 case_no=92 label=Case6.80 nb_sol=0 ticks=12785 tps=100 nb_sec=127 case_no=92 label=Case6.80 nb_sol=0 ticks=16259 tps=100 nb_sec=162 case_no=92 label=Case6.80 nb_sol=0 ticks=22569 tps=100 nb_sec=225 case_no=92 label=Case6.80 nb_sol=0 ticks=18808 tps=100 nb_sec=188 case_no=92 label=Case6.80 nb_sol=0 ticks=35037 tps=100 nb_sec=350 case_no=92 label=Case6.80 nb_sol=0 ticks=20492 tps=100 nb_sec=204 case_no=92 label=Case6.80 nb_sol=0 ticks=19735 tps=100 nb_sec=197 case_no=92 label=Case6.80 nb_sol=0 ticks=18796 tps=100 nb_sec=187 case_no=92 label=Case6.80 nb_sol=0 ticks=12892 tps=100 nb_sec=128 case_no=92 label=Case6.80 nb_sol=0 ticks=22425 tps=100 nb_sec=224 case_no=92 label=Case6.80 nb_sol=0 ticks=15550 tps=100 nb_sec=155 case_no=92 label=Case6.80 nb_sol=0 ticks=26492 tps=100 nb_sec=264 case_no=92 label=Case6.80 nb_sol=0 ticks=21271 tps=100 nb_sec=212 case_no=92 label=Case6.80 nb_sol=0 ticks=14572 tps=100 nb_sec=145 case_no=92 label=Case6.80 nb_sol=0 ticks=13834 tps=100 nb_sec=138 case_no=92 label=Case6.80 nb_sol=0 ticks=21488 tps=100 nb_sec=214 case_no=92 label=Case6.80 nb_sol=0 ticks=15297 tps=100 nb_sec=152 case_no=92 label=Case6.80 nb_sol=0 ticks=31523 tps=100 nb_sec=315 case_no=92 label=Case6.80 nb_sol=0 ticks=14957 tps=100 nb_sec=149 case_no=92 label=Case6.80 nb_sol=0 ticks=17443 tps=100 nb_sec=174 case_no=92 label=Case6.80 nb_sol=0 ticks=37615 tps=100 nb_sec=376 case_no=92 label=Case6.80 nb_sol=0 ticks=20836 tps=100 nb_sec=208 case_no=92 label=Case6.80 nb_sol=0 ticks=17994 tps=100 nb_sec=179 case_no=92 label=Case6.80 nb_sol=0 ticks=13416 tps=100 nb_sec=134 case_no=92 label=Case6.80 nb_sol=0 ticks=20356 tps=100 nb_sec=203 case_no=92 label=Case6.80 nb_sol=0 ticks=22469 tps=100 nb_sec=224 case_no=92 label=Case6.80 nb_sol=0 ticks=17464 tps=100 nb_sec=174 case_no=92 label=Case6.80 nb_sol=0 ticks=20432 tps=100 nb_sec=204 case_no=92 label=Case6.80 nb_sol=0 ticks=15051 tps=100 nb_sec=150 case_no=92 label=Case6.80 nb_sol=0 ticks=21050 tps=100 nb_sec=210 case_no=92 label=Case6.80 nb_sol=0 ticks=16580 tps=100 nb_sec=165 case_no=92 label=Case6.80 nb_sol=0 ticks=21247 tps=100 nb_sec=212 case_no=92 label=Case6.80 nb_sol=0 ticks=20097 tps=100 nb_sec=200 case_no=92 label=Case6.80 nb_sol=0 ticks=19273 tps=100 nb_sec=192 case_no=92 label=Case6.80 nb_sol=0 ticks=21862 tps=100 nb_sec=218 case_no=92 label=Case6.80 nb_sol=0 ticks=20188 tps=100 nb_sec=201 case_no=92 label=Case6.80 nb_sol=0 ticks=29318 tps=100 nb_sec=293 case_no=92 label=Case6.80 nb_sol=0 ticks=20538 tps=100 nb_sec=205 case_no=92 label=Case6.80 nb_sol=0 ticks=19321 tps=100 nb_sec=193 case_no=92 label=Case6.80 nb_sol=0 ticks=15051 tps=100 nb_sec=150 case_no=92 label=Case6.80 nb_sol=0 ticks=13940 tps=100 nb_sec=139 case_no=92 label=Case6.80 nb_sol=0 ticks=19396 tps=100 nb_sec=193 case_no=92 label=Case6.80 nb_sol=0 ticks=14895 tps=100 nb_sec=148 case_no=92 label=Case6.80 nb_sol=0 ticks=14196 tps=100 nb_sec=141 case_no=92 label=Case6.80 nb_sol=0 ticks=20603 tps=100 nb_sec=206 case_no=92 label=Case6.80 nb_sol=0 ticks=22038 tps=100 nb_sec=220 case_no=92 label=Case6.80 nb_sol=0 ticks=23040 tps=100 nb_sec=230 case_no=92 label=Case6.80 nb_sol=0 ticks=15039 tps=100 nb_sec=150 case_no=92 label=Case6.80 nb_sol=0 ticks=13816 tps=100 nb_sec=138 case_no=92 label=Case6.80 nb_sol=0 ticks=16854 tps=100 nb_sec=168 case_no=92 label=Case6.80 nb_sol=0 ticks=13733 tps=100 nb_sec=137 case_no=92 label=Case6.80 nb_sol=0 ticks=18261 tps=100 nb_sec=182 case_no=92 label=Case6.80 nb_sol=0 ticks=13817 tps=100 nb_sec=138 case_no=92 label=Case6.80 nb_sol=0 ticks=23984 tps=100 nb_sec=239 case_no=92 label=Case6.80 nb_sol=0 ticks=14977 tps=100 nb_sec=149 case_no=92 label=Case6.80 nb_sol=0 ticks=20472 tps=100 nb_sec=204 case_no=92 label=Case6.80 nb_sol=0 ticks=14053 tps=100 nb_sec=140 case_no=92 label=Case6.80 nb_sol=0 ticks=36205 tps=100 nb_sec=362 case_no=92 label=Case6.80 nb_sol=0 ticks=15737 tps=100 nb_sec=157 case_no=92 label=Case6.80 nb_sol=0 ticks=20167 tps=100 nb_sec=201 case_no=92 label=Case6.80 nb_sol=0 ticks=12855 tps=100 nb_sec=128 case_no=92 label=Case6.80 nb_sol=0 ticks=23090 tps=100 nb_sec=230 case_no=92 label=Case6.80 nb_sol=0 ticks=18255 tps=100 nb_sec=182 case_no=92 label=Case6.80 nb_sol=0 ticks=22329 tps=100 nb_sec=223 case_no=92 label=Case6.80 nb_sol=0 ticks=18749 tps=100 nb_sec=187 case_no=92 label=Case6.80 nb_sol=0 ticks=30377 tps=100 nb_sec=303 case_no=92 label=Case6.80 nb_sol=0 ticks=13648 tps=100 nb_sec=136 case_no=92 label=Case6.80 nb_sol=0 ticks=21071 tps=100 nb_sec=210 case_no=92 label=Case6.80 nb_sol=0 ticks=16263 tps=100 nb_sec=162 case_no=92 label=Case6.80 nb_sol=0 ticks=14481 tps=100 nb_sec=144 case_no=92 label=Case6.80 nb_sol=0 ticks=24967 tps=100 nb_sec=249 case_no=92 label=Case6.80 nb_sol=0 ticks=20905 tps=100 nb_sec=209 case_no=92 label=Case6.80 nb_sol=0 ticks=31062 tps=100 nb_sec=310 case_no=92 label=Case6.80 nb_sol=0 ticks=23820 tps=100 nb_sec=238 case_no=92 label=Case6.80 nb_sol=0 ticks=20093 tps=100 nb_sec=200 case_no=92 label=Case6.80 nb_sol=0 ticks=23031 tps=100 nb_sec=230 case_no=92 label=Case6.80 nb_sol=0 ticks=19248 tps=100 nb_sec=192 case_no=92 label=Case6.80 nb_sol=0 ticks=23543 tps=100 nb_sec=235 case_no=92 label=Case6.80 nb_sol=0 ticks=16551 tps=100 nb_sec=165 case_no=92 label=Case6.80 nb_sol=0 ticks=19271 tps=100 nb_sec=192 case_no=92 label=Case6.80 nb_sol=0 ticks=12831 tps=100 nb_sec=128 case_no=92 label=Case6.80 nb_sol=0 ticks=21340 tps=100 nb_sec=213 case_no=92 label=Case6.80 nb_sol=0 ticks=12525 tps=100 nb_sec=125 case_no=92 label=Case6.80 nb_sol=0 ticks=18306 tps=100 nb_sec=183 case_no=92 label=Case6.80 nb_sol=0 ticks=13182 tps=100 nb_sec=131 case_no=92 label=Case6.80 nb_sol=0 ticks=14530 tps=100 nb_sec=145 case_no=92 label=Case6.80 nb_sol=0 ticks=11275 tps=100 nb_sec=112 case_no=92 label=Case6.80 nb_sol=0 ticks=21466 tps=100 nb_sec=214 case_no=92 label=Case6.80 nb_sol=0 ticks=17910 tps=100 nb_sec=179 case_no=92 label=Case6.80 nb_sol=0 ticks=14275 tps=100 nb_sec=142 case_no=92 label=Case6.80 nb_sol=0 ticks=14248 tps=100 nb_sec=142 case_no=92 label=Case6.80 nb_sol=0 ticks=15719 tps=100 nb_sec=157 case_no=92 label=Case6.80 nb_sol=0 ticks=19471 tps=100 nb_sec=194 case_no=92 label=Case6.80 nb_sol=0 ticks=14792 tps=100 nb_sec=147 case_no=92 label=Case6.80 nb_sol=0 ticks=16584 tps=100 nb_sec=165 case_no=92 label=Case6.80 nb_sol=0 ticks=12527 tps=100 nb_sec=125 case_no=92 label=Case6.80 nb_sol=0 ticks=16539 tps=100 nb_sec=165 case_no=92 label=Case6.80 nb_sol=0 ticks=10984 tps=100 nb_sec=109 case_no=92 label=Case6.80 nb_sol=0 ticks=16397 tps=100 nb_sec=163 case_no=92 label=Case6.80 nb_sol=0 ticks=13664 tps=100 nb_sec=136 case_no=92 label=Case6.80 nb_sol=0 ticks=19720 tps=100 nb_sec=197 case_no=92 label=Case6.80 nb_sol=0 ticks=11824 tps=100 nb_sec=118 case_no=92 label=Case6.80 nb_sol=0 ticks=14048 tps=100 nb_sec=140 case_no=92 label=Case6.80 nb_sol=0 ticks=18138 tps=100 nb_sec=181 case_no=92 label=Case6.80 nb_sol=0 ticks=27784 tps=100 nb_sec=277 case_no=92 label=Case6.80 nb_sol=0 ticks=15581 tps=100 nb_sec=155 case_no=92 label=Case6.80 nb_sol=0 ticks=21401 tps=100 nb_sec=214 case_no=92 label=Case6.80 nb_sol=0 ticks=18037 tps=100 nb_sec=180 case_no=92 label=Case6.80 nb_sol=0 ticks=22810 tps=100 nb_sec=228 case_no=92 label=Case6.80 nb_sol=0 ticks=24131 tps=100 nb_sec=241 case_no=92 label=Case6.80 nb_sol=0 ticks=18084 tps=100 nb_sec=180 case_no=92 label=Case6.80 nb_sol=0 ticks=18894 tps=100 nb_sec=188 case_no=92 label=Case6.80 nb_sol=0 ticks=13719 tps=100 nb_sec=137 case_no=92 label=Case6.80 nb_sol=0 ticks=12287 tps=100 nb_sec=122 case_no=92 label=Case6.80 nb_sol=0 ticks=34377 tps=100 nb_sec=343 case_no=92 label=Case6.80 nb_sol=0 ticks=12238 tps=100 nb_sec=122 case_no=92 label=Case6.80 nb_sol=0 ticks=22569 tps=100 nb_sec=225 case_no=92 label=Case6.80 nb_sol=0 ticks=11555 tps=100 nb_sec=115 case_no=92 label=Case6.80 nb_sol=0 ticks=21769 tps=100 nb_sec=217 case_no=92 label=Case6.80 nb_sol=0 ticks=20793 tps=100 nb_sec=207 case_no=92 label=Case6.80 nb_sol=0 ticks=21682 tps=100 nb_sec=216 case_no=92 label=Case6.80 nb_sol=0 ticks=19956 tps=100 nb_sec=199 case_no=92 label=Case6.80 nb_sol=0 ticks=19756 tps=100 nb_sec=197 case_no=92 label=Case6.80 nb_sol=0 ticks=26185 tps=100 nb_sec=261 case_no=92 label=Case6.80 nb_sol=0 ticks=20869 tps=100 nb_sec=208 case_no=92 label=Case6.80 nb_sol=0 ticks=17144 tps=100 nb_sec=171 case_no=92 label=Case6.80 nb_sol=0 ticks=19684 tps=100 nb_sec=196 case_no=92 label=Case6.80 nb_sol=0 ticks=15983 tps=100 nb_sec=159 case_no=92 label=Case6.80 nb_sol=0 ticks=12599 tps=100 nb_sec=125 case_no=92 label=Case6.80 nb_sol=0 ticks=31366 tps=100 nb_sec=313 case_no=92 label=Case6.80 nb_sol=0 ticks=33257 tps=100 nb_sec=332 case_no=92 label=Case6.80 nb_sol=0 ticks=18085 tps=100 nb_sec=180 case_no=92 label=Case6.80 nb_sol=0 ticks=16411 tps=100 nb_sec=164 case_no=92 label=Case6.80 nb_sol=0 ticks=16757 tps=100 nb_sec=167 case_no=92 label=Case6.80 nb_sol=0 ticks=15063 tps=100 nb_sec=150 case_no=92 label=Case6.80 nb_sol=0 ticks=13769 tps=100 nb_sec=137 case_no=92 label=Case6.80 nb_sol=0 ticks=12317 tps=100 nb_sec=123 case_no=92 label=Case6.80 nb_sol=0 ticks=20674 tps=100 nb_sec=206 case_no=92 label=Case6.80 nb_sol=0 ticks=14695 tps=100 nb_sec=146 case_no=92 label=Case6.80 nb_sol=0 ticks=13956 tps=100 nb_sec=139 case_no=92 label=Case6.80 nb_sol=0 ticks=25112 tps=100 nb_sec=251 case_no=92 label=Case6.80 nb_sol=0 ticks=12962 tps=100 nb_sec=129 case_no=92 label=Case6.80 nb_sol=0 ticks=13769 tps=100 nb_sec=137 case_no=92 label=Case6.80 nb_sol=0 ticks=18587 tps=100 nb_sec=185 case_no=92 label=Case6.80 nb_sol=0 ticks=13220 tps=100 nb_sec=132 case_no=92 label=Case6.80 nb_sol=0 ticks=15033 tps=100 nb_sec=150 case_no=92 label=Case6.80 nb_sol=0 ticks=20369 tps=100 nb_sec=203 case_no=92 label=Case6.80 nb_sol=0 ticks=13999 tps=100 nb_sec=139 case_no=92 label=Case6.80 nb_sol=0 ticks=20492 tps=100 nb_sec=204 case_no=92 label=Case6.80 nb_sol=0 ticks=12311 tps=100 nb_sec=123 case_no=92 label=Case6.80 nb_sol=0 ticks=13683 tps=100 nb_sec=136 case_no=92 label=Case6.80 nb_sol=0 ticks=13362 tps=100 nb_sec=133 case_no=92 label=Case6.80 nb_sol=0 ticks=12755 tps=100 nb_sec=127 case_no=92 label=Case6.80 nb_sol=0 ticks=13072 tps=100 nb_sec=130 case_no=92 label=Case6.80 nb_sol=0 ticks=13504 tps=100 nb_sec=135 case_no=92 label=Case6.80 nb_sol=0 ticks=14570 tps=100 nb_sec=145 case_no=92 label=Case6.80 nb_sol=0 ticks=14784 tps=100 nb_sec=147 case_no=92 label=Case6.80 nb_sol=0 ticks=16583 tps=100 nb_sec=165 case_no=92 label=Case6.80 nb_sol=0 ticks=14476 tps=100 nb_sec=144 case_no=92 label=Case6.80 nb_sol=0 ticks=16976 tps=100 nb_sec=169 case_no=92 label=Case6.80 nb_sol=0 ticks=19664 tps=100 nb_sec=196 case_no=92 label=Case6.80 nb_sol=0 ticks=16913 tps=100 nb_sec=169 case_no=92 label=Case6.80 nb_sol=0 ticks=19397 tps=100 nb_sec=193 case_no=92 label=Case6.80 nb_sol=0 ticks=16752 tps=100 nb_sec=167 case_no=92 label=Case6.80 nb_sol=0 ticks=16568 tps=100 nb_sec=165 case_no=92 label=Case6.80 nb_sol=0 ticks=18115 tps=100 nb_sec=181 case_no=92 label=Case6.80 nb_sol=0 ticks=20891 tps=100 nb_sec=208 case_no=92 label=Case6.80 nb_sol=0 ticks=16980 tps=100 nb_sec=169 case_no=92 label=Case6.80 nb_sol=0 ticks=21806 tps=100 nb_sec=218 case_no=92 label=Case6.80 nb_sol=0 ticks=17578 tps=100 nb_sec=175 case_no=92 label=Case6.80 nb_sol=0 ticks=23064 tps=100 nb_sec=230 case_no=92 label=Case6.80 nb_sol=0 ticks=16103 tps=100 nb_sec=161 case_no=92 label=Case6.80 nb_sol=0 ticks=20115 tps=100 nb_sec=201 case_no=92 label=Case6.80 nb_sol=0 ticks=31151 tps=100 nb_sec=311 case_no=92 label=Case6.80 nb_sol=0 ticks=17726 tps=100 nb_sec=177 case_no=92 label=Case6.80 nb_sol=0 ticks=21295 tps=100 nb_sec=212 case_no=92 label=Case6.80 nb_sol=0 ticks=19201 tps=100 nb_sec=192 case_no=92 label=Case6.80 nb_sol=0 ticks=14538 tps=100 nb_sec=145 case_no=92 label=Case6.80 nb_sol=0 ticks=16759 tps=100 nb_sec=167 case_no=92 label=Case6.80 nb_sol=0 ticks=28559 tps=100 nb_sec=285 case_no=92 label=Case6.80 nb_sol=0 ticks=18447 tps=100 nb_sec=184 case_no=92 label=Case6.80 nb_sol=0 ticks=18970 tps=100 nb_sec=189 case_no=92 label=Case6.80 nb_sol=0 ticks=18710 tps=100 nb_sec=187 case_no=92 label=Case6.80 nb_sol=0 ticks=17389 tps=100 nb_sec=173 case_no=92 label=Case6.80 nb_sol=0 ticks=15028 tps=100 nb_sec=150 case_no=92 label=Case6.80 nb_sol=0 ticks=14910 tps=100 nb_sec=149 case_no=92 label=Case6.80 nb_sol=0 ticks=15598 tps=100 nb_sec=155 case_no=92 label=Case6.80 nb_sol=0 ticks=12185 tps=100 nb_sec=121 case_no=92 label=Case6.80 nb_sol=0 ticks=15292 tps=100 nb_sec=152 case_no=92 label=Case6.80 nb_sol=0 ticks=10529 tps=100 nb_sec=105 case_no=92 label=Case6.80 nb_sol=0 ticks=10930 tps=100 nb_sec=109 case_no=92 label=Case6.80 nb_sol=0 ticks=12776 tps=100 nb_sec=127 case_no=92 label=Case6.80 nb_sol=0 ticks=13975 tps=100 nb_sec=139 case_no=92 label=Case6.80 nb_sol=0 ticks=10933 tps=100 nb_sec=109 case_no=92 label=Case6.80 nb_sol=0 ticks=22833 tps=100 nb_sec=228 case_no=92 label=Case6.80 nb_sol=0 ticks=16266 tps=100 nb_sec=162 case_no=92 label=Case6.80 nb_sol=0 ticks=13179 tps=100 nb_sec=131 case_no=92 label=Case6.80 nb_sol=0 ticks=15272 tps=100 nb_sec=152 case_no=92 label=Case6.80 nb_sol=0 ticks=19106 tps=100 nb_sec=191 case_no=92 label=Case6.80 nb_sol=0 ticks=14230 tps=100 nb_sec=142 case_no=92 label=Case6.80 nb_sol=0 ticks=12247 tps=100 nb_sec=122 case_no=92 label=Case6.80 nb_sol=0 ticks=15517 tps=100 nb_sec=155 case_no=92 label=Case6.80 nb_sol=0 ticks=15432 tps=100 nb_sec=154 case_no=92 label=Case6.80 nb_sol=0 ticks=17684 tps=100 nb_sec=176 case_no=92 label=Case6.80 nb_sol=0 ticks=17638 tps=100 nb_sec=176 case_no=92 label=Case6.80 nb_sol=0 ticks=16179 tps=100 nb_sec=161 case_no=92 label=Case6.80 nb_sol=0 ticks=16661 tps=100 nb_sec=166 case_no=92 label=Case6.80 nb_sol=0 ticks=21226 tps=100 nb_sec=212 case_no=92 label=Case6.80 nb_sol=0 ticks=13480 tps=100 nb_sec=134 case_no=92 label=Case6.80 nb_sol=0 ticks=18351 tps=100 nb_sec=183 case_no=92 label=Case6.80 nb_sol=0 ticks=16354 tps=100 nb_sec=163 case_no=92 label=Case6.80 nb_sol=0 ticks=14538 tps=100 nb_sec=145 case_no=92 label=Case6.80 nb_sol=0 ticks=21917 tps=100 nb_sec=219 case_no=92 label=Case6.80 nb_sol=0 ticks=18132 tps=100 nb_sec=181 case_no=92 label=Case6.80 nb_sol=0 ticks=11683 tps=100 nb_sec=116 case_no=92 label=Case6.80 nb_sol=0 ticks=15679 tps=100 nb_sec=156 case_no=92 label=Case6.80 nb_sol=0 ticks=13134 tps=100 nb_sec=131 case_no=92 label=Case6.80 nb_sol=0 ticks=21684 tps=100 nb_sec=216 case_no=92 label=Case6.80 nb_sol=0 ticks=20040 tps=100 nb_sec=200 case_no=92 label=Case6.80 nb_sol=0 ticks=18632 tps=100 nb_sec=186 case_no=92 label=Case6.80 nb_sol=0 ticks=13830 tps=100 nb_sec=138 case_no=92 label=Case6.80 nb_sol=0 ticks=12551 tps=100 nb_sec=125 case_no=92 label=Case6.80 nb_sol=0 ticks=13855 tps=100 nb_sec=138 case_no=92 label=Case6.80 nb_sol=0 ticks=16198 tps=100 nb_sec=161 case_no=92 label=Case6.80 nb_sol=0 ticks=15678 tps=100 nb_sec=156 case_no=92 label=Case6.80 nb_sol=0 ticks=15805 tps=100 nb_sec=158 case_no=92 label=Case6.80 nb_sol=0 ticks=17116 tps=100 nb_sec=171 case_no=92 label=Case6.80 nb_sol=0 ticks=17538 tps=100 nb_sec=175 case_no=92 label=Case6.80 nb_sol=0 ticks=13492 tps=100 nb_sec=134 case_no=92 label=Case6.80 nb_sol=0 ticks=12395 tps=100 nb_sec=123 case_no=92 label=Case6.80 nb_sol=0 ticks=13729 tps=100 nb_sec=137 case_no=92 label=Case6.80 nb_sol=0 ticks=12913 tps=100 nb_sec=129 case_no=92 label=Case6.80 nb_sol=0 ticks=14613 tps=100 nb_sec=146 case_no=92 label=Case6.80 nb_sol=0 ticks=11497 tps=100 nb_sec=114 case_no=92 label=Case6.80 nb_sol=0 ticks=16650 tps=100 nb_sec=166 case_no=92 label=Case6.80 nb_sol=0 ticks=17260 tps=100 nb_sec=172 case_no=92 label=Case6.80 nb_sol=0 ticks=12025 tps=100 nb_sec=120 case_no=92 label=Case6.80 nb_sol=0 ticks=18247 tps=100 nb_sec=182 case_no=92 label=Case6.80 nb_sol=0 ticks=12665 tps=100 nb_sec=126 case_no=92 label=Case6.80 nb_sol=0 ticks=17484 tps=100 nb_sec=174 case_no=92 label=Case6.80 nb_sol=0 ticks=20497 tps=100 nb_sec=204 case_no=92 label=Case6.80 nb_sol=0 ticks=14751 tps=100 nb_sec=147 case_no=92 label=Case6.80 nb_sol=0 ticks=16773 tps=100 nb_sec=167 case_no=92 label=Case6.80 nb_sol=0 ticks=12467 tps=100 nb_sec=124 case_no=92 label=Case6.80 nb_sol=0 ticks=24029 tps=100 nb_sec=240 case_no=92 label=Case6.80 nb_sol=0 ticks=12256 tps=100 nb_sec=122 case_no=92 label=Case6.80 nb_sol=0 ticks=18924 tps=100 nb_sec=189 case_no=92 label=Case6.80 nb_sol=0 ticks=30940 tps=100 nb_sec=309 case_no=92 label=Case6.80 nb_sol=0 ticks=11075 tps=100 nb_sec=110 case_no=92 label=Case6.80 nb_sol=0 ticks=12871 tps=100 nb_sec=128 case_no=92 label=Case6.80 nb_sol=0 ticks=18751 tps=100 nb_sec=187 case_no=92 label=Case6.80 nb_sol=0 ticks=16548 tps=100 nb_sec=165 case_no=92 label=Case6.80 nb_sol=0 ticks=21104 tps=100 nb_sec=211 case_no=92 label=Case6.80 nb_sol=0 ticks=14718 tps=100 nb_sec=147 case_no=92 label=Case6.80 nb_sol=0 ticks=17511 tps=100 nb_sec=175 case_no=92 label=Case6.80 nb_sol=0 ticks=12677 tps=100 nb_sec=126 case_no=92 label=Case6.80 nb_sol=0 ticks=20610 tps=100 nb_sec=206 case_no=92 label=Case6.80 nb_sol=0 ticks=13959 tps=100 nb_sec=139 case_no=92 label=Case6.80 nb_sol=0 ticks=19254 tps=100 nb_sec=192 case_no=92 label=Case6.80 nb_sol=0 ticks=12687 tps=100 nb_sec=126 case_no=92 label=Case6.80 nb_sol=0 ticks=12106 tps=100 nb_sec=121 case_no=92 label=Case6.80 nb_sol=0 ticks=15492 tps=100 nb_sec=154 case_no=92 label=Case6.80 nb_sol=0 ticks=15985 tps=100 nb_sec=159 case_no=92 label=Case6.80 nb_sol=0 ticks=20390 tps=100 nb_sec=203 case_no=92 label=Case6.80 nb_sol=0 ticks=12613 tps=100 nb_sec=126 case_no=92 label=Case6.80 nb_sol=0 ticks=13144 tps=100 nb_sec=131 case_no=92 label=Case6.80 nb_sol=0 ticks=12586 tps=100 nb_sec=125 case_no=92 label=Case6.80 nb_sol=0 ticks=12276 tps=100 nb_sec=122 case_no=92 label=Case6.80 nb_sol=0 ticks=11954 tps=100 nb_sec=119 case_no=92 label=Case6.80 nb_sol=0 ticks=12555 tps=100 nb_sec=125 case_no=92 label=Case6.80 nb_sol=0 ticks=18980 tps=100 nb_sec=189 case_no=92 label=Case6.80 nb_sol=0 ticks=14087 tps=100 nb_sec=140 case_no=92 label=Case6.80 nb_sol=0 ticks=13907 tps=100 nb_sec=139 case_no=92 label=Case6.80 nb_sol=0 ticks=11935 tps=100 nb_sec=119 case_no=92 label=Case6.80 nb_sol=0 ticks=19347 tps=100 nb_sec=193 case_no=92 label=Case6.80 nb_sol=0 ticks=12442 tps=100 nb_sec=124 case_no=92 label=Case6.80 nb_sol=0 ticks=14438 tps=100 nb_sec=144 case_no=92 label=Case6.80 nb_sol=0 ticks=14032 tps=100 nb_sec=140 case_no=92 label=Case6.80 nb_sol=0 ticks=12221 tps=100 nb_sec=122 case_no=92 label=Case6.80 nb_sol=0 ticks=18199 tps=100 nb_sec=181 case_no=92 label=Case6.80 nb_sol=0 ticks=27329 tps=100 nb_sec=273 case_no=92 label=Case6.80 nb_sol=0 ticks=14927 tps=100 nb_sec=149 case_no=92 label=Case6.80 nb_sol=0 ticks=12535 tps=100 nb_sec=125 case_no=92 label=Case6.80 nb_sol=0 ticks=12849 tps=100 nb_sec=128 case_no=92 label=Case6.80 nb_sol=0 ticks=14538 tps=100 nb_sec=145 case_no=92 label=Case6.80 nb_sol=0 ticks=12123 tps=100 nb_sec=121 case_no=92 label=Case6.80 nb_sol=0 ticks=19767 tps=100 nb_sec=197 case_no=92 label=Case6.80 nb_sol=0 ticks=14411 tps=100 nb_sec=144 case_no=92 label=Case6.80 nb_sol=0 ticks=29698 tps=100 nb_sec=296 case_no=92 label=Case6.80 nb_sol=0 ticks=11707 tps=100 nb_sec=117 case_no=92 label=Case6.80 nb_sol=0 ticks=17886 tps=100 nb_sec=178 case_no=92 label=Case6.80 nb_sol=0 ticks=17368 tps=100 nb_sec=173 case_no=92 label=Case6.80 nb_sol=0 ticks=20838 tps=100 nb_sec=208 case_no=92 label=Case6.80 nb_sol=0 ticks=16709 tps=100 nb_sec=167 case_no=92 label=Case6.80 nb_sol=0 ticks=12317 tps=100 nb_sec=123 case_no=92 label=Case6.80 nb_sol=0 ticks=16994 tps=100 nb_sec=169 case_no=92 label=Case6.80 nb_sol=0 ticks=13718 tps=100 nb_sec=137 case_no=92 label=Case6.80 nb_sol=0 ticks=19952 tps=100 nb_sec=199 case_no=92 label=Case6.80 nb_sol=0 ticks=19528 tps=100 nb_sec=195 case_no=92 label=Case6.80 nb_sol=0 ticks=16486 tps=100 nb_sec=164 case_no=92 label=Case6.80 nb_sol=0 ticks=13114 tps=100 nb_sec=131 case_no=92 label=Case6.80 nb_sol=0 ticks=13155 tps=100 nb_sec=131 case_no=92 label=Case6.80 nb_sol=0 ticks=11234 tps=100 nb_sec=112 case_no=92 label=Case6.80 nb_sol=0 ticks=13409 tps=100 nb_sec=134 case_no=92 label=Case6.80 nb_sol=0 ticks=12627 tps=100 nb_sec=126 case_no=92 label=Case6.80 nb_sol=0 ticks=14256 tps=100 nb_sec=142 case_no=92 label=Case6.80 nb_sol=0 ticks=12308 tps=100 nb_sec=123 case_no=92 label=Case6.80 nb_sol=0 ticks=15559 tps=100 nb_sec=155 case_no=92 label=Case6.80 nb_sol=0 ticks=14219 tps=100 nb_sec=142 case_no=92 label=Case6.80 nb_sol=0 ticks=12978 tps=100 nb_sec=129 case_no=92 label=Case6.80 nb_sol=0 ticks=14502 tps=100 nb_sec=145 case_no=92 label=Case6.80 nb_sol=0 ticks=11373 tps=100 nb_sec=113 case_no=92 label=Case6.80 nb_sol=0 ticks=12560 tps=100 nb_sec=125 case_no=92 label=Case6.80 nb_sol=0 ticks=13909 tps=100 nb_sec=139 case_no=92 label=Case6.80 nb_sol=0 ticks=15385 tps=100 nb_sec=153 case_no=92 label=Case6.80 nb_sol=0 ticks=11200 tps=100 nb_sec=112 case_no=92 label=Case6.80 nb_sol=0 ticks=12160 tps=100 nb_sec=121 case_no=92 label=Case6.80 nb_sol=0 ticks=14358 tps=100 nb_sec=143 case_no=92 label=Case6.80 nb_sol=0 ticks=11637 tps=100 nb_sec=116 case_no=92 label=Case6.80 nb_sol=0 ticks=11190 tps=100 nb_sec=111 case_no=92 label=Case6.80 nb_sol=0 ticks=11109 tps=100 nb_sec=111 case_no=92 label=Case6.80 nb_sol=0 ticks=9700 tps=100 nb_sec=97 case_no=92 label=Case6.80 nb_sol=0 ticks=13514 tps=100 nb_sec=135 case_no=92 label=Case6.80 nb_sol=0 ticks=15896 tps=100 nb_sec=158 case_no=92 label=Case6.80 nb_sol=0 ticks=12837 tps=100 nb_sec=128 case_no=92 label=Case6.80 nb_sol=0 ticks=11548 tps=100 nb_sec=115 case_no=92 label=Case6.80 nb_sol=0 ticks=16462 tps=100 nb_sec=164 case_no=92 label=Case6.80 nb_sol=0 ticks=9896 tps=100 nb_sec=98 case_no=92 label=Case6.80 nb_sol=0 ticks=13988 tps=100 nb_sec=139 case_no=92 label=Case6.80 nb_sol=0 ticks=12006 tps=100 nb_sec=120 case_no=92 label=Case6.80 nb_sol=0 ticks=19494 tps=100 nb_sec=194 case_no=92 label=Case6.80 nb_sol=0 ticks=9388 tps=100 nb_sec=93 case_no=92 label=Case6.80 nb_sol=0 ticks=11122 tps=100 nb_sec=111 case_no=92 label=Case6.80 nb_sol=0 ticks=25759 tps=100 nb_sec=257 case_no=92 label=Case6.80 nb_sol=0 ticks=11968 tps=100 nb_sec=119 case_no=92 label=Case6.80 nb_sol=0 ticks=9248 tps=100 nb_sec=92 case_no=92 label=Case6.80 nb_sol=0 ticks=11576 tps=100 nb_sec=115 case_no=92 label=Case6.80 nb_sol=0 ticks=16418 tps=100 nb_sec=164 case_no=92 label=Case6.80 nb_sol=0 ticks=14890 tps=100 nb_sec=148 case_no=92 label=Case6.80 nb_sol=0 ticks=15851 tps=100 nb_sec=158 case_no=92 label=Case6.80 nb_sol=0 ticks=10428 tps=100 nb_sec=104 case_no=92 label=Case6.80 nb_sol=0 ticks=14610 tps=100 nb_sec=146 case_no=92 label=Case6.80 nb_sol=0 ticks=14700 tps=100 nb_sec=147 case_no=92 label=Case6.80 nb_sol=0 ticks=16259 tps=100 nb_sec=162 case_no=92 label=Case6.80 nb_sol=0 ticks=15697 tps=100 nb_sec=156 case_no=92 label=Case6.80 nb_sol=0 ticks=17801 tps=100 nb_sec=178 case_no=92 label=Case6.80 nb_sol=0 ticks=13769 tps=100 nb_sec=137 case_no=92 label=Case6.80 nb_sol=0 ticks=17407 tps=100 nb_sec=174 case_no=92 label=Case6.80 nb_sol=0 ticks=13403 tps=100 nb_sec=134 case_no=92 label=Case6.80 nb_sol=0 ticks=11967 tps=100 nb_sec=119 case_no=92 label=Case6.80 nb_sol=0 ticks=16342 tps=100 nb_sec=163 case_no=92 label=Case6.80 nb_sol=0 ticks=10751 tps=100 nb_sec=107 case_no=92 label=Case6.80 nb_sol=0 ticks=10414 tps=100 nb_sec=104 case_no=92 label=Case6.80 nb_sol=0 ticks=11537 tps=100 nb_sec=115 case_no=92 label=Case6.80 nb_sol=0 ticks=11560 tps=100 nb_sec=115 case_no=92 label=Case6.80 nb_sol=0 ticks=14993 tps=100 nb_sec=149 case_no=92 label=Case6.80 nb_sol=0 ticks=16637 tps=100 nb_sec=166 case_no=92 label=Case6.80 nb_sol=0 ticks=16920 tps=100 nb_sec=169 case_no=92 label=Case6.80 nb_sol=0 ticks=12846 tps=100 nb_sec=128 case_no=92 label=Case6.80 nb_sol=0 ticks=14153 tps=100 nb_sec=141 case_no=92 label=Case6.80 nb_sol=0 ticks=25239 tps=100 nb_sec=252 case_no=92 label=Case6.80 nb_sol=0 ticks=11021 tps=100 nb_sec=110 case_no=92 label=Case6.80 nb_sol=0 ticks=12419 tps=100 nb_sec=124 case_no=92 label=Case6.80 nb_sol=0 ticks=9936 tps=100 nb_sec=99 case_no=92 label=Case6.80 nb_sol=0 ticks=10529 tps=100 nb_sec=105 case_no=92 label=Case6.80 nb_sol=0 ticks=12678 tps=100 nb_sec=126 case_no=92 label=Case6.80 nb_sol=0 ticks=15537 tps=100 nb_sec=155 case_no=92 label=Case6.80 nb_sol=0 ticks=12004 tps=100 nb_sec=120 case_no=92 label=Case6.80 nb_sol=0 ticks=16775 tps=100 nb_sec=167 case_no=92 label=Case6.80 nb_sol=0 ticks=10828 tps=100 nb_sec=108 case_no=92 label=Case6.80 nb_sol=0 ticks=11775 tps=100 nb_sec=117 case_no=92 label=Case6.80 nb_sol=0 ticks=12601 tps=100 nb_sec=126 case_no=92 label=Case6.80 nb_sol=0 ticks=11818 tps=100 nb_sec=118 case_no=92 label=Case6.80 nb_sol=0 ticks=11307 tps=100 nb_sec=113 case_no=92 label=Case6.80 nb_sol=0 ticks=13623 tps=100 nb_sec=136 case_no=92 label=Case6.80 nb_sol=0 ticks=10914 tps=100 nb_sec=109 case_no=92 label=Case6.80 nb_sol=0 ticks=12433 tps=100 nb_sec=124 case_no=92 label=Case6.80 nb_sol=0 ticks=14845 tps=100 nb_sec=148 case_no=92 label=Case6.80 nb_sol=0 ticks=16942 tps=100 nb_sec=169 case_no=92 label=Case6.80 nb_sol=0 ticks=11292 tps=100 nb_sec=112 case_no=92 label=Case6.80 nb_sol=0 ticks=19875 tps=100 nb_sec=198 case_no=92 label=Case6.80 nb_sol=0 ticks=12674 tps=100 nb_sec=126 case_no=92 label=Case6.80 nb_sol=0 ticks=12788 tps=100 nb_sec=127 case_no=92 label=Case6.80 nb_sol=0 ticks=16600 tps=100 nb_sec=166 case_no=92 label=Case6.80 nb_sol=0 ticks=16402 tps=100 nb_sec=164 case_no=92 label=Case6.80 nb_sol=0 ticks=12162 tps=100 nb_sec=121 case_no=92 label=Case6.80 nb_sol=0 ticks=11143 tps=100 nb_sec=111 case_no=92 label=Case6.80 nb_sol=0 ticks=12338 tps=100 nb_sec=123 case_no=92 label=Case6.80 nb_sol=0 ticks=9767 tps=100 nb_sec=97 case_no=92 label=Case6.80 nb_sol=0 ticks=16789 tps=100 nb_sec=167 case_no=92 label=Case6.80 nb_sol=0 ticks=9770 tps=100 nb_sec=97 case_no=92 label=Case6.80 nb_sol=0 ticks=10473 tps=100 nb_sec=104 case_no=92 label=Case6.80 nb_sol=0 ticks=11800 tps=100 nb_sec=118 case_no=92 label=Case6.80 nb_sol=0 ticks=13411 tps=100 nb_sec=134 case_no=92 label=Case6.80 nb_sol=0 ticks=15995 tps=100 nb_sec=159 case_no=92 label=Case6.80 nb_sol=0 ticks=10891 tps=100 nb_sec=108 case_no=92 label=Case6.80 nb_sol=0 ticks=12466 tps=100 nb_sec=124 case_no=92 label=Case6.80 nb_sol=0 ticks=9692 tps=100 nb_sec=96 case_no=92 label=Case6.80 nb_sol=0 ticks=11178 tps=100 nb_sec=111 case_no=92 label=Case6.80 nb_sol=0 ticks=10179 tps=100 nb_sec=101 case_no=92 label=Case6.80 nb_sol=0 ticks=18102 tps=100 nb_sec=181 case_no=92 label=Case6.80 nb_sol=0 ticks=9876 tps=100 nb_sec=98 case_no=92 label=Case6.80 nb_sol=0 ticks=11232 tps=100 nb_sec=112 case_no=92 label=Case6.80 nb_sol=0 ticks=11576 tps=100 nb_sec=115 case_no=92 label=Case6.80 nb_sol=0 ticks=12501 tps=100 nb_sec=125 case_no=92 label=Case6.80 nb_sol=0 ticks=17842 tps=100 nb_sec=178 case_no=92 label=Case6.80 nb_sol=0 ticks=11582 tps=100 nb_sec=115 case_no=92 label=Case6.80 nb_sol=0 ticks=11242 tps=100 nb_sec=112 case_no=92 label=Case6.80 nb_sol=0 ticks=13223 tps=100 nb_sec=132 case_no=92 label=Case6.80 nb_sol=0 ticks=11447 tps=100 nb_sec=114 case_no=92 label=Case6.80 nb_sol=0 ticks=14481 tps=100 nb_sec=144 case_no=92 label=Case6.80 nb_sol=0 ticks=14270 tps=100 nb_sec=142 case_no=92 label=Case6.80 nb_sol=0 ticks=8834 tps=100 nb_sec=88 case_no=92 label=Case6.80 nb_sol=0 ticks=14284 tps=100 nb_sec=142 case_no=92 label=Case6.80 nb_sol=0 ticks=12801 tps=100 nb_sec=128 case_no=92 label=Case6.80 nb_sol=0 ticks=11282 tps=100 nb_sec=112 case_no=92 label=Case6.80 nb_sol=0 ticks=17129 tps=100 nb_sec=171 case_no=92 label=Case6.80 nb_sol=0 ticks=13186 tps=100 nb_sec=131 case_no=92 label=Case6.80 nb_sol=0 ticks=24694 tps=100 nb_sec=246 case_no=92 label=Case6.80 nb_sol=0 ticks=11433 tps=100 nb_sec=114 case_no=92 label=Case6.80 nb_sol=0 ticks=11754 tps=100 nb_sec=117 case_no=92 label=Case6.80 nb_sol=0 ticks=17083 tps=100 nb_sec=170 case_no=92 label=Case6.80 nb_sol=0 ticks=13236 tps=100 nb_sec=132 case_no=92 label=Case6.80 nb_sol=0 ticks=20251 tps=100 nb_sec=202 case_no=92 label=Case6.80 nb_sol=0 ticks=11867 tps=100 nb_sec=118 case_no=92 label=Case6.80 nb_sol=0 ticks=15142 tps=100 nb_sec=151 case_no=92 label=Case6.80 nb_sol=0 ticks=13018 tps=100 nb_sec=130 case_no=92 label=Case6.80 nb_sol=0 ticks=17564 tps=100 nb_sec=175 case_no=92 label=Case6.80 nb_sol=0 ticks=12527 tps=100 nb_sec=125 case_no=92 label=Case6.80 nb_sol=0 ticks=12378 tps=100 nb_sec=123 case_no=92 label=Case6.80 nb_sol=0 ticks=8833 tps=100 nb_sec=88 case_no=92 label=Case6.80 nb_sol=0 ticks=16305 tps=100 nb_sec=163 case_no=92 label=Case6.80 nb_sol=0 ticks=18494 tps=100 nb_sec=184 case_no=92 label=Case6.80 nb_sol=0 ticks=8715 tps=100 nb_sec=87 case_no=92 label=Case6.80 nb_sol=0 ticks=9559 tps=100 nb_sec=95 case_no=92 label=Case6.80 nb_sol=0 ticks=10916 tps=100 nb_sec=109 case_no=92 label=Case6.80 nb_sol=0 ticks=15057 tps=100 nb_sec=150 case_no=92 label=Case6.80 nb_sol=0 ticks=19545 tps=100 nb_sec=195 case_no=92 label=Case6.80 nb_sol=0 ticks=11457 tps=100 nb_sec=114 case_no=92 label=Case6.80 nb_sol=0 ticks=16844 tps=100 nb_sec=168 case_no=92 label=Case6.80 nb_sol=0 ticks=13331 tps=100 nb_sec=133 case_no=92 label=Case6.80 nb_sol=0 ticks=17775 tps=100 nb_sec=177 case_no=92 label=Case6.80 nb_sol=0 ticks=14346 tps=100 nb_sec=143 case_no=92 label=Case6.80 nb_sol=0 ticks=10166 tps=100 nb_sec=101 case_no=92 label=Case6.80 nb_sol=0 ticks=17085 tps=100 nb_sec=170 case_no=92 label=Case6.80 nb_sol=0 ticks=14183 tps=100 nb_sec=141 case_no=92 label=Case6.80 nb_sol=0 ticks=18101 tps=100 nb_sec=181 case_no=92 label=Case6.80 nb_sol=0 ticks=12214 tps=100 nb_sec=122 case_no=92 label=Case6.80 nb_sol=0 ticks=11970 tps=100 nb_sec=119 case_no=92 label=Case6.80 nb_sol=0 ticks=19356 tps=100 nb_sec=193 case_no=92 label=Case6.80 nb_sol=0 ticks=12040 tps=100 nb_sec=120 case_no=92 label=Case6.80 nb_sol=0 ticks=10826 tps=100 nb_sec=108 case_no=92 label=Case6.80 nb_sol=0 ticks=13644 tps=100 nb_sec=136 case_no=92 label=Case6.80 nb_sol=0 ticks=9233 tps=100 nb_sec=92 case_no=92 label=Case6.80 nb_sol=0 ticks=16986 tps=100 nb_sec=169 case_no=92 label=Case6.80 nb_sol=0 ticks=11278 tps=100 nb_sec=112 case_no=92 label=Case6.80 nb_sol=0 ticks=11731 tps=100 nb_sec=117 case_no=92 label=Case6.80 nb_sol=0 ticks=13539 tps=100 nb_sec=135 case_no=92 label=Case6.80 nb_sol=0 ticks=13663 tps=100 nb_sec=136 case_no=92 label=Case6.80 nb_sol=0 ticks=12370 tps=100 nb_sec=123 case_no=92 label=Case6.80 nb_sol=0 ticks=10949 tps=100 nb_sec=109 case_no=92 label=Case6.80 nb_sol=0 ticks=12942 tps=100 nb_sec=129 case_no=92 label=Case6.80 nb_sol=0 ticks=18158 tps=100 nb_sec=181 case_no=92 label=Case6.80 nb_sol=0 ticks=12846 tps=100 nb_sec=128 case_no=92 label=Case6.80 nb_sol=0 ticks=15728 tps=100 nb_sec=157 case_no=92 label=Case6.80 nb_sol=0 ticks=18474 tps=100 nb_sec=184 case_no=92 label=Case6.80 nb_sol=0 ticks=18903 tps=100 nb_sec=189 case_no=92 label=Case6.80 nb_sol=0 ticks=12345 tps=100 nb_sec=123 case_no=92 label=Case6.80 nb_sol=0 ticks=21431 tps=100 nb_sec=214 case_no=92 label=Case6.80 nb_sol=0 ticks=11788 tps=100 nb_sec=117 case_no=92 label=Case6.80 nb_sol=0 ticks=25792 tps=100 nb_sec=257 case_no=92 label=Case6.80 nb_sol=0 ticks=11533 tps=100 nb_sec=115 case_no=92 label=Case6.80 nb_sol=0 ticks=11894 tps=100 nb_sec=118 case_no=92 label=Case6.80 nb_sol=0 ticks=15681 tps=100 nb_sec=156 case_no=92 label=Case6.80 nb_sol=0 ticks=11209 tps=100 nb_sec=112 case_no=92 label=Case6.80 nb_sol=0 ticks=18523 tps=100 nb_sec=185 case_no=92 label=Case6.80 nb_sol=0 ticks=13433 tps=100 nb_sec=134 case_no=92 label=Case6.80 nb_sol=0 ticks=14085 tps=100 nb_sec=140 case_no=92 label=Case6.80 nb_sol=0 ticks=10450 tps=100 nb_sec=104 case_no=92 label=Case6.80 nb_sol=0 ticks=18265 tps=100 nb_sec=182 case_no=92 label=Case6.80 nb_sol=0 ticks=11111 tps=100 nb_sec=111 case_no=92 label=Case6.80 nb_sol=0 ticks=12457 tps=100 nb_sec=124 case_no=92 label=Case6.80 nb_sol=0 ticks=13525 tps=100 nb_sec=135 case_no=92 label=Case6.80 nb_sol=0 ticks=16250 tps=100 nb_sec=162 case_no=92 label=Case6.80 nb_sol=0 ticks=10584 tps=100 nb_sec=105 case_no=92 label=Case6.80 nb_sol=0 ticks=12829 tps=100 nb_sec=128 case_no=92 label=Case6.80 nb_sol=0 ticks=19588 tps=100 nb_sec=195 case_no=92 label=Case6.80 nb_sol=0 ticks=15172 tps=100 nb_sec=151 case_no=92 label=Case6.80 nb_sol=0 ticks=12932 tps=100 nb_sec=129 case_no=92 label=Case6.80 nb_sol=0 ticks=10314 tps=100 nb_sec=103 case_no=92 label=Case6.80 nb_sol=0 ticks=16965 tps=100 nb_sec=169 case_no=92 label=Case6.80 nb_sol=0 ticks=16774 tps=100 nb_sec=167 case_no=92 label=Case6.80 nb_sol=0 ticks=10504 tps=100 nb_sec=105 case_no=92 label=Case6.80 nb_sol=0 ticks=12983 tps=100 nb_sec=129 case_no=92 label=Case6.80 nb_sol=0 ticks=11199 tps=100 nb_sec=111 case_no=92 label=Case6.80 nb_sol=0 ticks=13892 tps=100 nb_sec=138 case_no=92 label=Case6.80 nb_sol=0 ticks=9418 tps=100 nb_sec=94 case_no=92 label=Case6.80 nb_sol=0 ticks=12214 tps=100 nb_sec=122 case_no=92 label=Case6.80 nb_sol=0 ticks=9035 tps=100 nb_sec=90 case_no=92 label=Case6.80 nb_sol=0 ticks=10241 tps=100 nb_sec=102 case_no=92 label=Case6.80 nb_sol=0 ticks=10903 tps=100 nb_sec=109 case_no=92 label=Case6.80 nb_sol=0 ticks=12176 tps=100 nb_sec=121 case_no=92 label=Case6.80 nb_sol=0 ticks=13073 tps=100 nb_sec=130 case_no=92 label=Case6.80 nb_sol=0 ticks=12635 tps=100 nb_sec=126 case_no=92 label=Case6.80 nb_sol=0 ticks=10457 tps=100 nb_sec=104 case_no=92 label=Case6.80 nb_sol=0 ticks=11396 tps=100 nb_sec=113 case_no=92 label=Case6.80 nb_sol=0 ticks=8548 tps=100 nb_sec=85 case_no=92 label=Case6.80 nb_sol=0 ticks=10631 tps=100 nb_sec=106 case_no=92 label=Case6.80 nb_sol=0 ticks=17359 tps=100 nb_sec=173 case_no=92 label=Case6.80 nb_sol=0 ticks=12364 tps=100 nb_sec=123 case_no=92 label=Case6.80 nb_sol=0 ticks=17929 tps=100 nb_sec=179 case_no=92 label=Case6.80 nb_sol=0 ticks=15065 tps=100 nb_sec=150 case_no=92 label=Case6.80 nb_sol=0 ticks=12203 tps=100 nb_sec=122 case_no=92 label=Case6.80 nb_sol=0 ticks=28651 tps=100 nb_sec=286 case_no=92 label=Case6.80 nb_sol=0 ticks=21335 tps=100 nb_sec=213 case_no=92 label=Case6.80 nb_sol=0 ticks=11194 tps=100 nb_sec=111 case_no=92 label=Case6.80 nb_sol=0 ticks=12694 tps=100 nb_sec=126 case_no=92 label=Case6.80 nb_sol=0 ticks=16871 tps=100 nb_sec=168 case_no=92 label=Case6.80 nb_sol=0 ticks=11214 tps=100 nb_sec=112 case_no=92 label=Case6.80 nb_sol=0 ticks=19778 tps=100 nb_sec=197 case_no=92 label=Case6.80 nb_sol=0 ticks=20874 tps=100 nb_sec=208 case_no=92 label=Case6.80 nb_sol=0 ticks=15574 tps=100 nb_sec=155 case_no=92 label=Case6.80 nb_sol=0 ticks=18081 tps=100 nb_sec=180 case_no=92 label=Case6.80 nb_sol=0 ticks=12642 tps=100 nb_sec=126 case_no=92 label=Case6.80 nb_sol=0 ticks=15081 tps=100 nb_sec=150 case_no=92 label=Case6.80 nb_sol=0 ticks=10989 tps=100 nb_sec=109 case_no=92 label=Case6.80 nb_sol=0 ticks=14691 tps=100 nb_sec=146 case_no=92 label=Case6.80 nb_sol=0 ticks=17580 tps=100 nb_sec=175 case_no=92 label=Case6.80 nb_sol=0 ticks=12478 tps=100 nb_sec=124 case_no=92 label=Case6.80 nb_sol=0 ticks=13205 tps=100 nb_sec=132 case_no=92 label=Case6.80 nb_sol=0 ticks=13906 tps=100 nb_sec=139 case_no=92 label=Case6.80 nb_sol=0 ticks=12814 tps=100 nb_sec=128 case_no=92 label=Case6.80 nb_sol=0 ticks=13874 tps=100 nb_sec=138 case_no=92 label=Case6.80 nb_sol=0 ticks=16680 tps=100 nb_sec=166 case_no=92 label=Case6.80 nb_sol=0 ticks=14011 tps=100 nb_sec=140 case_no=92 label=Case6.80 nb_sol=0 ticks=12195 tps=100 nb_sec=121 case_no=92 label=Case6.80 nb_sol=0 ticks=13059 tps=100 nb_sec=130 case_no=92 label=Case6.80 nb_sol=0 ticks=11864 tps=100 nb_sec=118 case_no=92 label=Case6.80 nb_sol=0 ticks=12036 tps=100 nb_sec=120 case_no=92 label=Case6.80 nb_sol=0 ticks=12426 tps=100 nb_sec=124 case_no=92 label=Case6.80 nb_sol=0 ticks=12226 tps=100 nb_sec=122 case_no=92 label=Case6.80 nb_sol=0 ticks=13361 tps=100 nb_sec=133 case_no=92 label=Case6.80 nb_sol=0 ticks=12641 tps=100 nb_sec=126 case_no=92 label=Case6.80 nb_sol=0 ticks=10903 tps=100 nb_sec=109 case_no=92 label=Case6.80 nb_sol=0 ticks=12113 tps=100 nb_sec=121 case_no=92 label=Case6.80 nb_sol=0 ticks=12087 tps=100 nb_sec=120 case_no=92 label=Case6.80 nb_sol=0 ticks=14554 tps=100 nb_sec=145 case_no=92 label=Case6.80 nb_sol=0 ticks=11820 tps=100 nb_sec=118 case_no=92 label=Case6.80 nb_sol=0 ticks=17402 tps=100 nb_sec=174 case_no=92 label=Case6.80 nb_sol=0 ticks=12334 tps=100 nb_sec=123 case_no=92 label=Case6.80 nb_sol=0 ticks=13377 tps=100 nb_sec=133 case_no=92 label=Case6.80 nb_sol=0 ticks=22339 tps=100 nb_sec=223 case_no=92 label=Case6.80 nb_sol=0 ticks=11740 tps=100 nb_sec=117 case_no=92 label=Case6.80 nb_sol=0 ticks=14445 tps=100 nb_sec=144 case_no=92 label=Case6.80 nb_sol=0 ticks=18574 tps=100 nb_sec=185 case_no=92 label=Case6.80 nb_sol=0 ticks=11875 tps=100 nb_sec=118 case_no=92 label=Case6.80 nb_sol=0 ticks=12850 tps=100 nb_sec=128 case_no=92 label=Case6.80 nb_sol=0 ticks=27404 tps=100 nb_sec=274 case_no=92 label=Case6.80 nb_sol=0 ticks=11873 tps=100 nb_sec=118 case_no=92 label=Case6.80 nb_sol=0 ticks=9918 tps=100 nb_sec=99 case_no=92 label=Case6.80 nb_sol=0 ticks=17844 tps=100 nb_sec=178 case_no=92 label=Case6.80 nb_sol=0 ticks=11094 tps=100 nb_sec=110 case_no=92 label=Case6.80 nb_sol=0 ticks=14758 tps=100 nb_sec=147 case_no=92 label=Case6.80 nb_sol=0 ticks=17463 tps=100 nb_sec=174 case_no=92 label=Case6.80 nb_sol=0 ticks=13189 tps=100 nb_sec=131 case_no=92 label=Case6.80 nb_sol=0 ticks=13190 tps=100 nb_sec=131 case_no=92 label=Case6.80 nb_sol=0 ticks=13895 tps=100 nb_sec=138 case_no=92 label=Case6.80 nb_sol=0 ticks=19096 tps=100 nb_sec=190 case_no=92 label=Case6.80 nb_sol=0 ticks=14339 tps=100 nb_sec=143 case_no=92 label=Case6.80 nb_sol=0 ticks=12684 tps=100 nb_sec=126 case_no=92 label=Case6.80 nb_sol=0 ticks=20009 tps=100 nb_sec=200 case_no=92 label=Case6.80 nb_sol=0 ticks=29184 tps=100 nb_sec=291 case_no=92 label=Case6.80 nb_sol=0 ticks=19292 tps=100 nb_sec=192 case_no=92 label=Case6.80 nb_sol=0 ticks=13957 tps=100 nb_sec=139 case_no=92 label=Case6.80 nb_sol=0 ticks=20813 tps=100 nb_sec=208 case_no=92 label=Case6.80 nb_sol=0 ticks=20051 tps=100 nb_sec=200 case_no=92 label=Case6.80 nb_sol=0 ticks=12876 tps=100 nb_sec=128 case_no=92 label=Case6.80 nb_sol=0 ticks=14574 tps=100 nb_sec=145 case_no=92 label=Case6.80 nb_sol=0 ticks=12850 tps=100 nb_sec=128 case_no=92 label=Case6.80 nb_sol=0 ticks=12548 tps=100 nb_sec=125 case_no=92 label=Case6.80 nb_sol=0 ticks=13547 tps=100 nb_sec=135 case_no=92 label=Case6.80 nb_sol=0 ticks=12931 tps=100 nb_sec=129 case_no=92 label=Case6.80 nb_sol=0 ticks=12137 tps=100 nb_sec=121 case_no=92 label=Case6.80 nb_sol=0 ticks=12020 tps=100 nb_sec=120 case_no=92 label=Case6.80 nb_sol=0 ticks=12301 tps=100 nb_sec=123 case_no=92 label=Case6.80 nb_sol=0 ticks=15711 tps=100 nb_sec=157 case_no=92 label=Case6.80 nb_sol=0 ticks=13720 tps=100 nb_sec=137 case_no=92 label=Case6.80 nb_sol=0 ticks=15007 tps=100 nb_sec=150 case_no=92 label=Case6.80 nb_sol=0 ticks=19068 tps=100 nb_sec=190 case_no=92 label=Case6.80 nb_sol=0 ticks=11458 tps=100 nb_sec=114 case_no=92 label=Case6.80 nb_sol=0 ticks=18986 tps=100 nb_sec=189 case_no=92 label=Case6.80 nb_sol=0 ticks=14745 tps=100 nb_sec=147 case_no=92 label=Case6.80 nb_sol=0 ticks=12369 tps=100 nb_sec=123 case_no=92 label=Case6.80 nb_sol=0 ticks=12255 tps=100 nb_sec=122 case_no=92 label=Case6.80 nb_sol=0 ticks=12923 tps=100 nb_sec=129 case_no=92 label=Case6.80 nb_sol=0 ticks=18545 tps=100 nb_sec=185 case_no=92 label=Case6.80 nb_sol=0 ticks=11686 tps=100 nb_sec=116 case_no=92 label=Case6.80 nb_sol=0 ticks=12895 tps=100 nb_sec=128 case_no=92 label=Case6.80 nb_sol=0 ticks=11322 tps=100 nb_sec=113 case_no=92 label=Case6.80 nb_sol=0 ticks=31986 tps=100 nb_sec=319 case_no=92 label=Case6.80 nb_sol=0 ticks=13038 tps=100 nb_sec=130 case_no=92 label=Case6.80 nb_sol=0 ticks=13455 tps=100 nb_sec=134 case_no=92 label=Case6.80 nb_sol=0 ticks=12890 tps=100 nb_sec=128 case_no=92 label=Case6.80 nb_sol=0 ticks=29778 tps=100 nb_sec=297 case_no=92 label=Case6.80 nb_sol=0 ticks=11036 tps=100 nb_sec=110 case_no=92 label=Case6.80 nb_sol=0 ticks=15672 tps=100 nb_sec=156 case_no=92 label=Case6.80 nb_sol=0 ticks=10282 tps=100 nb_sec=102 case_no=92 label=Case6.80 nb_sol=0 ticks=17312 tps=100 nb_sec=173 case_no=92 label=Case6.80 nb_sol=0 ticks=17069 tps=100 nb_sec=170 case_no=92 label=Case6.80 nb_sol=0 ticks=9541 tps=100 nb_sec=95 case_no=92 label=Case6.80 nb_sol=0 ticks=10262 tps=100 nb_sec=102 case_no=92 label=Case6.80 nb_sol=0 ticks=16348 tps=100 nb_sec=163 case_no=92 label=Case6.80 nb_sol=0 ticks=11590 tps=100 nb_sec=115 case_no=92 label=Case6.80 nb_sol=0 ticks=12763 tps=100 nb_sec=127 case_no=92 label=Case6.80 nb_sol=0 ticks=17081 tps=100 nb_sec=170 case_no=92 label=Case6.80 nb_sol=0 ticks=11523 tps=100 nb_sec=115 case_no=92 label=Case6.80 nb_sol=0 ticks=11491 tps=100 nb_sec=114 case_no=92 label=Case6.80 nb_sol=0 ticks=12574 tps=100 nb_sec=125 case_no=92 label=Case6.80 nb_sol=0 ticks=12049 tps=100 nb_sec=120 case_no=92 label=Case6.80 nb_sol=0 ticks=10577 tps=100 nb_sec=105 case_no=92 label=Case6.80 nb_sol=0 ticks=13592 tps=100 nb_sec=135 case_no=92 label=Case6.80 nb_sol=0 ticks=13023 tps=100 nb_sec=130 case_no=92 label=Case6.80 nb_sol=0 ticks=12089 tps=100 nb_sec=120 case_no=92 label=Case6.80 nb_sol=0 ticks=12374 tps=100 nb_sec=123 case_no=92 label=Case6.80 nb_sol=0 ticks=13728 tps=100 nb_sec=137 case_no=92 label=Case6.80 nb_sol=0 ticks=13592 tps=100 nb_sec=135 case_no=92 label=Case6.80 nb_sol=0 ticks=11905 tps=100 nb_sec=119 case_no=92 label=Case6.80 nb_sol=0 ticks=12540 tps=100 nb_sec=125 case_no=92 label=Case6.80 nb_sol=0 ticks=14470 tps=100 nb_sec=144 case_no=92 label=Case6.80 nb_sol=0 ticks=12668 tps=100 nb_sec=126 case_no=92 label=Case6.80 nb_sol=0 ticks=18491 tps=100 nb_sec=184 case_no=92 label=Case6.80 nb_sol=0 ticks=10564 tps=100 nb_sec=105 case_no=92 label=Case6.80 nb_sol=0 ticks=22412 tps=100 nb_sec=224 case_no=92 label=Case6.80 nb_sol=0 ticks=11794 tps=100 nb_sec=117 case_no=92 label=Case6.80 nb_sol=0 ticks=19762 tps=100 nb_sec=197 case_no=92 label=Case6.80 nb_sol=0 ticks=16769 tps=100 nb_sec=167 case_no=92 label=Case6.80 nb_sol=0 ticks=11519 tps=100 nb_sec=115 case_no=92 label=Case6.80 nb_sol=0 ticks=31627 tps=100 nb_sec=316 case_no=92 label=Case6.80 nb_sol=0 ticks=11581 tps=100 nb_sec=115 case_no=92 label=Case6.80 nb_sol=0 ticks=19066 tps=100 nb_sec=190 case_no=92 label=Case6.80 nb_sol=0 ticks=19164 tps=100 nb_sec=191 case_no=92 label=Case6.80 nb_sol=0 ticks=13816 tps=100 nb_sec=138 case_no=92 label=Case6.80 nb_sol=0 ticks=19334 tps=100 nb_sec=193 case_no=92 label=Case6.80 nb_sol=0 ticks=11667 tps=100 nb_sec=116 case_no=92 label=Case6.80 nb_sol=0 ticks=20782 tps=100 nb_sec=207 case_no=92 label=Case6.80 nb_sol=0 ticks=16761 tps=100 nb_sec=167 case_no=92 label=Case6.80 nb_sol=0 ticks=19785 tps=100 nb_sec=197 case_no=92 label=Case6.80 nb_sol=0 ticks=20310 tps=100 nb_sec=203 case_no=92 label=Case6.80 nb_sol=0 ticks=12787 tps=100 nb_sec=127 case_no=92 label=Case6.80 nb_sol=0 ticks=18281 tps=100 nb_sec=182 case_no=92 label=Case6.80 nb_sol=0 ticks=21023 tps=100 nb_sec=210 case_no=92 label=Case6.80 nb_sol=0 ticks=19679 tps=100 nb_sec=196 case_no=92 label=Case6.80 nb_sol=0 ticks=12521 tps=100 nb_sec=125 case_no=92 label=Case6.80 nb_sol=0 ticks=20757 tps=100 nb_sec=207 case_no=92 label=Case6.80 nb_sol=0 ticks=16002 tps=100 nb_sec=160 case_no=92 label=Case6.80 nb_sol=0 ticks=19292 tps=100 nb_sec=192 case_no=92 label=Case6.80 nb_sol=0 ticks=12032 tps=100 nb_sec=120 case_no=92 label=Case6.80 nb_sol=0 ticks=12611 tps=100 nb_sec=126 case_no=92 label=Case6.80 nb_sol=0 ticks=13643 tps=100 nb_sec=136 case_no=92 label=Case6.80 nb_sol=0 ticks=13069 tps=100 nb_sec=130 case_no=92 label=Case6.80 nb_sol=0 ticks=13219 tps=100 nb_sec=132 case_no=92 label=Case6.80 nb_sol=0 ticks=16081 tps=100 nb_sec=160 case_no=92 label=Case6.80 nb_sol=0 ticks=13407 tps=100 nb_sec=134 case_no=92 label=Case6.80 nb_sol=0 ticks=12719 tps=100 nb_sec=127 case_no=92 label=Case6.80 nb_sol=0 ticks=12843 tps=100 nb_sec=128 case_no=92 label=Case6.80 nb_sol=0 ticks=12241 tps=100 nb_sec=122 case_no=92 label=Case6.80 nb_sol=0 ticks=12968 tps=100 nb_sec=129 case_no=92 label=Case6.80 nb_sol=0 ticks=12283 tps=100 nb_sec=122 case_no=92 label=Case6.80 nb_sol=0 ticks=18115 tps=100 nb_sec=181 case_no=92 label=Case6.80 nb_sol=0 ticks=12838 tps=100 nb_sec=128 case_no=92 label=Case6.80 nb_sol=0 ticks=15819 tps=100 nb_sec=158 case_no=92 label=Case6.80 nb_sol=0 ticks=14937 tps=100 nb_sec=149 case_no=92 label=Case6.80 nb_sol=0 ticks=14670 tps=100 nb_sec=146 case_no=92 label=Case6.80 nb_sol=0 ticks=11873 tps=100 nb_sec=118 case_no=92 label=Case6.80 nb_sol=0 ticks=32520 tps=100 nb_sec=325 case_no=92 label=Case6.80 nb_sol=0 ticks=12827 tps=100 nb_sec=128 case_no=92 label=Case6.80 nb_sol=0 ticks=17379 tps=100 nb_sec=173 case_no=92 label=Case6.80 nb_sol=0 ticks=13797 tps=100 nb_sec=137 case_no=92 label=Case6.80 nb_sol=0 ticks=12546 tps=100 nb_sec=125 case_no=92 label=Case6.80 nb_sol=0 ticks=31924 tps=100 nb_sec=319 case_no=92 label=Case6.80 nb_sol=0 ticks=12187 tps=100 nb_sec=121 case_no=92 label=Case6.80 nb_sol=0 ticks=19737 tps=100 nb_sec=197 case_no=92 label=Case6.80 nb_sol=0 ticks=14029 tps=100 nb_sec=140 case_no=92 label=Case6.80 nb_sol=0 ticks=19887 tps=100 nb_sec=198 case_no=92 label=Case6.80 nb_sol=0 ticks=14267 tps=100 nb_sec=142 case_no=92 label=Case6.80 nb_sol=0 ticks=14137 tps=100 nb_sec=141 case_no=92 label=Case6.80 nb_sol=0 ticks=13866 tps=100 nb_sec=138 case_no=92 label=Case6.80 nb_sol=0 ticks=11229 tps=100 nb_sec=112 case_no=92 label=Case6.80 nb_sol=0 ticks=11351 tps=100 nb_sec=113 case_no=92 label=Case6.80 nb_sol=0 ticks=15466 tps=100 nb_sec=154 case_no=92 label=Case6.80 nb_sol=0 ticks=16144 tps=100 nb_sec=161 case_no=92 label=Case6.80 nb_sol=0 ticks=12163 tps=100 nb_sec=121 case_no=92 label=Case6.80 nb_sol=0 ticks=13046 tps=100 nb_sec=130 case_no=92 label=Case6.80 nb_sol=0 ticks=14805 tps=100 nb_sec=148 case_no=92 label=Case6.80 nb_sol=0 ticks=14546 tps=100 nb_sec=145 case_no=92 label=Case6.80 nb_sol=0 ticks=13999 tps=100 nb_sec=139 case_no=92 label=Case6.80 nb_sol=0 ticks=13534 tps=100 nb_sec=135 case_no=92 label=Case6.80 nb_sol=0 ticks=12706 tps=100 nb_sec=127 case_no=92 label=Case6.80 nb_sol=0 ticks=13093 tps=100 nb_sec=130 case_no=92 label=Case6.80 nb_sol=0 ticks=14530 tps=100 nb_sec=145 case_no=92 label=Case6.80 nb_sol=0 ticks=13852 tps=100 nb_sec=138 case_no=92 label=Case6.80 nb_sol=0 ticks=13039 tps=100 nb_sec=130 case_no=92 label=Case6.80 nb_sol=0 ticks=12726 tps=100 nb_sec=127 case_no=92 label=Case6.80 nb_sol=0 ticks=16060 tps=100 nb_sec=160 case_no=92 label=Case6.80 nb_sol=0 ticks=28244 tps=100 nb_sec=282 case_no=92 label=Case6.80 nb_sol=0 ticks=15006 tps=100 nb_sec=150 case_no=92 label=Case6.80 nb_sol=0 ticks=14073 tps=100 nb_sec=140 case_no=92 label=Case6.80 nb_sol=0 ticks=12463 tps=100 nb_sec=124 case_no=92 label=Case6.80 nb_sol=0 ticks=17601 tps=100 nb_sec=176 case_no=92 label=Case6.80 nb_sol=0 ticks=13263 tps=100 nb_sec=132 case_no=92 label=Case6.80 nb_sol=0 ticks=11337 tps=100 nb_sec=113 case_no=92 label=Case6.80 nb_sol=0 ticks=12253 tps=100 nb_sec=122 case_no=92 label=Case6.80 nb_sol=0 ticks=12194 tps=100 nb_sec=121 case_no=92 label=Case6.80 nb_sol=0 ticks=21123 tps=100 nb_sec=211 case_no=92 label=Case6.80 nb_sol=0 ticks=20350 tps=100 nb_sec=203 case_no=92 label=Case6.80 nb_sol=0 ticks=12157 tps=100 nb_sec=121 case_no=92 label=Case6.80 nb_sol=0 ticks=18704 tps=100 nb_sec=187 case_no=92 label=Case6.80 nb_sol=0 ticks=12959 tps=100 nb_sec=129 case_no=92 label=Case6.80 nb_sol=0 ticks=16695 tps=100 nb_sec=166 case_no=92 label=Case6.80 nb_sol=0 ticks=11731 tps=100 nb_sec=117 case_no=92 label=Case6.80 nb_sol=0 ticks=17843 tps=100 nb_sec=178 case_no=92 label=Case6.80 nb_sol=0 ticks=17705 tps=100 nb_sec=177 case_no=92 label=Case6.80 nb_sol=0 ticks=17692 tps=100 nb_sec=176 case_no=92 label=Case6.80 nb_sol=0 ticks=17625 tps=100 nb_sec=176 case_no=92 label=Case6.80 nb_sol=0 ticks=13217 tps=100 nb_sec=132 case_no=92 label=Case6.80 nb_sol=0 ticks=13185 tps=100 nb_sec=131 case_no=92 label=Case6.80 nb_sol=0 ticks=13174 tps=100 nb_sec=131 case_no=92 label=Case6.80 nb_sol=0 ticks=16415 tps=100 nb_sec=164 case_no=92 label=Case6.80 nb_sol=0 ticks=14788 tps=100 nb_sec=147 case_no=92 label=Case6.80 nb_sol=0 ticks=13437 tps=100 nb_sec=134 case_no=92 label=Case6.80 nb_sol=0 ticks=12334 tps=100 nb_sec=123 case_no=92 label=Case6.80 nb_sol=0 ticks=13880 tps=100 nb_sec=138 case_no=92 label=Case6.80 nb_sol=0 ticks=13297 tps=100 nb_sec=132 case_no=92 label=Case6.80 nb_sol=0 ticks=13996 tps=100 nb_sec=139 case_no=92 label=Case6.80 nb_sol=0 ticks=13556 tps=100 nb_sec=135 case_no=92 label=Case6.80 nb_sol=0 ticks=12008 tps=100 nb_sec=120 case_no=92 label=Case6.80 nb_sol=0 ticks=11098 tps=100 nb_sec=110 case_no=92 label=Case6.80 nb_sol=0 ticks=14020 tps=100 nb_sec=140 case_no=92 label=Case6.80 nb_sol=0 ticks=14783 tps=100 nb_sec=147 case_no=92 label=Case6.80 nb_sol=0 ticks=20351 tps=100 nb_sec=203 case_no=92 label=Case6.80 nb_sol=0 ticks=15216 tps=100 nb_sec=152 case_no=92 label=Case6.80 nb_sol=0 ticks=30905 tps=100 nb_sec=309 case_no=92 label=Case6.80 nb_sol=0 ticks=16011 tps=100 nb_sec=160 case_no=92 label=Case6.80 nb_sol=0 ticks=14929 tps=100 nb_sec=149 case_no=92 label=Case6.80 nb_sol=0 ticks=27500 tps=100 nb_sec=275 case_no=92 label=Case6.80 nb_sol=0 ticks=18276 tps=100 nb_sec=182 case_no=92 label=Case6.80 nb_sol=0 ticks=12865 tps=100 nb_sec=128 case_no=92 label=Case6.80 nb_sol=0 ticks=20610 tps=100 nb_sec=206 case_no=92 label=Case6.80 nb_sol=0 ticks=14462 tps=100 nb_sec=144 case_no=92 label=Case6.80 nb_sol=0 ticks=20313 tps=100 nb_sec=203 case_no=92 label=Case6.80 nb_sol=0 ticks=14249 tps=100 nb_sec=142 case_no=92 label=Case6.80 nb_sol=0 ticks=12880 tps=100 nb_sec=128 case_no=92 label=Case6.80 nb_sol=0 ticks=23047 tps=100 nb_sec=230 case_no=92 label=Case6.80 nb_sol=0 ticks=16390 tps=100 nb_sec=163 case_no=92 label=Case6.80 nb_sol=0 ticks=15227 tps=100 nb_sec=152 case_no=92 label=Case6.80 nb_sol=0 ticks=20390 tps=100 nb_sec=203 case_no=92 label=Case6.80 nb_sol=0 ticks=12056 tps=100 nb_sec=120 case_no=92 label=Case6.80 nb_sol=0 ticks=11373 tps=100 nb_sec=113 case_no=92 label=Case6.80 nb_sol=0 ticks=13290 tps=100 nb_sec=132 case_no=92 label=Case6.80 nb_sol=0 ticks=14518 tps=100 nb_sec=145 case_no=92 label=Case6.80 nb_sol=0 ticks=14746 tps=100 nb_sec=147 case_no=92 label=Case6.80 nb_sol=0 ticks=12019 tps=100 nb_sec=120 case_no=92 label=Case6.80 nb_sol=0 ticks=11547 tps=100 nb_sec=115 case_no=92 label=Case6.80 nb_sol=0 ticks=17614 tps=100 nb_sec=176 case_no=92 label=Case6.80 nb_sol=0 ticks=8642 tps=100 nb_sec=86 case_no=92 label=Case6.80 nb_sol=0 ticks=21502 tps=100 nb_sec=215 case_no=92 label=Case6.80 nb_sol=0 ticks=14526 tps=100 nb_sec=145 case_no=92 label=Case6.80 nb_sol=0 ticks=16102 tps=100 nb_sec=161 case_no=92 label=Case6.80 nb_sol=0 ticks=16778 tps=100 nb_sec=167 case_no=92 label=Case6.80 nb_sol=0 ticks=16617 tps=100 nb_sec=166 case_no=92 label=Case6.80 nb_sol=0 ticks=34931 tps=100 nb_sec=349 case_no=92 label=Case6.80 nb_sol=0 ticks=15599 tps=100 nb_sec=155 case_no=92 label=Case6.80 nb_sol=0 ticks=24312 tps=100 nb_sec=243 case_no=92 label=Case6.80 nb_sol=0 ticks=23645 tps=100 nb_sec=236 case_no=92 label=Case6.80 nb_sol=0 ticks=13929 tps=100 nb_sec=139 case_no=92 label=Case6.80 nb_sol=0 ticks=23425 tps=100 nb_sec=234 case_no=92 label=Case6.80 nb_sol=0 ticks=20743 tps=100 nb_sec=207 case_no=92 label=Case6.80 nb_sol=0 ticks=14859 tps=100 nb_sec=148 case_no=92 label=Case6.80 nb_sol=0 ticks=13856 tps=100 nb_sec=138 case_no=92 label=Case6.80 nb_sol=0 ticks=30767 tps=100 nb_sec=307 case_no=92 label=Case6.80 nb_sol=0 ticks=15021 tps=100 nb_sec=150 case_no=92 label=Case6.80 nb_sol=0 ticks=15490 tps=100 nb_sec=154 case_no=92 label=Case6.80 nb_sol=0 ticks=11067 tps=100 nb_sec=110 case_no=92 label=Case6.80 nb_sol=0 ticks=15648 tps=100 nb_sec=156 case_no=92 label=Case6.80 nb_sol=0 ticks=21350 tps=100 nb_sec=213 case_no=92 label=Case6.80 nb_sol=0 ticks=16419 tps=100 nb_sec=164 case_no=92 label=Case6.80 nb_sol=0 ticks=16102 tps=100 nb_sec=161 case_no=92 label=Case6.80 nb_sol=0 ticks=21226 tps=100 nb_sec=212 case_no=92 label=Case6.80 nb_sol=0 ticks=19827 tps=100 nb_sec=198 case_no=92 label=Case6.80 nb_sol=0 ticks=13478 tps=100 nb_sec=134 case_no=92 label=Case6.80 nb_sol=0 ticks=18742 tps=100 nb_sec=187 case_no=92 label=Case6.80 nb_sol=0 ticks=17402 tps=100 nb_sec=174 case_no=92 label=Case6.80 nb_sol=0 ticks=12823 tps=100 nb_sec=128 case_no=92 label=Case6.80 nb_sol=0 ticks=27910 tps=100 nb_sec=279 case_no=92 label=Case6.80 nb_sol=0 ticks=19928 tps=100 nb_sec=199 case_no=92 label=Case6.80 nb_sol=0 ticks=11099 tps=100 nb_sec=110 case_no=92 label=Case6.80 nb_sol=0 ticks=18728 tps=100 nb_sec=187 case_no=92 label=Case6.80 nb_sol=0 ticks=28633 tps=100 nb_sec=286 case_no=92 label=Case6.80 nb_sol=0 ticks=14314 tps=100 nb_sec=143 case_no=92 label=Case6.80 nb_sol=0 ticks=21652 tps=100 nb_sec=216 case_no=92 label=Case6.80 nb_sol=0 ticks=14545 tps=100 nb_sec=145 case_no=92 label=Case6.80 nb_sol=0 ticks=20324 tps=100 nb_sec=203 case_no=92 label=Case6.80 nb_sol=0 ticks=28904 tps=100 nb_sec=289 case_no=92 label=Case6.80 nb_sol=0 ticks=12711 tps=100 nb_sec=127 case_no=92 label=Case6.80 nb_sol=0 ticks=30919 tps=100 nb_sec=309 case_no=92 label=Case6.80 nb_sol=0 ticks=24167 tps=100 nb_sec=241 case_no=92 label=Case6.80 nb_sol=0 ticks=21821 tps=100 nb_sec=218 case_no=92 label=Case6.80 nb_sol=0 ticks=15069 tps=100 nb_sec=150 case_no=92 label=Case6.80 nb_sol=0 ticks=18440 tps=100 nb_sec=184 case_no=92 label=Case6.80 nb_sol=0 ticks=18584 tps=100 nb_sec=185 case_no=92 label=Case6.80 nb_sol=0 ticks=12199 tps=100 nb_sec=121 case_no=92 label=Case6.80 nb_sol=0 ticks=26953 tps=100 nb_sec=269 case_no=92 label=Case6.80 nb_sol=0 ticks=16840 tps=100 nb_sec=168 case_no=92 label=Case6.80 nb_sol=0 ticks=15058 tps=100 nb_sec=150 case_no=92 label=Case6.80 nb_sol=0 ticks=22149 tps=100 nb_sec=221 case_no=92 label=Case6.80 nb_sol=0 ticks=15384 tps=100 nb_sec=153 case_no=92 label=Case6.80 nb_sol=0 ticks=11346 tps=100 nb_sec=113 case_no=92 label=Case6.80 nb_sol=0 ticks=12667 tps=100 nb_sec=126 case_no=92 label=Case6.80 nb_sol=0 ticks=17278 tps=100 nb_sec=172 case_no=92 label=Case6.80 nb_sol=0 ticks=12561 tps=100 nb_sec=125 case_no=92 label=Case6.80 nb_sol=0 ticks=14422 tps=100 nb_sec=144 case_no=92 label=Case6.80 nb_sol=0 ticks=13840 tps=100 nb_sec=138 case_no=92 label=Case6.80 nb_sol=0 ticks=15960 tps=100 nb_sec=159 case_no=92 label=Case6.80 nb_sol=0 ticks=15560 tps=100 nb_sec=155 case_no=92 label=Case6.80 nb_sol=0 ticks=13584 tps=100 nb_sec=135 case_no=92 label=Case6.80 nb_sol=0 ticks=11704 tps=100 nb_sec=117 case_no=92 label=Case6.80 nb_sol=0 ticks=13403 tps=100 nb_sec=134 case_no=92 label=Case6.80 nb_sol=0 ticks=18866 tps=100 nb_sec=188 case_no=92 label=Case6.80 nb_sol=0 ticks=23418 tps=100 nb_sec=234 case_no=92 label=Case6.80 nb_sol=0 ticks=15322 tps=100 nb_sec=153 case_no=92 label=Case6.80 nb_sol=0 ticks=22060 tps=100 nb_sec=220 case_no=92 label=Case6.80 nb_sol=0 ticks=13895 tps=100 nb_sec=138 case_no=92 label=Case6.80 nb_sol=0 ticks=13747 tps=100 nb_sec=137 case_no=92 label=Case6.80 nb_sol=0 ticks=27939 tps=100 nb_sec=279 case_no=92 label=Case6.80 nb_sol=0 ticks=16657 tps=100 nb_sec=166 case_no=92 label=Case6.80 nb_sol=0 ticks=25520 tps=100 nb_sec=255 case_no=92 label=Case6.80 nb_sol=0 ticks=13758 tps=100 nb_sec=137 case_no=92 label=Case6.80 nb_sol=0 ticks=21128 tps=100 nb_sec=211 case_no=92 label=Case6.80 nb_sol=0 ticks=18644 tps=100 nb_sec=186 case_no=92 label=Case6.80 nb_sol=0 ticks=16947 tps=100 nb_sec=169 case_no=92 label=Case6.80 nb_sol=0 ticks=18481 tps=100 nb_sec=184 case_no=92 label=Case6.80 nb_sol=0 ticks=19495 tps=100 nb_sec=194 case_no=92 label=Case6.80 nb_sol=0 ticks=14740 tps=100 nb_sec=147 case_no=92 label=Case6.80 nb_sol=0 ticks=21026 tps=100 nb_sec=210 case_no=92 label=Case6.80 nb_sol=0 ticks=24643 tps=100 nb_sec=246 case_no=92 label=Case6.80 nb_sol=0 ticks=12433 tps=100 nb_sec=124 case_no=92 label=Case6.80 nb_sol=0 ticks=13099 tps=100 nb_sec=130 case_no=92 label=Case6.80 nb_sol=0 ticks=31936 tps=100 nb_sec=319 case_no=92 label=Case6.80 nb_sol=0 ticks=25836 tps=100 nb_sec=258 case_no=92 label=Case6.80 nb_sol=0 ticks=21812 tps=100 nb_sec=218 case_no=92 label=Case6.80 nb_sol=0 ticks=24163 tps=100 nb_sec=241 case_no=92 label=Case6.80 nb_sol=0 ticks=22974 tps=100 nb_sec=229 case_no=92 label=Case6.80 nb_sol=0 ticks=18544 tps=100 nb_sec=185 case_no=92 label=Case6.80 nb_sol=0 ticks=24609 tps=100 nb_sec=246 case_no=92 label=Case6.80 nb_sol=0 ticks=15835 tps=100 nb_sec=158 case_no=92 label=Case6.80 nb_sol=0 ticks=13064 tps=100 nb_sec=130 case_no=92 label=Case6.80 nb_sol=0 ticks=23051 tps=100 nb_sec=230 case_no=92 label=Case6.80 nb_sol=0 ticks=18475 tps=100 nb_sec=184 case_no=92 label=Case6.80 nb_sol=0 ticks=16758 tps=100 nb_sec=167 case_no=92 label=Case6.80 nb_sol=0 ticks=33977 tps=100 nb_sec=339 case_no=92 label=Case6.80 nb_sol=0 ticks=17956 tps=100 nb_sec=179 case_no=92 label=Case6.80 nb_sol=0 ticks=20839 tps=100 nb_sec=208 case_no=92 label=Case6.80 nb_sol=0 ticks=22499 tps=100 nb_sec=224 case_no=92 label=Case6.80 nb_sol=0 ticks=22158 tps=100 nb_sec=221 case_no=92 label=Case6.80 nb_sol=0 ticks=14159 tps=100 nb_sec=141 case_no=92 label=Case6.80 nb_sol=0 ticks=20621 tps=100 nb_sec=206 case_no=92 label=Case6.80 nb_sol=0 ticks=17413 tps=100 nb_sec=174 case_no=92 label=Case6.80 nb_sol=0 ticks=19111 tps=100 nb_sec=191 case_no=92 label=Case6.80 nb_sol=0 ticks=14628 tps=100 nb_sec=146 case_no=92 label=Case6.80 nb_sol=0 ticks=20474 tps=100 nb_sec=204 case_no=92 label=Case6.80 nb_sol=0 ticks=13038 tps=100 nb_sec=130 case_no=92 label=Case6.80 nb_sol=0 ticks=21326 tps=100 nb_sec=213 case_no=92 label=Case6.80 nb_sol=0 ticks=19422 tps=100 nb_sec=194 case_no=92 label=Case6.80 nb_sol=0 ticks=20856 tps=100 nb_sec=208 case_no=92 label=Case6.80 nb_sol=0 ticks=17665 tps=100 nb_sec=176 case_no=92 label=Case6.80 nb_sol=0 ticks=13314 tps=100 nb_sec=133 case_no=92 label=Case6.80 nb_sol=0 ticks=14815 tps=100 nb_sec=148 case_no=92 label=Case6.80 nb_sol=0 ticks=27621 tps=100 nb_sec=276 case_no=92 label=Case6.80 nb_sol=0 ticks=12760 tps=100 nb_sec=127 case_no=92 label=Case6.80 nb_sol=0 ticks=19767 tps=100 nb_sec=197 case_no=92 label=Case6.80 nb_sol=0 ticks=11028 tps=100 nb_sec=110 case_no=92 label=Case6.80 nb_sol=0 ticks=28049 tps=100 nb_sec=280 case_no=92 label=Case6.80 nb_sol=0 ticks=14454 tps=100 nb_sec=144 case_no=92 label=Case6.80 nb_sol=0 ticks=13199 tps=100 nb_sec=131 case_no=92 label=Case6.80 nb_sol=0 ticks=20314 tps=100 nb_sec=203 case_no=92 label=Case6.80 nb_sol=0 ticks=13526 tps=100 nb_sec=135 case_no=92 label=Case6.80 nb_sol=0 ticks=26242 tps=100 nb_sec=262 case_no=92 label=Case6.80 nb_sol=0 ticks=13717 tps=100 nb_sec=137 case_no=92 label=Case6.80 nb_sol=0 ticks=27099 tps=100 nb_sec=270 case_no=92 label=Case6.80 nb_sol=0 ticks=14315 tps=100 nb_sec=143 case_no=92 label=Case6.80 nb_sol=0 ticks=21301 tps=100 nb_sec=213 case_no=92 label=Case6.80 nb_sol=0 ticks=16334 tps=100 nb_sec=163 case_no=92 label=Case6.80 nb_sol=0 ticks=27658 tps=100 nb_sec=276 case_no=92 label=Case6.80 nb_sol=0 ticks=14796 tps=100 nb_sec=147 case_no=92 label=Case6.80 nb_sol=0 ticks=13424 tps=100 nb_sec=134 case_no=92 label=Case6.80 nb_sol=0 ticks=13895 tps=100 nb_sec=138 case_no=92 label=Case6.80 nb_sol=0 ticks=26200 tps=100 nb_sec=262 case_no=92 label=Case6.80 nb_sol=0 ticks=10591 tps=100 nb_sec=105 case_no=92 label=Case6.80 nb_sol=0 ticks=15187 tps=100 nb_sec=151 case_no=92 label=Case6.80 nb_sol=0 ticks=19573 tps=100 nb_sec=195 case_no=92 label=Case6.80 nb_sol=0 ticks=19650 tps=100 nb_sec=196 case_no=92 label=Case6.80 nb_sol=0 ticks=18585 tps=100 nb_sec=185 case_no=92 label=Case6.80 nb_sol=0 ticks=14059 tps=100 nb_sec=140 case_no=92 label=Case6.80 nb_sol=0 ticks=19194 tps=100 nb_sec=191 case_no=92 label=Case6.80 nb_sol=0 ticks=13512 tps=100 nb_sec=135 case_no=92 label=Case6.80 nb_sol=0 ticks=23524 tps=100 nb_sec=235 case_no=92 label=Case6.80 nb_sol=0 ticks=14741 tps=100 nb_sec=147 case_no=92 label=Case6.80 nb_sol=0 ticks=18126 tps=100 nb_sec=181 case_no=92 label=Case6.80 nb_sol=0 ticks=27010 tps=100 nb_sec=270 case_no=92 label=Case6.80 nb_sol=0 ticks=11388 tps=100 nb_sec=113 case_no=92 label=Case6.80 nb_sol=0 ticks=12181 tps=100 nb_sec=121 case_no=92 label=Case6.80 nb_sol=0 ticks=19008 tps=100 nb_sec=190 case_no=92 label=Case6.80 nb_sol=0 ticks=20790 tps=100 nb_sec=207 case_no=92 label=Case6.80 nb_sol=0 ticks=24068 tps=100 nb_sec=240 case_no=92 label=Case6.80 nb_sol=0 ticks=28121 tps=100 nb_sec=281 case_no=92 label=Case6.80 nb_sol=0 ticks=12538 tps=100 nb_sec=125 case_no=92 label=Case6.80 nb_sol=0 ticks=26137 tps=100 nb_sec=261 case_no=92 label=Case6.80 nb_sol=0 ticks=19791 tps=100 nb_sec=197 case_no=92 label=Case6.80 nb_sol=0 ticks=13595 tps=100 nb_sec=135 case_no=92 label=Case6.80 nb_sol=0 ticks=26299 tps=100 nb_sec=262 case_no=92 label=Case6.80 nb_sol=0 ticks=19446 tps=100 nb_sec=194 case_no=92 label=Case6.80 nb_sol=0 ticks=15345 tps=100 nb_sec=153 case_no=92 label=Case6.80 nb_sol=0 ticks=24041 tps=100 nb_sec=240 case_no=92 label=Case6.80 nb_sol=0 ticks=22767 tps=100 nb_sec=227 case_no=92 label=Case6.80 nb_sol=0 ticks=15619 tps=100 nb_sec=156 case_no=92 label=Case6.80 nb_sol=0 ticks=11700 tps=100 nb_sec=117 case_no=92 label=Case6.80 nb_sol=0 ticks=17410 tps=100 nb_sec=174 case_no=92 label=Case6.80 nb_sol=0 ticks=24321 tps=100 nb_sec=243 case_no=92 label=Case6.80 nb_sol=0 ticks=26617 tps=100 nb_sec=266 case_no=92 label=Case6.80 nb_sol=0 ticks=22061 tps=100 nb_sec=220 case_no=92 label=Case6.80 nb_sol=0 ticks=8610 tps=100 nb_sec=86 case_no=92 label=Case6.80 nb_sol=0 ticks=12869 tps=100 nb_sec=128 case_no=92 label=Case6.80 nb_sol=0 ticks=17340 tps=100 nb_sec=173 case_no=92 label=Case6.80 nb_sol=0 ticks=26391 tps=100 nb_sec=263 case_no=92 label=Case6.80 nb_sol=0 ticks=14631 tps=100 nb_sec=146 case_no=92 label=Case6.80 nb_sol=0 ticks=12801 tps=100 nb_sec=128 case_no=92 label=Case6.80 nb_sol=0 ticks=11291 tps=100 nb_sec=112 case_no=92 label=Case6.80 nb_sol=0 ticks=15881 tps=100 nb_sec=158 case_no=92 label=Case6.80 nb_sol=0 ticks=12858 tps=100 nb_sec=128 case_no=92 label=Case6.80 nb_sol=0 ticks=13233 tps=100 nb_sec=132 case_no=92 label=Case6.80 nb_sol=0 ticks=15117 tps=100 nb_sec=151 case_no=92 label=Case6.80 nb_sol=0 ticks=24213 tps=100 nb_sec=242 case_no=92 label=Case6.80 nb_sol=0 ticks=13866 tps=100 nb_sec=138 case_no=92 label=Case6.80 nb_sol=0 ticks=26763 tps=100 nb_sec=267 case_no=92 label=Case6.80 nb_sol=0 ticks=17975 tps=100 nb_sec=179 case_no=92 label=Case6.80 nb_sol=0 ticks=8598 tps=100 nb_sec=85 case_no=92 label=Case6.80 nb_sol=0 ticks=14618 tps=100 nb_sec=146 case_no=92 label=Case6.80 nb_sol=0 ticks=23164 tps=100 nb_sec=231 case_no=92 label=Case6.80 nb_sol=0 ticks=20592 tps=100 nb_sec=205 case_no=92 label=Case6.80 nb_sol=0 ticks=13983 tps=100 nb_sec=139 case_no=92 label=Case6.80 nb_sol=0 ticks=24911 tps=100 nb_sec=249 case_no=92 label=Case6.80 nb_sol=0 ticks=13501 tps=100 nb_sec=135 case_no=92 label=Case6.80 nb_sol=0 ticks=12383 tps=100 nb_sec=123 case_no=92 label=Case6.80 nb_sol=0 ticks=20185 tps=100 nb_sec=201 case_no=92 label=Case6.80 nb_sol=0 ticks=12685 tps=100 nb_sec=126 case_no=92 label=Case6.80 nb_sol=0 ticks=18662 tps=100 nb_sec=186 case_no=92 label=Case6.80 nb_sol=0 ticks=15051 tps=100 nb_sec=150 case_no=92 label=Case6.80 nb_sol=0 ticks=22381 tps=100 nb_sec=223 case_no=92 label=Case6.80 nb_sol=0 ticks=11746 tps=100 nb_sec=117 case_no=92 label=Case6.80 nb_sol=0 ticks=14998 tps=100 nb_sec=149 case_no=92 label=Case6.80 nb_sol=0 ticks=18573 tps=100 nb_sec=185 case_no=92 label=Case6.80 nb_sol=0 ticks=16966 tps=100 nb_sec=169 case_no=92 label=Case6.80 nb_sol=0 ticks=12212 tps=100 nb_sec=122 case_no=92 label=Case6.80 nb_sol=0 ticks=13722 tps=100 nb_sec=137 case_no=92 label=Case6.80 nb_sol=0 ticks=12224 tps=100 nb_sec=122 case_no=92 label=Case6.80 nb_sol=0 ticks=14579 tps=100 nb_sec=145 case_no=92 label=Case6.80 nb_sol=0 ticks=13820 tps=100 nb_sec=138 case_no=92 label=Case6.80 nb_sol=0 ticks=13100 tps=100 nb_sec=131 case_no=92 label=Case6.80 nb_sol=0 ticks=19700 tps=100 nb_sec=197 case_no=92 label=Case6.80 nb_sol=0 ticks=15095 tps=100 nb_sec=150 case_no=92 label=Case6.80 nb_sol=0 ticks=13244 tps=100 nb_sec=132 case_no=92 label=Case6.80 nb_sol=0 ticks=32780 tps=100 nb_sec=327 case_no=92 label=Case6.80 nb_sol=0 ticks=13247 tps=100 nb_sec=132 case_no=92 label=Case6.80 nb_sol=0 ticks=13496 tps=100 nb_sec=134 case_no=92 label=Case6.80 nb_sol=0 ticks=13395 tps=100 nb_sec=133 case_no=92 label=Case6.80 nb_sol=0 ticks=15738 tps=100 nb_sec=157 case_no=92 label=Case6.80 nb_sol=0 ticks=13774 tps=100 nb_sec=137 case_no=92 label=Case6.80 nb_sol=0 ticks=14048 tps=100 nb_sec=140 case_no=92 label=Case6.80 nb_sol=0 ticks=28290 tps=100 nb_sec=282 case_no=92 label=Case6.80 nb_sol=0 ticks=16519 tps=100 nb_sec=165 case_no=92 label=Case6.80 nb_sol=0 ticks=19857 tps=100 nb_sec=198 case_no=92 label=Case6.80 nb_sol=0 ticks=24212 tps=100 nb_sec=242 case_no=92 label=Case6.80 nb_sol=0 ticks=27618 tps=100 nb_sec=276 case_no=92 label=Case6.80 nb_sol=0 ticks=14367 tps=100 nb_sec=143 case_no=92 label=Case6.80 nb_sol=0 ticks=12885 tps=100 nb_sec=128 case_no=92 label=Case6.80 nb_sol=0 ticks=21078 tps=100 nb_sec=210 case_no=92 label=Case6.80 nb_sol=0 ticks=18954 tps=100 nb_sec=189 case_no=92 label=Case6.80 nb_sol=0 ticks=13479 tps=100 nb_sec=134 case_no=92 label=Case6.80 nb_sol=0 ticks=26760 tps=100 nb_sec=267 case_no=92 label=Case6.80 nb_sol=0 ticks=28912 tps=100 nb_sec=289 case_no=92 label=Case6.80 nb_sol=0 ticks=19164 tps=100 nb_sec=191 case_no=92 label=Case6.80 nb_sol=0 ticks=18299 tps=100 nb_sec=182 case_no=92 label=Case6.80 nb_sol=0 ticks=15308 tps=100 nb_sec=153 case_no=92 label=Case6.80 nb_sol=0 ticks=27495 tps=100 nb_sec=274 case_no=92 label=Case6.80 nb_sol=0 ticks=17984 tps=100 nb_sec=179 case_no=92 label=Case6.80 nb_sol=0 ticks=25033 tps=100 nb_sec=250 case_no=92 label=Case6.80 nb_sol=0 ticks=24013 tps=100 nb_sec=240 case_no=92 label=Case6.80 nb_sol=0 ticks=19280 tps=100 nb_sec=192 case_no=92 label=Case6.80 nb_sol=0 ticks=13543 tps=100 nb_sec=135 case_no=92 label=Case6.80 nb_sol=0 ticks=12725 tps=100 nb_sec=127 case_no=92 label=Case6.80 nb_sol=0 ticks=27299 tps=100 nb_sec=272 case_no=92 label=Case6.80 nb_sol=0 ticks=17451 tps=100 nb_sec=174 case_no=92 label=Case6.80 nb_sol=0 ticks=13671 tps=100 nb_sec=136 case_no=92 label=Case6.80 nb_sol=0 ticks=19661 tps=100 nb_sec=196 case_no=92 label=Case6.80 nb_sol=0 ticks=27211 tps=100 nb_sec=272 case_no=92 label=Case6.80 nb_sol=0 ticks=22890 tps=100 nb_sec=228 case_no=92 label=Case6.80 nb_sol=0 ticks=17270 tps=100 nb_sec=172 case_no=92 label=Case6.80 nb_sol=0 ticks=12954 tps=100 nb_sec=129 case_no=92 label=Case6.80 nb_sol=0 ticks=25184 tps=100 nb_sec=251 case_no=92 label=Case6.80 nb_sol=0 ticks=19253 tps=100 nb_sec=192 case_no=92 label=Case6.80 nb_sol=0 ticks=14808 tps=100 nb_sec=148 case_no=92 label=Case6.80 nb_sol=0 ticks=21105 tps=100 nb_sec=211 case_no=92 label=Case6.80 nb_sol=0 ticks=9791 tps=100 nb_sec=97 case_no=92 label=Case6.80 nb_sol=0 ticks=27773 tps=100 nb_sec=277 case_no=92 label=Case6.80 nb_sol=0 ticks=19057 tps=100 nb_sec=190 case_no=92 label=Case6.80 nb_sol=0 ticks=12795 tps=100 nb_sec=127 case_no=92 label=Case6.80 nb_sol=0 ticks=16905 tps=100 nb_sec=169 case_no=92 label=Case6.80 nb_sol=0 ticks=29898 tps=100 nb_sec=298 case_no=92 label=Case6.80 nb_sol=0 ticks=13561 tps=100 nb_sec=135 case_no=92 label=Case6.80 nb_sol=0 ticks=13747 tps=100 nb_sec=137 case_no=92 label=Case6.80 nb_sol=0 ticks=20176 tps=100 nb_sec=201 case_no=92 label=Case6.80 nb_sol=0 ticks=13904 tps=100 nb_sec=139 case_no=92 label=Case6.80 nb_sol=0 ticks=14287 tps=100 nb_sec=142 case_no=92 label=Case6.80 nb_sol=0 ticks=15108 tps=100 nb_sec=151 case_no=92 label=Case6.80 nb_sol=0 ticks=17048 tps=100 nb_sec=170 case_no=92 label=Case6.80 nb_sol=0 ticks=13657 tps=100 nb_sec=136 case_no=92 label=Case6.80 nb_sol=0 ticks=18670 tps=100 nb_sec=186 case_no=92 label=Case6.80 nb_sol=0 ticks=14424 tps=100 nb_sec=144 case_no=92 label=Case6.80 nb_sol=0 ticks=14896 tps=100 nb_sec=148 case_no=92 label=Case6.80 nb_sol=0 ticks=21016 tps=100 nb_sec=210 case_no=92 label=Case6.80 nb_sol=0 ticks=20925 tps=100 nb_sec=209 case_no=92 label=Case6.80 nb_sol=0 ticks=14489 tps=100 nb_sec=144 case_no=92 label=Case6.80 nb_sol=0 ticks=23337 tps=100 nb_sec=233 case_no=92 label=Case6.80 nb_sol=0 ticks=13097 tps=100 nb_sec=130 case_no=92 label=Case6.80 nb_sol=0 ticks=13792 tps=100 nb_sec=137 case_no=92 label=Case6.80 nb_sol=0 ticks=12620 tps=100 nb_sec=126 case_no=92 label=Case6.80 nb_sol=0 ticks=21255 tps=100 nb_sec=212 case_no=92 label=Case6.80 nb_sol=0 ticks=19101 tps=100 nb_sec=191 case_no=92 label=Case6.80 nb_sol=0 ticks=23090 tps=100 nb_sec=230 case_no=92 label=Case6.80 nb_sol=0 ticks=13728 tps=100 nb_sec=137 case_no=92 label=Case6.80 nb_sol=0 ticks=19333 tps=100 nb_sec=193 case_no=92 label=Case6.80 nb_sol=0 ticks=19016 tps=100 nb_sec=190 case_no=92 label=Case6.80 nb_sol=0 ticks=14329 tps=100 nb_sec=143 case_no=92 label=Case6.80 nb_sol=0 ticks=14139 tps=100 nb_sec=141 case_no=92 label=Case6.80 nb_sol=0 ticks=28215 tps=100 nb_sec=282 case_no=92 label=Case6.80 nb_sol=0 ticks=14925 tps=100 nb_sec=149 case_no=92 label=Case6.80 nb_sol=0 ticks=26645 tps=100 nb_sec=266 case_no=92 label=Case6.80 nb_sol=0 ticks=20514 tps=100 nb_sec=205 case_no=92 label=Case6.80 nb_sol=0 ticks=14771 tps=100 nb_sec=147 case_no=92 label=Case6.80 nb_sol=0 ticks=24612 tps=100 nb_sec=246 case_no=92 label=Case6.80 nb_sol=0 ticks=27467 tps=100 nb_sec=274 case_no=92 label=Case6.80 nb_sol=0 ticks=28588 tps=100 nb_sec=285 case_no=92 label=Case6.80 nb_sol=0 ticks=14134 tps=100 nb_sec=141 case_no=92 label=Case6.80 nb_sol=0 ticks=14040 tps=100 nb_sec=140 case_no=92 label=Case6.80 nb_sol=0 ticks=14372 tps=100 nb_sec=143 case_no=92 label=Case6.80 nb_sol=0 ticks=20420 tps=100 nb_sec=204 case_no=92 label=Case6.80 nb_sol=0 ticks=17646 tps=100 nb_sec=176 case_no=92 label=Case6.80 nb_sol=0 ticks=29332 tps=100 nb_sec=293 case_no=92 label=Case6.80 nb_sol=0 ticks=19178 tps=100 nb_sec=191 case_no=92 label=Case6.80 nb_sol=0 ticks=12761 tps=100 nb_sec=127 case_no=92 label=Case6.80 nb_sol=0 ticks=14279 tps=100 nb_sec=142 case_no=92 label=Case6.80 nb_sol=0 ticks=19234 tps=100 nb_sec=192 case_no=92 label=Case6.80 nb_sol=0 ticks=35478 tps=100 nb_sec=354 case_no=92 label=Case6.80 nb_sol=0 ticks=18854 tps=100 nb_sec=188 case_no=92 label=Case6.80 nb_sol=0 ticks=14392 tps=100 nb_sec=143 case_no=92 label=Case6.80 nb_sol=0 ticks=14376 tps=100 nb_sec=143 case_no=92 label=Case6.80 nb_sol=0 ticks=19277 tps=100 nb_sec=192 case_no=92 label=Case6.80 nb_sol=0 ticks=22603 tps=100 nb_sec=226 case_no=92 label=Case6.80 nb_sol=0 ticks=10161 tps=100 nb_sec=101 case_no=92 label=Case6.80 nb_sol=0 ticks=33065 tps=100 nb_sec=330 case_no=92 label=Case6.80 nb_sol=0 ticks=29095 tps=100 nb_sec=290 case_no=92 label=Case6.80 nb_sol=0 ticks=14543 tps=100 nb_sec=145 case_no=92 label=Case6.80 nb_sol=0 ticks=20703 tps=100 nb_sec=207 case_no=92 label=Case6.80 nb_sol=0 ticks=15391 tps=100 nb_sec=153 case_no=92 label=Case6.80 nb_sol=0 ticks=19469 tps=100 nb_sec=194 case_no=92 label=Case6.80 nb_sol=0 ticks=17246 tps=100 nb_sec=172 case_no=92 label=Case6.80 nb_sol=0 ticks=17103 tps=100 nb_sec=171 case_no=92 label=Case6.80 nb_sol=0 ticks=27578 tps=100 nb_sec=275 case_no=92 label=Case6.80 nb_sol=0 ticks=12617 tps=100 nb_sec=126 case_no=92 label=Case6.80 nb_sol=0 ticks=29141 tps=100 nb_sec=291 case_no=92 label=Case6.80 nb_sol=0 ticks=19544 tps=100 nb_sec=195 case_no=92 label=Case6.80 nb_sol=0 ticks=14565 tps=100 nb_sec=145 case_no=92 label=Case6.80 nb_sol=0 ticks=14840 tps=100 nb_sec=148 case_no=92 label=Case6.80 nb_sol=0 ticks=14626 tps=100 nb_sec=146 case_no=92 label=Case6.80 nb_sol=0 ticks=12470 tps=100 nb_sec=124 case_no=92 label=Case6.80 nb_sol=0 ticks=20604 tps=100 nb_sec=206 case_no=92 label=Case6.80 nb_sol=0 ticks=22856 tps=100 nb_sec=228 case_no=92 label=Case6.80 nb_sol=0 ticks=15205 tps=100 nb_sec=152 case_no=92 label=Case6.80 nb_sol=0 ticks=36545 tps=100 nb_sec=365 case_no=92 label=Case6.80 nb_sol=0 ticks=31815 tps=100 nb_sec=318 case_no=92 label=Case6.80 nb_sol=0 ticks=17800 tps=100 nb_sec=178 case_no=92 label=Case6.80 nb_sol=0 ticks=14205 tps=100 nb_sec=142 case_no=92 label=Case6.80 nb_sol=0 ticks=14058 tps=100 nb_sec=140 case_no=92 label=Case6.80 nb_sol=0 ticks=15553 tps=100 nb_sec=155 case_no=92 label=Case6.80 nb_sol=0 ticks=15763 tps=100 nb_sec=157 case_no=92 label=Case6.80 nb_sol=0 ticks=26693 tps=100 nb_sec=266 case_no=92 label=Case6.80 nb_sol=0 ticks=17190 tps=100 nb_sec=171 case_no=92 label=Case6.80 nb_sol=0 ticks=25854 tps=100 nb_sec=258 case_no=92 label=Case6.80 nb_sol=0 ticks=20549 tps=100 nb_sec=205 case_no=92 label=Case6.80 nb_sol=0 ticks=37470 tps=100 nb_sec=374 case_no=92 label=Case6.80 nb_sol=0 ticks=15873 tps=100 nb_sec=158 case_no=92 label=Case6.80 nb_sol=0 ticks=13232 tps=100 nb_sec=132 case_no=92 label=Case6.80 nb_sol=0 ticks=33829 tps=100 nb_sec=338 case_no=92 label=Case6.80 nb_sol=0 ticks=11631 tps=100 nb_sec=116 case_no=92 label=Case6.80 nb_sol=0 ticks=14120 tps=100 nb_sec=141 case_no=92 label=Case6.80 nb_sol=0 ticks=13506 tps=100 nb_sec=135 case_no=92 label=Case6.80 nb_sol=0 ticks=21007 tps=100 nb_sec=210 case_no=92 label=Case6.80 nb_sol=0 ticks=19520 tps=100 nb_sec=195 case_no=92 label=Case6.80 nb_sol=0 ticks=14025 tps=100 nb_sec=140 case_no=92 label=Case6.80 nb_sol=0 ticks=21889 tps=100 nb_sec=218 case_no=92 label=Case6.80 nb_sol=0 ticks=22019 tps=100 nb_sec=220 case_no=92 label=Case6.80 nb_sol=0 ticks=14481 tps=100 nb_sec=144 case_no=92 label=Case6.80 nb_sol=0 ticks=14477 tps=100 nb_sec=144 case_no=92 label=Case6.80 nb_sol=0 ticks=18145 tps=100 nb_sec=181 case_no=92 label=Case6.80 nb_sol=0 ticks=21712 tps=100 nb_sec=217 case_no=92 label=Case6.80 nb_sol=0 ticks=14865 tps=100 nb_sec=148 case_no=92 label=Case6.80 nb_sol=0 ticks=14027 tps=100 nb_sec=140 case_no=92 label=Case6.80 nb_sol=0 ticks=19771 tps=100 nb_sec=197 case_no=92 label=Case6.80 nb_sol=0 ticks=19833 tps=100 nb_sec=198 case_no=92 label=Case6.80 nb_sol=0 ticks=14577 tps=100 nb_sec=145 case_no=92 label=Case6.80 nb_sol=0 ticks=14369 tps=100 nb_sec=143 case_no=92 label=Case6.80 nb_sol=0 ticks=13516 tps=100 nb_sec=135 case_no=92 label=Case6.80 nb_sol=0 ticks=28198 tps=100 nb_sec=281 case_no=92 label=Case6.80 nb_sol=0 ticks=24437 tps=100 nb_sec=244 case_no=92 label=Case6.80 nb_sol=0 ticks=14731 tps=100 nb_sec=147 case_no=92 label=Case6.80 nb_sol=0 ticks=14186 tps=100 nb_sec=141 case_no=92 label=Case6.80 nb_sol=0 ticks=17268 tps=100 nb_sec=172 case_no=92 label=Case6.80 nb_sol=0 ticks=15773 tps=100 nb_sec=157 case_no=92 label=Case6.80 nb_sol=0 ticks=13897 tps=100 nb_sec=138 case_no=92 label=Case6.80 nb_sol=0 ticks=30200 tps=100 nb_sec=302 case_no=92 label=Case6.80 nb_sol=0 ticks=31897 tps=100 nb_sec=318 case_no=92 label=Case6.80 nb_sol=0 ticks=16058 tps=100 nb_sec=160 case_no=92 label=Case6.80 nb_sol=0 ticks=20451 tps=100 nb_sec=204 case_no=92 label=Case6.80 nb_sol=0 ticks=15617 tps=100 nb_sec=156 case_no=92 label=Case6.80 nb_sol=0 ticks=14260 tps=100 nb_sec=142 case_no=92 label=Case6.80 nb_sol=0 ticks=21548 tps=100 nb_sec=215 case_no=92 label=Case6.80 nb_sol=0 ticks=14641 tps=100 nb_sec=146 case_no=92 label=Case6.80 nb_sol=0 ticks=14482 tps=100 nb_sec=144 case_no=92 label=Case6.80 nb_sol=0 ticks=29511 tps=100 nb_sec=295 case_no=92 label=Case6.80 nb_sol=0 ticks=25469 tps=100 nb_sec=254 case_no=92 label=Case6.80 nb_sol=0 ticks=32967 tps=100 nb_sec=329 case_no=92 label=Case6.80 nb_sol=0 ticks=9223 tps=100 nb_sec=92 case_no=92 label=Case6.80 nb_sol=0 ticks=22185 tps=100 nb_sec=221 case_no=92 label=Case6.80 nb_sol=0 ticks=15478 tps=100 nb_sec=154 case_no=92 label=Case6.80 nb_sol=0 ticks=25853 tps=100 nb_sec=258 case_no=92 label=Case6.80 nb_sol=0 ticks=21285 tps=100 nb_sec=212 case_no=92 label=Case6.80 nb_sol=0 ticks=14924 tps=100 nb_sec=149 case_no=92 label=Case6.80 nb_sol=0 ticks=15152 tps=100 nb_sec=151 case_no=92 label=Case6.80 nb_sol=0 ticks=14216 tps=100 nb_sec=142 case_no=92 label=Case6.80 nb_sol=0 ticks=15564 tps=100 nb_sec=155 case_no=92 label=Case6.80 nb_sol=0 ticks=28512 tps=100 nb_sec=285 case_no=92 label=Case6.80 nb_sol=0 ticks=20881 tps=100 nb_sec=208 case_no=92 label=Case6.80 nb_sol=0 ticks=10471 tps=100 nb_sec=104 case_no=92 label=Case6.80 nb_sol=0 ticks=31976 tps=100 nb_sec=319 case_no=92 label=Case6.80 nb_sol=0 ticks=17336 tps=100 nb_sec=173 case_no=92 label=Case6.80 nb_sol=0 ticks=29674 tps=100 nb_sec=296 case_no=92 label=Case6.80 nb_sol=0 ticks=12446 tps=100 nb_sec=124 case_no=92 label=Case6.80 nb_sol=0 ticks=27541 tps=100 nb_sec=275 case_no=92 label=Case6.80 nb_sol=0 ticks=15295 tps=100 nb_sec=152 case_no=92 label=Case6.80 nb_sol=0 ticks=16190 tps=100 nb_sec=161 case_no=92 label=Case6.80 nb_sol=0 ticks=25301 tps=100 nb_sec=253 case_no=92 label=Case6.80 nb_sol=0 ticks=19355 tps=100 nb_sec=193 case_no=92 label=Case6.80 nb_sol=0 ticks=13837 tps=100 nb_sec=138 case_no=92 label=Case6.80 nb_sol=0 ticks=13397 tps=100 nb_sec=133 case_no=92 label=Case6.80 nb_sol=0 ticks=14886 tps=100 nb_sec=148 case_no=92 label=Case6.80 nb_sol=0 ticks=21632 tps=100 nb_sec=216 case_no=92 label=Case6.80 nb_sol=0 ticks=26985 tps=100 nb_sec=269 case_no=92 label=Case6.80 nb_sol=0 ticks=14304 tps=100 nb_sec=143 case_no=92 label=Case6.80 nb_sol=0 ticks=21471 tps=100 nb_sec=214 case_no=92 label=Case6.80 nb_sol=0 ticks=13327 tps=100 nb_sec=133 case_no=92 label=Case6.80 nb_sol=0 ticks=30854 tps=100 nb_sec=308 case_no=92 label=Case6.80 nb_sol=0 ticks=15035 tps=100 nb_sec=150 case_no=92 label=Case6.80 nb_sol=0 ticks=21406 tps=100 nb_sec=214 case_no=92 label=Case6.80 nb_sol=0 ticks=18937 tps=100 nb_sec=189 case_no=92 label=Case6.80 nb_sol=0 ticks=22758 tps=100 nb_sec=227 case_no=92 label=Case6.80 nb_sol=0 ticks=15366 tps=100 nb_sec=153 case_no=92 label=Case6.80 nb_sol=0 ticks=15341 tps=100 nb_sec=153 case_no=92 label=Case6.80 nb_sol=0 ticks=13929 tps=100 nb_sec=139 case_no=92 label=Case6.80 nb_sol=0 ticks=17100 tps=100 nb_sec=171 case_no=92 label=Case6.80 nb_sol=0 ticks=27771 tps=100 nb_sec=277 case_no=92 label=Case6.80 nb_sol=0 ticks=14449 tps=100 nb_sec=144 case_no=92 label=Case6.80 nb_sol=0 ticks=19465 tps=100 nb_sec=194 case_no=92 label=Case6.80 nb_sol=0 ticks=21917 tps=100 nb_sec=219 case_no=92 label=Case6.80 nb_sol=0 ticks=23787 tps=100 nb_sec=237 case_no=92 label=Case6.80 nb_sol=0 ticks=14278 tps=100 nb_sec=142 case_no=92 label=Case6.80 nb_sol=0 ticks=15470 tps=100 nb_sec=154 case_no=92 label=Case6.80 nb_sol=0 ticks=19556 tps=100 nb_sec=195 case_no=92 label=Case6.80 nb_sol=0 ticks=20281 tps=100 nb_sec=202 case_no=92 label=Case6.80 nb_sol=0 ticks=21049 tps=100 nb_sec=210 case_no=92 label=Case6.80 nb_sol=0 ticks=15426 tps=100 nb_sec=154 case_no=92 label=Case6.80 nb_sol=0 ticks=16444 tps=100 nb_sec=164 case_no=92 label=Case6.80 nb_sol=0 ticks=18581 tps=100 nb_sec=185 case_no=92 label=Case6.80 nb_sol=0 ticks=23908 tps=100 nb_sec=239 case_no=92 label=Case6.80 nb_sol=0 ticks=26659 tps=100 nb_sec=266 case_no=92 label=Case6.80 nb_sol=0 ticks=19295 tps=100 nb_sec=192 case_no=92 label=Case6.80 nb_sol=0 ticks=17930 tps=100 nb_sec=179 case_no=92 label=Case6.80 nb_sol=0 ticks=15977 tps=100 nb_sec=159 case_no=92 label=Case6.80 nb_sol=0 ticks=22632 tps=100 nb_sec=226 case_no=92 label=Case6.80 nb_sol=0 ticks=16852 tps=100 nb_sec=168 case_no=92 label=Case6.80 nb_sol=0 ticks=33896 tps=100 nb_sec=338 case_no=92 label=Case6.80 nb_sol=0 ticks=16458 tps=100 nb_sec=164 case_no=92 label=Case6.80 nb_sol=0 ticks=17050 tps=100 nb_sec=170 case_no=92 label=Case6.80 nb_sol=0 ticks=12807 tps=100 nb_sec=128 case_no=92 label=Case6.80 nb_sol=0 ticks=10011 tps=100 nb_sec=100 case_no=92 label=Case6.80 nb_sol=0 ticks=14589 tps=100 nb_sec=145 case_no=92 label=Case6.80 nb_sol=0 ticks=23314 tps=100 nb_sec=233 case_no=92 label=Case6.80 nb_sol=0 ticks=20079 tps=100 nb_sec=200 case_no=92 label=Case6.80 nb_sol=0 ticks=25590 tps=100 nb_sec=255 case_no=92 label=Case6.80 nb_sol=0 ticks=14922 tps=100 nb_sec=149 case_no=92 label=Case6.80 nb_sol=0 ticks=11800 tps=100 nb_sec=118 case_no=92 label=Case6.80 nb_sol=0 ticks=22409 tps=100 nb_sec=224 case_no=92 label=Case6.80 nb_sol=0 ticks=22543 tps=100 nb_sec=225 case_no=92 label=Case6.80 nb_sol=0 ticks=11955 tps=100 nb_sec=119 case_no=92 label=Case6.80 nb_sol=0 ticks=15957 tps=100 nb_sec=159 case_no=92 label=Case6.80 nb_sol=0 ticks=21440 tps=100 nb_sec=214 case_no=92 label=Case6.80 nb_sol=0 ticks=26420 tps=100 nb_sec=264 case_no=92 label=Case6.80 nb_sol=0 ticks=16783 tps=100 nb_sec=167 case_no=92 label=Case6.80 nb_sol=0 ticks=25928 tps=100 nb_sec=259 case_no=92 label=Case6.80 nb_sol=0 ticks=20889 tps=100 nb_sec=208 case_no=92 label=Case6.80 nb_sol=0 ticks=30256 tps=100 nb_sec=302 case_no=92 label=Case6.80 nb_sol=0 ticks=14901 tps=100 nb_sec=149 case_no=92 label=Case6.80 nb_sol=0 ticks=20970 tps=100 nb_sec=209 case_no=92 label=Case6.80 nb_sol=0 ticks=19139 tps=100 nb_sec=191 case_no=92 label=Case6.80 nb_sol=0 ticks=12902 tps=100 nb_sec=129 case_no=92 label=Case6.80 nb_sol=0 ticks=19862 tps=100 nb_sec=198 case_no=92 label=Case6.80 nb_sol=0 ticks=29357 tps=100 nb_sec=293 case_no=92 label=Case6.80 nb_sol=0 ticks=14342 tps=100 nb_sec=143 case_no=92 label=Case6.80 nb_sol=0 ticks=16867 tps=100 nb_sec=168 case_no=92 label=Case6.80 nb_sol=0 ticks=31158 tps=100 nb_sec=311 case_no=92 label=Case6.80 nb_sol=0 ticks=27349 tps=100 nb_sec=273 case_no=92 label=Case6.80 nb_sol=0 ticks=32431 tps=100 nb_sec=324 case_no=92 label=Case6.80 nb_sol=0 ticks=29391 tps=100 nb_sec=293 case_no=92 label=Case6.80 nb_sol=0 ticks=31377 tps=100 nb_sec=313 case_no=92 label=Case6.80 nb_sol=0 ticks=17278 tps=100 nb_sec=172 case_no=92 label=Case6.80 nb_sol=0 ticks=27638 tps=100 nb_sec=276 case_no=92 label=Case6.80 nb_sol=0 ticks=21981 tps=100 nb_sec=219 case_no=92 label=Case6.80 nb_sol=0 ticks=14437 tps=100 nb_sec=144 case_no=92 label=Case6.80 nb_sol=0 ticks=24102 tps=100 nb_sec=241 case_no=92 label=Case6.80 nb_sol=0 ticks=16600 tps=100 nb_sec=166 case_no=92 label=Case6.80 nb_sol=0 ticks=15208 tps=100 nb_sec=152 case_no=92 label=Case6.80 nb_sol=0 ticks=14234 tps=100 nb_sec=142 case_no=92 label=Case6.80 nb_sol=0 ticks=26156 tps=100 nb_sec=261 case_no=92 label=Case6.80 nb_sol=0 ticks=12637 tps=100 nb_sec=126 case_no=92 label=Case6.80 nb_sol=0 ticks=23615 tps=100 nb_sec=236 case_no=92 label=Case6.80 nb_sol=0 ticks=22162 tps=100 nb_sec=221 case_no=92 label=Case6.80 nb_sol=0 ticks=25102 tps=100 nb_sec=251 case_no=92 label=Case6.80 nb_sol=0 ticks=12943 tps=100 nb_sec=129 case_no=92 label=Case6.80 nb_sol=0 ticks=12017 tps=100 nb_sec=120 case_no=92 label=Case6.80 nb_sol=0 ticks=9412 tps=100 nb_sec=94 case_no=92 label=Case6.80 nb_sol=0 ticks=25387 tps=100 nb_sec=253 case_no=92 label=Case6.80 nb_sol=0 ticks=21379 tps=100 nb_sec=213 case_no=92 label=Case6.80 nb_sol=0 ticks=19479 tps=100 nb_sec=194 case_no=92 label=Case6.80 nb_sol=0 ticks=26408 tps=100 nb_sec=264 case_no=92 label=Case6.80 nb_sol=0 ticks=15440 tps=100 nb_sec=154 case_no=92 label=Case6.80 nb_sol=0 ticks=10560 tps=100 nb_sec=105 case_no=92 label=Case6.80 nb_sol=0 ticks=14991 tps=100 nb_sec=149 case_no=92 label=Case6.80 nb_sol=0 ticks=9689 tps=100 nb_sec=96 case_no=92 label=Case6.80 nb_sol=0 ticks=23711 tps=100 nb_sec=237 case_no=92 label=Case6.80 nb_sol=0 ticks=12709 tps=100 nb_sec=127 case_no=92 label=Case6.80 nb_sol=0 ticks=14633 tps=100 nb_sec=146 case_no=92 label=Case6.80 nb_sol=0 ticks=21491 tps=100 nb_sec=214 case_no=92 label=Case6.80 nb_sol=0 ticks=14381 tps=100 nb_sec=143 case_no=92 label=Case6.80 nb_sol=0 ticks=18044 tps=100 nb_sec=180 case_no=92 label=Case6.80 nb_sol=0 ticks=17195 tps=100 nb_sec=171 case_no=92 label=Case6.80 nb_sol=0 ticks=14327 tps=100 nb_sec=143 case_no=92 label=Case6.80 nb_sol=0 ticks=14299 tps=100 nb_sec=142 case_no=92 label=Case6.80 nb_sol=0 ticks=24064 tps=100 nb_sec=240 case_no=92 label=Case6.80 nb_sol=0 ticks=14361 tps=100 nb_sec=143 case_no=92 label=Case6.80 nb_sol=0 ticks=15797 tps=100 nb_sec=157 case_no=92 label=Case6.80 nb_sol=0 ticks=22920 tps=100 nb_sec=229 case_no=92 label=Case6.80 nb_sol=0 ticks=15161 tps=100 nb_sec=151 case_no=92 label=Case6.80 nb_sol=0 ticks=15670 tps=100 nb_sec=156 case_no=92 label=Case6.80 nb_sol=0 ticks=23080 tps=100 nb_sec=230 case_no=92 label=Case6.80 nb_sol=0 ticks=16385 tps=100 nb_sec=163 case_no=92 label=Case6.80 nb_sol=0 ticks=14021 tps=100 nb_sec=140 case_no=92 label=Case6.80 nb_sol=0 ticks=34327 tps=100 nb_sec=343 case_no=92 label=Case6.80 nb_sol=0 ticks=10976 tps=100 nb_sec=109 case_no=92 label=Case6.80 nb_sol=0 ticks=11074 tps=100 nb_sec=110 case_no=92 label=Case6.80 nb_sol=0 ticks=17989 tps=100 nb_sec=179 case_no=92 label=Case6.80 nb_sol=0 ticks=14623 tps=100 nb_sec=146 case_no=92 label=Case6.80 nb_sol=0 ticks=23786 tps=100 nb_sec=237 case_no=92 label=Case6.80 nb_sol=0 ticks=15332 tps=100 nb_sec=153 case_no=92 label=Case6.80 nb_sol=0 ticks=25870 tps=100 nb_sec=258 case_no=92 label=Case6.80 nb_sol=0 ticks=21057 tps=100 nb_sec=210 case_no=92 label=Case6.80 nb_sol=0 ticks=16748 tps=100 nb_sec=167 case_no=92 label=Case6.80 nb_sol=0 ticks=30117 tps=100 nb_sec=301 case_no=92 label=Case6.80 nb_sol=0 ticks=29775 tps=100 nb_sec=297 case_no=92 label=Case6.80 nb_sol=0 ticks=15466 tps=100 nb_sec=154 case_no=92 label=Case6.80 nb_sol=0 ticks=8730 tps=100 nb_sec=87 case_no=92 label=Case6.80 nb_sol=0 ticks=16993 tps=100 nb_sec=169 case_no=92 label=Case6.80 nb_sol=0 ticks=16809 tps=100 nb_sec=168 case_no=92 label=Case6.80 nb_sol=0 ticks=25241 tps=100 nb_sec=252 case_no=92 label=Case6.80 nb_sol=0 ticks=33486 tps=100 nb_sec=334 case_no=92 label=Case6.80 nb_sol=0 ticks=29593 tps=100 nb_sec=295 case_no=92 label=Case6.80 nb_sol=0 ticks=17854 tps=100 nb_sec=178 case_no=92 label=Case6.80 nb_sol=0 ticks=15549 tps=100 nb_sec=155 case_no=92 label=Case6.80 nb_sol=0 ticks=28026 tps=100 nb_sec=280 case_no=92 label=Case6.80 nb_sol=0 ticks=14802 tps=100 nb_sec=148 case_no=92 label=Case6.80 nb_sol=0 ticks=22870 tps=100 nb_sec=228 case_no=92 label=Case6.80 nb_sol=0 ticks=24714 tps=100 nb_sec=247 case_no=92 label=Case6.80 nb_sol=0 ticks=15733 tps=100 nb_sec=157 case_no=92 label=Case6.80 nb_sol=0 ticks=16152 tps=100 nb_sec=161 case_no=92 label=Case6.80 nb_sol=0 ticks=23977 tps=100 nb_sec=239 case_no=92 label=Case6.80 nb_sol=0 ticks=16190 tps=100 nb_sec=161 case_no=92 label=Case6.80 nb_sol=0 ticks=28722 tps=100 nb_sec=287 case_no=92 label=Case6.80 nb_sol=0 ticks=27029 tps=100 nb_sec=270 case_no=92 label=Case6.80 nb_sol=0 ticks=20557 tps=100 nb_sec=205 case_no=92 label=Case6.80 nb_sol=0 ticks=21773 tps=100 nb_sec=217 case_no=92 label=Case6.80 nb_sol=0 ticks=19098 tps=100 nb_sec=190 case_no=92 label=Case6.80 nb_sol=0 ticks=23440 tps=100 nb_sec=234 case_no=92 label=Case6.80 nb_sol=0 ticks=9210 tps=100 nb_sec=92 case_no=92 label=Case6.80 nb_sol=0 ticks=17624 tps=100 nb_sec=176 case_no=92 label=Case6.80 nb_sol=0 ticks=28307 tps=100 nb_sec=283 case_no=92 label=Case6.80 nb_sol=0 ticks=31875 tps=100 nb_sec=318 case_no=92 label=Case6.80 nb_sol=0 ticks=16606 tps=100 nb_sec=166 case_no=92 label=Case6.80 nb_sol=0 ticks=22233 tps=100 nb_sec=222 case_no=92 label=Case6.80 nb_sol=0 ticks=15643 tps=100 nb_sec=156 case_no=92 label=Case6.80 nb_sol=0 ticks=16028 tps=100 nb_sec=160 case_no=92 label=Case6.80 nb_sol=0 ticks=30019 tps=100 nb_sec=300 case_no=92 label=Case6.80 nb_sol=0 ticks=31965 tps=100 nb_sec=319 case_no=92 label=Case6.80 nb_sol=0 ticks=13427 tps=100 nb_sec=134 case_no=92 label=Case6.80 nb_sol=0 ticks=15784 tps=100 nb_sec=157 case_no=92 label=Case6.80 nb_sol=0 ticks=25884 tps=100 nb_sec=258 case_no=92 label=Case6.80 nb_sol=0 ticks=27595 tps=100 nb_sec=275 case_no=92 label=Case6.80 nb_sol=0 ticks=31860 tps=100 nb_sec=318 case_no=92 label=Case6.80 nb_sol=0 ticks=33821 tps=100 nb_sec=338 case_no=92 label=Case6.80 nb_sol=0 ticks=22448 tps=100 nb_sec=224 case_no=92 label=Case6.80 nb_sol=0 ticks=17685 tps=100 nb_sec=176 case_no=92 label=Case6.80 nb_sol=0 ticks=16158 tps=100 nb_sec=161 case_no=92 label=Case6.80 nb_sol=0 ticks=20976 tps=100 nb_sec=209 case_no=92 label=Case6.80 nb_sol=0 ticks=18847 tps=100 nb_sec=188 case_no=92 label=Case6.80 nb_sol=0 ticks=15032 tps=100 nb_sec=150 case_no=92 label=Case6.80 nb_sol=0 ticks=25217 tps=100 nb_sec=252 case_no=92 label=Case6.80 nb_sol=0 ticks=30587 tps=100 nb_sec=305 case_no=92 label=Case6.80 nb_sol=0 ticks=15375 tps=100 nb_sec=153 case_no=92 label=Case6.80 nb_sol=0 ticks=22546 tps=100 nb_sec=225 case_no=92 label=Case6.80 nb_sol=0 ticks=15884 tps=100 nb_sec=158 case_no=92 label=Case6.80 nb_sol=0 ticks=15713 tps=100 nb_sec=157 case_no=92 label=Case6.80 nb_sol=0 ticks=22844 tps=100 nb_sec=228 case_no=92 label=Case6.80 nb_sol=0 ticks=16729 tps=100 nb_sec=167 case_no=92 label=Case6.80 nb_sol=0 ticks=19183 tps=100 nb_sec=191 case_no=92 label=Case6.80 nb_sol=0 ticks=22280 tps=100 nb_sec=222 case_no=92 label=Case6.80 nb_sol=0 ticks=22133 tps=100 nb_sec=221 case_no=92 label=Case6.80 nb_sol=0 ticks=17618 tps=100 nb_sec=176 case_no=92 label=Case6.80 nb_sol=0 ticks=25891 tps=100 nb_sec=258 case_no=92 label=Case6.80 nb_sol=0 ticks=35917 tps=100 nb_sec=359 case_no=92 label=Case6.80 nb_sol=0 ticks=28572 tps=100 nb_sec=285 case_no=92 label=Case6.80 nb_sol=0 ticks=18429 tps=100 nb_sec=184 case_no=92 label=Case6.80 nb_sol=0 ticks=19885 tps=100 nb_sec=198 case_no=92 label=Case6.80 nb_sol=0 ticks=14172 tps=100 nb_sec=141 case_no=92 label=Case6.80 nb_sol=0 ticks=14702 tps=100 nb_sec=147 case_no=92 label=Case6.80 nb_sol=0 ticks=24180 tps=100 nb_sec=241 case_no=92 label=Case6.80 nb_sol=0 ticks=14715 tps=100 nb_sec=147 case_no=92 label=Case6.80 nb_sol=0 ticks=27145 tps=100 nb_sec=271 case_no=92 label=Case6.80 nb_sol=0 ticks=17730 tps=100 nb_sec=177 case_no=92 label=Case6.80 nb_sol=0 ticks=20026 tps=100 nb_sec=200 case_no=92 label=Case6.80 nb_sol=0 ticks=16850 tps=100 nb_sec=168 case_no=92 label=Case6.80 nb_sol=0 ticks=9411 tps=100 nb_sec=94 case_no=92 label=Case6.80 nb_sol=0 ticks=19372 tps=100 nb_sec=193 case_no=92 label=Case6.80 nb_sol=0 ticks=29327 tps=100 nb_sec=293 case_no=92 label=Case6.80 nb_sol=0 ticks=19406 tps=100 nb_sec=194 case_no=92 label=Case6.80 nb_sol=0 ticks=16416 tps=100 nb_sec=164 case_no=92 label=Case6.80 nb_sol=0 ticks=16125 tps=100 nb_sec=161 case_no=92 label=Case6.80 nb_sol=0 ticks=19386 tps=100 nb_sec=193 case_no=92 label=Case6.80 nb_sol=0 ticks=24558 tps=100 nb_sec=245 case_no=92 label=Case6.80 nb_sol=0 ticks=14214 tps=100 nb_sec=142 case_no=92 label=Case6.80 nb_sol=0 ticks=14820 tps=100 nb_sec=148 case_no=92 label=Case6.80 nb_sol=0 ticks=27907 tps=100 nb_sec=279 case_no=92 label=Case6.80 nb_sol=0 ticks=14493 tps=100 nb_sec=144 case_no=92 label=Case6.80 nb_sol=0 ticks=12215 tps=100 nb_sec=122 case_no=92 label=Case6.80 nb_sol=0 ticks=18781 tps=100 nb_sec=187 case_no=92 label=Case6.80 nb_sol=0 ticks=9397 tps=100 nb_sec=93 case_no=92 label=Case6.80 nb_sol=0 ticks=13367 tps=100 nb_sec=133 case_no=92 label=Case6.80 nb_sol=0 ticks=13659 tps=100 nb_sec=136 case_no=92 label=Case6.80 nb_sol=0 ticks=15875 tps=100 nb_sec=158 case_no=92 label=Case6.80 nb_sol=0 ticks=27132 tps=100 nb_sec=271 case_no=92 label=Case6.80 nb_sol=0 ticks=25331 tps=100 nb_sec=253 case_no=92 label=Case6.80 nb_sol=0 ticks=15282 tps=100 nb_sec=152 case_no=92 label=Case6.80 nb_sol=0 ticks=14212 tps=100 nb_sec=142 case_no=92 label=Case6.80 nb_sol=0 ticks=26823 tps=100 nb_sec=268 case_no=92 label=Case6.80 nb_sol=0 ticks=9974 tps=100 nb_sec=99 case_no=92 label=Case6.80 nb_sol=0 ticks=18723 tps=100 nb_sec=187 case_no=92 label=Case6.80 nb_sol=0 ticks=11056 tps=100 nb_sec=110 case_no=92 label=Case6.80 nb_sol=0 ticks=13057 tps=100 nb_sec=130 case_no=92 label=Case6.80 nb_sol=0 ticks=30034 tps=100 nb_sec=300 case_no=92 label=Case6.80 nb_sol=0 ticks=19206 tps=100 nb_sec=192 case_no=92 label=Case6.80 nb_sol=0 ticks=10160 tps=100 nb_sec=101 case_no=92 label=Case6.80 nb_sol=0 ticks=25883 tps=100 nb_sec=258 case_no=92 label=Case6.80 nb_sol=0 ticks=15970 tps=100 nb_sec=159 case_no=92 label=Case6.80 nb_sol=0 ticks=15901 tps=100 nb_sec=159 case_no=92 label=Case6.80 nb_sol=0 ticks=27378 tps=100 nb_sec=273 case_no=92 label=Case6.80 nb_sol=0 ticks=13859 tps=100 nb_sec=138 case_no=92 label=Case6.80 nb_sol=0 ticks=21588 tps=100 nb_sec=215 case_no=92 label=Case6.80 nb_sol=0 ticks=15400 tps=100 nb_sec=154 case_no=92 label=Case6.80 nb_sol=0 ticks=9287 tps=100 nb_sec=92 case_no=92 label=Case6.80 nb_sol=0 ticks=20267 tps=100 nb_sec=202 case_no=92 label=Case6.80 nb_sol=0 ticks=16384 tps=100 nb_sec=163 case_no=92 label=Case6.80 nb_sol=0 ticks=16151 tps=100 nb_sec=161 case_no=92 label=Case6.80 nb_sol=0 ticks=14202 tps=100 nb_sec=142 case_no=92 label=Case6.80 nb_sol=0 ticks=8739 tps=100 nb_sec=87 case_no=92 label=Case6.80 nb_sol=0 ticks=17988 tps=100 nb_sec=179 case_no=92 label=Case6.80 nb_sol=0 ticks=16129 tps=100 nb_sec=161 case_no=92 label=Case6.80 nb_sol=0 ticks=23451 tps=100 nb_sec=234 case_no=92 label=Case6.80 nb_sol=0 ticks=12911 tps=100 nb_sec=129 case_no=92 label=Case6.80 nb_sol=0 ticks=24195 tps=100 nb_sec=241 case_no=92 label=Case6.80 nb_sol=0 ticks=18858 tps=100 nb_sec=188 case_no=92 label=Case6.80 nb_sol=0 ticks=15092 tps=100 nb_sec=150 case_no=92 label=Case6.80 nb_sol=0 ticks=25583 tps=100 nb_sec=255 case_no=92 label=Case6.80 nb_sol=0 ticks=14806 tps=100 nb_sec=148 case_no=92 label=Case6.80 nb_sol=0 ticks=18824 tps=100 nb_sec=188 case_no=92 label=Case6.80 nb_sol=0 ticks=25397 tps=100 nb_sec=253 case_no=92 label=Case6.80 nb_sol=0 ticks=12814 tps=100 nb_sec=128 case_no=92 label=Case6.80 nb_sol=0 ticks=20248 tps=100 nb_sec=202 case_no=92 label=Case6.80 nb_sol=0 ticks=9409 tps=100 nb_sec=94 case_no=92 label=Case6.80 nb_sol=0 ticks=14083 tps=100 nb_sec=140 case_no=92 label=Case6.80 nb_sol=0 ticks=15208 tps=100 nb_sec=152 case_no=92 label=Case6.80 nb_sol=0 ticks=19489 tps=100 nb_sec=194 case_no=92 label=Case6.80 nb_sol=0 ticks=24122 tps=100 nb_sec=241 case_no=92 label=Case6.80 nb_sol=0 ticks=15647 tps=100 nb_sec=156 case_no=92 label=Case6.80 nb_sol=0 ticks=13191 tps=100 nb_sec=131 case_no=92 label=Case6.80 nb_sol=0 ticks=17310 tps=100 nb_sec=173 case_no=92 label=Case6.80 nb_sol=0 ticks=18892 tps=100 nb_sec=188 case_no=92 label=Case6.80 nb_sol=0 ticks=14619 tps=100 nb_sec=146 case_no=92 label=Case6.80 nb_sol=0 ticks=14797 tps=100 nb_sec=147 case_no=92 label=Case6.80 nb_sol=0 ticks=33219 tps=100 nb_sec=332 case_no=92 label=Case6.80 nb_sol=0 ticks=32664 tps=100 nb_sec=326 case_no=92 label=Case6.80 nb_sol=0 ticks=13908 tps=100 nb_sec=139 case_no=92 label=Case6.80 nb_sol=0 ticks=14439 tps=100 nb_sec=144 case_no=92 label=Case6.80 nb_sol=0 ticks=21160 tps=100 nb_sec=211 case_no=92 label=Case6.80 nb_sol=0 ticks=12135 tps=100 nb_sec=121 case_no=92 label=Case6.80 nb_sol=0 ticks=14690 tps=100 nb_sec=146 case_no=92 label=Case6.80 nb_sol=0 ticks=14698 tps=100 nb_sec=146 case_no=92 label=Case6.80 nb_sol=0 ticks=12997 tps=100 nb_sec=129 case_no=92 label=Case6.80 nb_sol=0 ticks=20621 tps=100 nb_sec=206 case_no=92 label=Case6.80 nb_sol=0 ticks=15229 tps=100 nb_sec=152 case_no=92 label=Case6.80 nb_sol=0 ticks=19291 tps=100 nb_sec=192 case_no=92 label=Case6.80 nb_sol=0 ticks=13996 tps=100 nb_sec=139 case_no=92 label=Case6.80 nb_sol=0 ticks=20696 tps=100 nb_sec=206 case_no=92 label=Case6.80 nb_sol=0 ticks=14328 tps=100 nb_sec=143 case_no=92 label=Case6.80 nb_sol=0 ticks=12554 tps=100 nb_sec=125 case_no=92 label=Case6.80 nb_sol=0 ticks=15952 tps=100 nb_sec=159 case_no=92 label=Case6.80 nb_sol=0 ticks=22731 tps=100 nb_sec=227 case_no=92 label=Case6.80 nb_sol=0 ticks=14140 tps=100 nb_sec=141 case_no=92 label=Case6.80 nb_sol=0 ticks=20516 tps=100 nb_sec=205 case_no=92 label=Case6.80 nb_sol=0 ticks=17993 tps=100 nb_sec=179 case_no=92 label=Case6.80 nb_sol=0 ticks=17989 tps=100 nb_sec=179 case_no=92 label=Case6.80 nb_sol=0 ticks=15789 tps=100 nb_sec=157 case_no=92 label=Case6.80 nb_sol=0 ticks=14848 tps=100 nb_sec=148 case_no=92 label=Case6.80 nb_sol=0 ticks=15399 tps=100 nb_sec=153 case_no=92 label=Case6.80 nb_sol=0 ticks=17471 tps=100 nb_sec=174 case_no=92 label=Case6.80 nb_sol=0 ticks=24493 tps=100 nb_sec=244 case_no=92 label=Case6.80 nb_sol=0 ticks=13568 tps=100 nb_sec=135 case_no=92 label=Case6.80 nb_sol=0 ticks=18998 tps=100 nb_sec=189 case_no=92 label=Case6.80 nb_sol=0 ticks=12384 tps=100 nb_sec=123 case_no=92 label=Case6.80 nb_sol=0 ticks=19024 tps=100 nb_sec=190 case_no=92 label=Case6.80 nb_sol=0 ticks=20387 tps=100 nb_sec=203 case_no=92 label=Case6.80 nb_sol=0 ticks=13504 tps=100 nb_sec=135 case_no=92 label=Case6.80 nb_sol=0 ticks=13228 tps=100 nb_sec=132 case_no=92 label=Case6.80 nb_sol=0 ticks=26183 tps=100 nb_sec=261 case_no=92 label=Case6.80 nb_sol=0 ticks=18893 tps=100 nb_sec=188 case_no=92 label=Case6.80 nb_sol=0 ticks=13417 tps=100 nb_sec=134 case_no=92 label=Case6.80 nb_sol=0 ticks=13791 tps=100 nb_sec=137 case_no=92 label=Case6.80 nb_sol=0 ticks=13604 tps=100 nb_sec=136 case_no=92 label=Case6.80 nb_sol=0 ticks=19343 tps=100 nb_sec=193 case_no=92 label=Case6.80 nb_sol=0 ticks=26085 tps=100 nb_sec=260 case_no=92 label=Case6.80 nb_sol=0 ticks=14270 tps=100 nb_sec=142 case_no=92 label=Case6.80 nb_sol=0 ticks=18667 tps=100 nb_sec=186 case_no=92 label=Case6.80 nb_sol=0 ticks=16038 tps=100 nb_sec=160 case_no=92 label=Case6.80 nb_sol=0 ticks=17548 tps=100 nb_sec=175 case_no=92 label=Case6.80 nb_sol=0 ticks=25889 tps=100 nb_sec=258 case_no=92 label=Case6.80 nb_sol=0 ticks=17891 tps=100 nb_sec=178 case_no=92 label=Case6.80 nb_sol=0 ticks=13878 tps=100 nb_sec=138 case_no=92 label=Case6.80 nb_sol=0 ticks=15058 tps=100 nb_sec=150 case_no=92 label=Case6.80 nb_sol=0 ticks=16515 tps=100 nb_sec=165 case_no=92 label=Case6.80 nb_sol=0 ticks=14522 tps=100 nb_sec=145 case_no=92 label=Case6.80 nb_sol=0 ticks=22258 tps=100 nb_sec=222 case_no=92 label=Case6.80 nb_sol=0 ticks=25530 tps=100 nb_sec=255 case_no=92 label=Case6.80 nb_sol=0 ticks=16561 tps=100 nb_sec=165 case_no=92 label=Case6.80 nb_sol=0 ticks=14599 tps=100 nb_sec=145 case_no=92 label=Case6.80 nb_sol=0 ticks=12073 tps=100 nb_sec=120 case_no=92 label=Case6.80 nb_sol=0 ticks=13288 tps=100 nb_sec=132 case_no=92 label=Case6.80 nb_sol=0 ticks=18789 tps=100 nb_sec=187 case_no=92 label=Case6.80 nb_sol=0 ticks=14306 tps=100 nb_sec=143 case_no=92 label=Case6.80 nb_sol=0 ticks=14487 tps=100 nb_sec=144 case_no=92 label=Case6.80 nb_sol=0 ticks=18206 tps=100 nb_sec=182 case_no=92 label=Case6.80 nb_sol=0 ticks=29344 tps=100 nb_sec=293 case_no=92 label=Case6.80 nb_sol=0 ticks=15464 tps=100 nb_sec=154 case_no=92 label=Case6.80 nb_sol=0 ticks=16447 tps=100 nb_sec=164 case_no=92 label=Case6.80 nb_sol=0 ticks=26245 tps=100 nb_sec=262 case_no=92 label=Case6.80 nb_sol=0 ticks=15135 tps=100 nb_sec=151 case_no=92 label=Case6.80 nb_sol=0 ticks=15494 tps=100 nb_sec=154 case_no=92 label=Case6.80 nb_sol=0 ticks=19812 tps=100 nb_sec=198 case_no=92 label=Case6.80 nb_sol=0 ticks=20279 tps=100 nb_sec=202 case_no=92 label=Case6.80 nb_sol=0 ticks=20091 tps=100 nb_sec=200 case_no=92 label=Case6.80 nb_sol=0 ticks=12315 tps=100 nb_sec=123 case_no=92 label=Case6.80 nb_sol=0 ticks=15187 tps=100 nb_sec=151 case_no=92 label=Case6.80 nb_sol=0 ticks=28800 tps=100 nb_sec=288 case_no=92 label=Case6.80 nb_sol=0 ticks=16386 tps=100 nb_sec=163 case_no=92 label=Case6.80 nb_sol=0 ticks=26907 tps=100 nb_sec=269 case_no=92 label=Case6.80 nb_sol=0 ticks=15998 tps=100 nb_sec=159 case_no=92 label=Case6.80 nb_sol=0 ticks=26157 tps=100 nb_sec=261 case_no=92 label=Case6.80 nb_sol=0 ticks=12636 tps=100 nb_sec=126 case_no=92 label=Case6.80 nb_sol=0 ticks=13049 tps=100 nb_sec=130 case_no=92 label=Case6.80 nb_sol=0 ticks=15895 tps=100 nb_sec=158 case_no=92 label=Case6.80 nb_sol=0 ticks=29326 tps=100 nb_sec=293 case_no=92 label=Case6.80 nb_sol=0 ticks=13763 tps=100 nb_sec=137 case_no=92 label=Case6.80 nb_sol=0 ticks=14459 tps=100 nb_sec=144 case_no=92 label=Case6.80 nb_sol=0 ticks=23484 tps=100 nb_sec=234 case_no=92 label=Case6.80 nb_sol=0 ticks=14573 tps=100 nb_sec=145 case_no=92 label=Case6.80 nb_sol=0 ticks=10789 tps=100 nb_sec=107 case_no=92 label=Case6.80 nb_sol=0 ticks=16101 tps=100 nb_sec=161 case_no=92 label=Case6.80 nb_sol=0 ticks=14752 tps=100 nb_sec=147 case_no=92 label=Case6.80 nb_sol=0 ticks=24071 tps=100 nb_sec=240 case_no=92 label=Case6.80 nb_sol=0 ticks=14735 tps=100 nb_sec=147 case_no=92 label=Case6.80 nb_sol=0 ticks=9419 tps=100 nb_sec=94 case_no=92 label=Case6.80 nb_sol=0 ticks=14896 tps=100 nb_sec=148 case_no=92 label=Case6.80 nb_sol=0 ticks=10254 tps=100 nb_sec=102 case_no=92 label=Case6.80 nb_sol=0 ticks=16016 tps=100 nb_sec=160 case_no=92 label=Case6.80 nb_sol=0 ticks=15187 tps=100 nb_sec=151 case_no=92 label=Case6.80 nb_sol=0 ticks=11377 tps=100 nb_sec=113 case_no=92 label=Case6.80 nb_sol=0 ticks=12314 tps=100 nb_sec=123 case_no=92 label=Case6.80 nb_sol=0 ticks=14517 tps=100 nb_sec=145 case_no=92 label=Case6.80 nb_sol=0 ticks=11837 tps=100 nb_sec=118 case_no=92 label=Case6.80 nb_sol=0 ticks=10796 tps=100 nb_sec=107 case_no=92 label=Case6.80 nb_sol=0 ticks=14335 tps=100 nb_sec=143 case_no=92 label=Case6.80 nb_sol=0 ticks=14184 tps=100 nb_sec=141 case_no=92 label=Case6.80 nb_sol=0 ticks=20574 tps=100 nb_sec=205 case_no=92 label=Case6.80 nb_sol=0 ticks=28004 tps=100 nb_sec=280 case_no=92 label=Case6.80 nb_sol=0 ticks=25337 tps=100 nb_sec=253 case_no=92 label=Case6.80 nb_sol=0 ticks=20045 tps=100 nb_sec=200 case_no=92 label=Case6.80 nb_sol=0 ticks=19930 tps=100 nb_sec=199 case_no=92 label=Case6.80 nb_sol=0 ticks=13151 tps=100 nb_sec=131 case_no=92 label=Case6.80 nb_sol=0 ticks=23015 tps=100 nb_sec=230 case_no=92 label=Case6.80 nb_sol=0 ticks=15809 tps=100 nb_sec=158 case_no=92 label=Case6.80 nb_sol=0 ticks=20159 tps=100 nb_sec=201 case_no=92 label=Case6.80 nb_sol=0 ticks=18935 tps=100 nb_sec=189 case_no=92 label=Case6.80 nb_sol=0 ticks=20705 tps=100 nb_sec=207 case_no=92 label=Case6.80 nb_sol=0 ticks=23356 tps=100 nb_sec=233 case_no=92 label=Case6.80 nb_sol=0 ticks=14646 tps=100 nb_sec=146 case_no=92 label=Case6.80 nb_sol=0 ticks=16666 tps=100 nb_sec=166 case_no=92 label=Case6.80 nb_sol=0 ticks=11726 tps=100 nb_sec=117 case_no=92 label=Case6.80 nb_sol=0 ticks=14464 tps=100 nb_sec=144 case_no=92 label=Case6.80 nb_sol=0 ticks=20706 tps=100 nb_sec=207 case_no=92 label=Case6.80 nb_sol=0 ticks=21321 tps=100 nb_sec=213 case_no=92 label=Case6.80 nb_sol=0 ticks=28200 tps=100 nb_sec=282 case_no=92 label=Case6.80 nb_sol=0 ticks=20637 tps=100 nb_sec=206 case_no=92 label=Case6.80 nb_sol=0 ticks=27504 tps=100 nb_sec=275 case_no=92 label=Case6.80 nb_sol=0 ticks=22380 tps=100 nb_sec=223 case_no=92 label=Case6.80 nb_sol=0 ticks=15292 tps=100 nb_sec=152 case_no=92 label=Case6.80 nb_sol=0 ticks=22917 tps=100 nb_sec=229 case_no=92 label=Case6.80 nb_sol=0 ticks=13439 tps=100 nb_sec=134 case_no=92 label=Case6.80 nb_sol=0 ticks=16864 tps=100 nb_sec=168 case_no=92 label=Case6.80 nb_sol=0 ticks=20979 tps=100 nb_sec=209 case_no=92 label=Case6.80 nb_sol=0 ticks=15703 tps=100 nb_sec=157 case_no=92 label=Case6.80 nb_sol=0 ticks=21201 tps=100 nb_sec=212 case_no=92 label=Case6.80 nb_sol=0 ticks=31513 tps=100 nb_sec=315 case_no=92 label=Case6.80 nb_sol=0 ticks=15732 tps=100 nb_sec=157 case_no=92 label=Case6.80 nb_sol=0 ticks=24441 tps=100 nb_sec=244 case_no=92 label=Case6.80 nb_sol=0 ticks=26917 tps=100 nb_sec=269 case_no=92 label=Case6.80 nb_sol=0 ticks=15503 tps=100 nb_sec=155 case_no=92 label=Case6.80 nb_sol=0 ticks=15346 tps=100 nb_sec=153 case_no=92 label=Case6.80 nb_sol=0 ticks=15602 tps=100 nb_sec=156 case_no=92 label=Case6.80 nb_sol=0 ticks=15011 tps=100 nb_sec=150 case_no=92 label=Case6.80 nb_sol=0 ticks=18752 tps=100 nb_sec=187 case_no=92 label=Case6.80 nb_sol=0 ticks=17360 tps=100 nb_sec=173 case_no=92 label=Case6.80 nb_sol=0 ticks=9826 tps=100 nb_sec=98 case_no=92 label=Case6.80 nb_sol=0 ticks=23740 tps=100 nb_sec=237 case_no=92 label=Case6.80 nb_sol=0 ticks=16907 tps=100 nb_sec=169 case_no=92 label=Case6.80 nb_sol=0 ticks=9234 tps=100 nb_sec=92 case_no=92 label=Case6.80 nb_sol=0 ticks=26226 tps=100 nb_sec=262 case_no=92 label=Case6.80 nb_sol=0 ticks=20120 tps=100 nb_sec=201 case_no=92 label=Case6.80 nb_sol=0 ticks=15894 tps=100 nb_sec=158 case_no=92 label=Case6.80 nb_sol=0 ticks=17616 tps=100 nb_sec=176 case_no=92 label=Case6.80 nb_sol=0 ticks=9231 tps=100 nb_sec=92 case_no=92 label=Case6.80 nb_sol=0 ticks=19800 tps=100 nb_sec=198 case_no=92 label=Case6.80 nb_sol=0 ticks=17116 tps=100 nb_sec=171 case_no=92 label=Case6.80 nb_sol=0 ticks=14086 tps=100 nb_sec=140 case_no=92 label=Case6.80 nb_sol=0 ticks=23055 tps=100 nb_sec=230 case_no=92 label=Case6.80 nb_sol=0 ticks=13614 tps=100 nb_sec=136 case_no=92 label=Case6.80 nb_sol=0 ticks=16403 tps=100 nb_sec=164 case_no=92 label=Case6.80 nb_sol=0 ticks=13626 tps=100 nb_sec=136 case_no=92 label=Case6.80 nb_sol=0 ticks=16389 tps=100 nb_sec=163 case_no=92 label=Case6.80 nb_sol=0 ticks=19266 tps=100 nb_sec=192 case_no=92 label=Case6.80 nb_sol=0 ticks=15501 tps=100 nb_sec=155 case_no=92 label=Case6.80 nb_sol=0 ticks=13069 tps=100 nb_sec=130 case_no=92 label=Case6.80 nb_sol=0 ticks=13033 tps=100 nb_sec=130 case_no=92 label=Case6.80 nb_sol=0 ticks=18684 tps=100 nb_sec=186 case_no=92 label=Case6.80 nb_sol=0 ticks=13660 tps=100 nb_sec=136 case_no=92 label=Case6.80 nb_sol=0 ticks=10545 tps=100 nb_sec=105 case_no=92 label=Case6.80 nb_sol=0 ticks=14055 tps=100 nb_sec=140 case_no=92 label=Case6.80 nb_sol=0 ticks=21450 tps=100 nb_sec=214 case_no=92 label=Case6.80 nb_sol=0 ticks=39427 tps=100 nb_sec=394 case_no=92 label=Case6.80 nb_sol=0 ticks=16014 tps=100 nb_sec=160 case_no=92 label=Case6.80 nb_sol=0 ticks=13345 tps=100 nb_sec=133 case_no=92 label=Case6.80 nb_sol=0 ticks=14492 tps=100 nb_sec=144 case_no=92 label=Case6.80 nb_sol=0 ticks=14439 tps=100 nb_sec=144 case_no=92 label=Case6.80 nb_sol=0 ticks=11439 tps=100 nb_sec=114 case_no=92 label=Case6.80 nb_sol=0 ticks=16076 tps=100 nb_sec=160 case_no=92 label=Case6.80 nb_sol=0 ticks=14104 tps=100 nb_sec=141 case_no=92 label=Case6.80 nb_sol=0 ticks=10355 tps=100 nb_sec=103 case_no=92 label=Case6.80 nb_sol=0 ticks=17302 tps=100 nb_sec=173 case_no=92 label=Case6.80 nb_sol=0 ticks=16425 tps=100 nb_sec=164 case_no=92 label=Case6.80 nb_sol=0 ticks=14900 tps=100 nb_sec=149 case_no=92 label=Case6.80 nb_sol=0 ticks=13768 tps=100 nb_sec=137 case_no=92 label=Case6.80 nb_sol=0 ticks=10623 tps=100 nb_sec=106 case_no=92 label=Case6.80 nb_sol=0 ticks=15296 tps=100 nb_sec=152 case_no=92 label=Case6.80 nb_sol=0 ticks=24024 tps=100 nb_sec=240 case_no=92 label=Case6.80 nb_sol=0 ticks=14725 tps=100 nb_sec=147 case_no=92 label=Case6.80 nb_sol=0 ticks=15299 tps=100 nb_sec=152 case_no=92 label=Case6.80 nb_sol=0 ticks=20234 tps=100 nb_sec=202 case_no=92 label=Case6.80 nb_sol=0 ticks=20406 tps=100 nb_sec=204 case_no=92 label=Case6.80 nb_sol=0 ticks=15016 tps=100 nb_sec=150 case_no=92 label=Case6.80 nb_sol=0 ticks=21108 tps=100 nb_sec=211 case_no=92 label=Case6.80 nb_sol=0 ticks=14566 tps=100 nb_sec=145 case_no=92 label=Case6.80 nb_sol=0 ticks=13693 tps=100 nb_sec=136 case_no=92 label=Case6.80 nb_sol=0 ticks=14058 tps=100 nb_sec=140 case_no=92 label=Case6.80 nb_sol=0 ticks=17131 tps=100 nb_sec=171 case_no=92 label=Case6.80 nb_sol=0 ticks=16559 tps=100 nb_sec=165 case_no=92 label=Case6.80 nb_sol=0 ticks=12817 tps=100 nb_sec=128 case_no=92 label=Case6.80 nb_sol=0 ticks=15927 tps=100 nb_sec=159 case_no=92 label=Case6.80 nb_sol=0 ticks=18274 tps=100 nb_sec=182 case_no=92 label=Case6.80 nb_sol=0 ticks=14523 tps=100 nb_sec=145 case_no=92 label=Case6.80 nb_sol=0 ticks=13078 tps=100 nb_sec=130 case_no=92 label=Case6.80 nb_sol=0 ticks=21979 tps=100 nb_sec=219 case_no=92 label=Case6.80 nb_sol=0 ticks=17147 tps=100 nb_sec=171 case_no=92 label=Case6.80 nb_sol=0 ticks=22246 tps=100 nb_sec=222 case_no=92 label=Case6.80 nb_sol=0 ticks=10967 tps=100 nb_sec=109 case_no=92 label=Case6.80 nb_sol=0 ticks=9457 tps=100 nb_sec=94 case_no=92 label=Case6.80 nb_sol=0 ticks=18338 tps=100 nb_sec=183 case_no=92 label=Case6.80 nb_sol=0 ticks=13132 tps=100 nb_sec=131 case_no=92 label=Case6.80 nb_sol=0 ticks=15451 tps=100 nb_sec=154 case_no=92 label=Case6.80 nb_sol=0 ticks=15557 tps=100 nb_sec=155 case_no=92 label=Case6.80 nb_sol=0 ticks=13389 tps=100 nb_sec=133 case_no=92 label=Case6.80 nb_sol=0 ticks=16259 tps=100 nb_sec=162 case_no=92 label=Case6.80 nb_sol=0 ticks=10547 tps=100 nb_sec=105 case_no=92 label=Case6.80 nb_sol=0 ticks=21294 tps=100 nb_sec=212 case_no=92 label=Case6.80 nb_sol=0 ticks=16234 tps=100 nb_sec=162 case_no=92 label=Case6.80 nb_sol=0 ticks=17438 tps=100 nb_sec=174 case_no=92 label=Case6.80 nb_sol=0 ticks=9518 tps=100 nb_sec=95 case_no=92 label=Case6.80 nb_sol=0 ticks=12407 tps=100 nb_sec=124 case_no=92 label=Case6.80 nb_sol=0 ticks=17322 tps=100 nb_sec=173 case_no=92 label=Case6.80 nb_sol=0 ticks=18136 tps=100 nb_sec=181 case_no=92 label=Case6.80 nb_sol=0 ticks=14827 tps=100 nb_sec=148 case_no=92 label=Case6.80 nb_sol=0 ticks=9283 tps=100 nb_sec=92 case_no=92 label=Case6.80 nb_sol=0 ticks=12716 tps=100 nb_sec=127 case_no=92 label=Case6.80 nb_sol=0 ticks=14541 tps=100 nb_sec=145 case_no=92 label=Case6.80 nb_sol=0 ticks=20601 tps=100 nb_sec=206 case_no=92 label=Case6.80 nb_sol=0 ticks=10241 tps=100 nb_sec=102 case_no=92 label=Case6.80 nb_sol=0 ticks=10895 tps=100 nb_sec=108 case_no=92 label=Case6.80 nb_sol=0 ticks=19346 tps=100 nb_sec=193 case_no=92 label=Case6.80 nb_sol=0 ticks=14945 tps=100 nb_sec=149 case_no=92 label=Case6.80 nb_sol=0 ticks=14843 tps=100 nb_sec=148 case_no=92 label=Case6.80 nb_sol=0 ticks=14853 tps=100 nb_sec=148 case_no=92 label=Case6.80 nb_sol=0 ticks=20992 tps=100 nb_sec=209 case_no=92 label=Case6.80 nb_sol=0 ticks=14360 tps=100 nb_sec=143 case_no=92 label=Case6.80 nb_sol=0 ticks=16767 tps=100 nb_sec=167 case_no=92 label=Case6.80 nb_sol=0 ticks=10953 tps=100 nb_sec=109 case_no=92 label=Case6.80 nb_sol=0 ticks=16761 tps=100 nb_sec=167 case_no=92 label=Case6.80 nb_sol=0 ticks=23710 tps=100 nb_sec=237 case_no=92 label=Case6.80 nb_sol=0 ticks=19496 tps=100 nb_sec=194 case_no=92 label=Case6.80 nb_sol=0 ticks=14630 tps=100 nb_sec=146 case_no=92 label=Case6.80 nb_sol=0 ticks=25619 tps=100 nb_sec=256 case_no=92 label=Case6.80 nb_sol=0 ticks=21346 tps=100 nb_sec=213 case_no=92 label=Case6.80 nb_sol=0 ticks=14175 tps=100 nb_sec=141 case_no=92 label=Case6.80 nb_sol=0 ticks=21130 tps=100 nb_sec=211 case_no=92 label=Case6.80 nb_sol=0 ticks=16418 tps=100 nb_sec=164 case_no=92 label=Case6.80 nb_sol=0 ticks=14014 tps=100 nb_sec=140 case_no=92 label=Case6.80 nb_sol=0 ticks=15297 tps=100 nb_sec=152 case_no=92 label=Case6.80 nb_sol=0 ticks=18696 tps=100 nb_sec=186 case_no=92 label=Case6.80 nb_sol=0 ticks=18791 tps=100 nb_sec=187 case_no=92 label=Case6.80 nb_sol=0 ticks=14037 tps=100 nb_sec=140 case_no=92 label=Case6.80 nb_sol=0 ticks=25865 tps=100 nb_sec=258 case_no=92 label=Case6.80 nb_sol=0 ticks=17837 tps=100 nb_sec=178 case_no=92 label=Case6.80 nb_sol=0 ticks=13381 tps=100 nb_sec=133 case_no=92 label=Case6.80 nb_sol=0 ticks=12729 tps=100 nb_sec=127 case_no=92 label=Case6.80 nb_sol=0 ticks=12773 tps=100 nb_sec=127 case_no=92 label=Case6.80 nb_sol=0 ticks=12122 tps=100 nb_sec=121 case_no=92 label=Case6.80 nb_sol=0 ticks=12169 tps=100 nb_sec=121 case_no=92 label=Case6.80 nb_sol=0 ticks=14523 tps=100 nb_sec=145 case_no=92 label=Case6.80 nb_sol=0 ticks=19183 tps=100 nb_sec=191 case_no=92 label=Case6.80 nb_sol=0 ticks=13353 tps=100 nb_sec=133 case_no=92 label=Case6.80 nb_sol=0 ticks=17190 tps=100 nb_sec=171 case_no=92 label=Case6.80 nb_sol=0 ticks=19276 tps=100 nb_sec=192 case_no=92 label=Case6.80 nb_sol=0 ticks=14049 tps=100 nb_sec=140 case_no=92 label=Case6.80 nb_sol=0 ticks=17702 tps=100 nb_sec=177 case_no=92 label=Case6.80 nb_sol=0 ticks=12112 tps=100 nb_sec=121 case_no=92 label=Case6.80 nb_sol=0 ticks=14185 tps=100 nb_sec=141 case_no=92 label=Case6.80 nb_sol=0 ticks=16168 tps=100 nb_sec=161 case_no=92 label=Case6.80 nb_sol=0 ticks=14395 tps=100 nb_sec=143 case_no=92 label=Case6.80 nb_sol=0 ticks=20831 tps=100 nb_sec=208 case_no=92 label=Case6.80 nb_sol=0 ticks=16360 tps=100 nb_sec=163 case_no=92 label=Case6.80 nb_sol=0 ticks=17750 tps=100 nb_sec=177 case_no=92 label=Case6.80 nb_sol=0 ticks=14663 tps=100 nb_sec=146 case_no=92 label=Case6.80 nb_sol=0 ticks=17205 tps=100 nb_sec=172 case_no=92 label=Case6.80 nb_sol=0 ticks=15336 tps=100 nb_sec=153 case_no=92 label=Case6.80 nb_sol=0 ticks=12837 tps=100 nb_sec=128 case_no=92 label=Case6.80 nb_sol=0 ticks=12231 tps=100 nb_sec=122 case_no=92 label=Case6.80 nb_sol=0 ticks=11766 tps=100 nb_sec=117 case_no=92 label=Case6.80 nb_sol=0 ticks=16972 tps=100 nb_sec=169 case_no=92 label=Case6.80 nb_sol=0 ticks=14488 tps=100 nb_sec=144 case_no=92 label=Case6.80 nb_sol=0 ticks=15948 tps=100 nb_sec=159 case_no=92 label=Case6.80 nb_sol=0 ticks=14277 tps=100 nb_sec=142 case_no=92 label=Case6.80 nb_sol=0 ticks=13027 tps=100 nb_sec=130 case_no=92 label=Case6.80 nb_sol=0 ticks=12880 tps=100 nb_sec=128 case_no=92 label=Case6.80 nb_sol=0 ticks=17861 tps=100 nb_sec=178 case_no=92 label=Case6.80 nb_sol=0 ticks=14087 tps=100 nb_sec=140 case_no=92 label=Case6.80 nb_sol=0 ticks=17777 tps=100 nb_sec=177 case_no=92 label=Case6.80 nb_sol=0 ticks=17296 tps=100 nb_sec=172 case_no=92 label=Case6.80 nb_sol=0 ticks=17243 tps=100 nb_sec=172 case_no=92 label=Case6.80 nb_sol=0 ticks=14948 tps=100 nb_sec=149 case_no=92 label=Case6.80 nb_sol=0 ticks=16457 tps=100 nb_sec=164 case_no=92 label=Case6.80 nb_sol=0 ticks=16951 tps=100 nb_sec=169 case_no=92 label=Case6.80 nb_sol=0 ticks=12885 tps=100 nb_sec=128 case_no=92 label=Case6.80 nb_sol=0 ticks=14222 tps=100 nb_sec=142 case_no=92 label=Case6.80 nb_sol=0 ticks=12788 tps=100 nb_sec=127 case_no=92 label=Case6.80 nb_sol=0 ticks=16032 tps=100 nb_sec=160 case_no=92 label=Case6.80 nb_sol=0 ticks=24695 tps=100 nb_sec=246 case_no=92 label=Case6.80 nb_sol=0 ticks=20258 tps=100 nb_sec=202 case_no=92 label=Case6.80 nb_sol=0 ticks=12230 tps=100 nb_sec=122 case_no=92 label=Case6.80 nb_sol=0 ticks=11899 tps=100 nb_sec=118 case_no=92 label=Case6.80 nb_sol=0 ticks=17597 tps=100 nb_sec=175 case_no=92 label=Case6.80 nb_sol=0 ticks=12170 tps=100 nb_sec=121 case_no=92 label=Case6.80 nb_sol=0 ticks=15712 tps=100 nb_sec=157 case_no=92 label=Case6.80 nb_sol=0 ticks=13729 tps=100 nb_sec=137 case_no=92 label=Case6.80 nb_sol=0 ticks=15203 tps=100 nb_sec=152 case_no=92 label=Case6.80 nb_sol=0 ticks=20756 tps=100 nb_sec=207 case_no=92 label=Case6.80 nb_sol=0 ticks=14284 tps=100 nb_sec=142 case_no=92 label=Case6.80 nb_sol=0 ticks=9525 tps=100 nb_sec=95 case_no=92 label=Case6.80 nb_sol=0 ticks=9867 tps=100 nb_sec=98 case_no=92 label=Case6.80 nb_sol=0 ticks=16686 tps=100 nb_sec=166 case_no=92 label=Case6.80 nb_sol=0 ticks=25527 tps=100 nb_sec=255 case_no=92 label=Case6.80 nb_sol=0 ticks=14578 tps=100 nb_sec=145 case_no=92 label=Case6.80 nb_sol=0 ticks=16405 tps=100 nb_sec=164 case_no=92 label=Case6.80 nb_sol=0 ticks=11161 tps=100 nb_sec=111 case_no=92 label=Case6.80 nb_sol=0 ticks=13777 tps=100 nb_sec=137 case_no=92 label=Case6.80 nb_sol=0 ticks=12813 tps=100 nb_sec=128 case_no=92 label=Case6.80 nb_sol=0 ticks=13638 tps=100 nb_sec=136 case_no=92 label=Case6.80 nb_sol=0 ticks=36183 tps=100 nb_sec=361 case_no=92 label=Case6.80 nb_sol=0 ticks=22747 tps=100 nb_sec=227 case_no=92 label=Case6.80 nb_sol=0 ticks=11043 tps=100 nb_sec=110 case_no=92 label=Case6.80 nb_sol=0 ticks=10714 tps=100 nb_sec=107 case_no=92 label=Case6.80 nb_sol=0 ticks=11729 tps=100 nb_sec=117 case_no=92 label=Case6.80 nb_sol=0 ticks=9178 tps=100 nb_sec=91 case_no=92 label=Case6.80 nb_sol=0 ticks=16846 tps=100 nb_sec=168 case_no=92 label=Case6.80 nb_sol=0 ticks=20204 tps=100 nb_sec=202 case_no=92 label=Case6.80 nb_sol=0 ticks=19718 tps=100 nb_sec=197 case_no=92 label=Case6.80 nb_sol=0 ticks=16515 tps=100 nb_sec=165 case_no=92 label=Case6.80 nb_sol=0 ticks=17770 tps=100 nb_sec=177 case_no=92 label=Case6.80 nb_sol=0 ticks=19453 tps=100 nb_sec=194 case_no=92 label=Case6.80 nb_sol=0 ticks=21499 tps=100 nb_sec=214 case_no=92 label=Case6.80 nb_sol=0 ticks=15678 tps=100 nb_sec=156 case_no=92 label=Case6.80 nb_sol=0 ticks=15157 tps=100 nb_sec=151 case_no=92 label=Case6.80 nb_sol=0 ticks=12117 tps=100 nb_sec=121 case_no=92 label=Case6.80 nb_sol=0 ticks=13962 tps=100 nb_sec=139 case_no=92 label=Case6.80 nb_sol=0 ticks=14176 tps=100 nb_sec=141 case_no=92 label=Case6.80 nb_sol=0 ticks=14979 tps=100 nb_sec=149 case_no=92 label=Case6.80 nb_sol=0 ticks=20826 tps=100 nb_sec=208 case_no=92 label=Case6.80 nb_sol=0 ticks=25466 tps=100 nb_sec=254 case_no=92 label=Case6.80 nb_sol=0 ticks=10823 tps=100 nb_sec=108 case_no=92 label=Case6.80 nb_sol=0 ticks=10257 tps=100 nb_sec=102 case_no=92 label=Case6.80 nb_sol=0 ticks=11081 tps=100 nb_sec=110 case_no=92 label=Case6.80 nb_sol=0 ticks=14254 tps=100 nb_sec=142 case_no=92 label=Case6.80 nb_sol=0 ticks=20677 tps=100 nb_sec=206 case_no=92 label=Case6.80 nb_sol=0 ticks=13831 tps=100 nb_sec=138 case_no=92 label=Case6.80 nb_sol=0 ticks=12000 tps=100 nb_sec=120 case_no=92 label=Case6.80 nb_sol=0 ticks=27611 tps=100 nb_sec=276 case_no=92 label=Case6.80 nb_sol=0 ticks=15691 tps=100 nb_sec=156 case_no=92 label=Case6.80 nb_sol=0 ticks=8648 tps=100 nb_sec=86 case_no=92 label=Case6.80 nb_sol=0 ticks=15640 tps=100 nb_sec=156 case_no=92 label=Case6.80 nb_sol=0 ticks=21078 tps=100 nb_sec=210 case_no=92 label=Case6.80 nb_sol=0 ticks=15332 tps=100 nb_sec=153 case_no=92 label=Case6.80 nb_sol=0 ticks=19416 tps=100 nb_sec=194 case_no=92 label=Case6.80 nb_sol=0 ticks=9159 tps=100 nb_sec=91 case_no=92 label=Case6.80 nb_sol=0 ticks=22679 tps=100 nb_sec=226 case_no=92 label=Case6.80 nb_sol=0 ticks=15420 tps=100 nb_sec=154 case_no=92 label=Case6.80 nb_sol=0 ticks=19940 tps=100 nb_sec=199 case_no=92 label=Case6.80 nb_sol=0 ticks=16274 tps=100 nb_sec=162 case_no=92 label=Case6.80 nb_sol=0 ticks=14219 tps=100 nb_sec=142 case_no=92 label=Case6.80 nb_sol=0 ticks=14425 tps=100 nb_sec=144 case_no=92 label=Case6.80 nb_sol=0 ticks=15192 tps=100 nb_sec=151 case_no=92 label=Case6.80 nb_sol=0 ticks=19505 tps=100 nb_sec=195 case_no=92 label=Case6.80 nb_sol=0 ticks=14253 tps=100 nb_sec=142 case_no=92 label=Case6.80 nb_sol=0 ticks=17531 tps=100 nb_sec=175 case_no=92 label=Case6.80 nb_sol=0 ticks=14062 tps=100 nb_sec=140 case_no=92 label=Case6.80 nb_sol=0 ticks=8505 tps=100 nb_sec=85 case_no=92 label=Case6.80 nb_sol=0 ticks=17909 tps=100 nb_sec=179 case_no=92 label=Case6.80 nb_sol=0 ticks=17113 tps=100 nb_sec=171 case_no=92 label=Case6.80 nb_sol=0 ticks=15871 tps=100 nb_sec=158 case_no=92 label=Case6.80 nb_sol=0 ticks=15097 tps=100 nb_sec=150 case_no=92 label=Case6.80 nb_sol=0 ticks=14074 tps=100 nb_sec=140 case_no=92 label=Case6.80 nb_sol=0 ticks=21295 tps=100 nb_sec=212 Nb_sol=0 Nb_sec=353271 4-2:7:51 or 98 hours missing cases: none