files / problems / c7-shannon / compute / q3 / coset_finish_log.txt
unique=1 good=1 hoff=0 cover=1 search_no=0 yes=0 unk=0 deg[146,146] t=0.0s unique=2 good=29 hoff=0 cover=1 search_no=1 yes=0 unk=0 deg[146,160] t=0.0s unique=3 good=36 hoff=0 cover=1 search_no=2 yes=0 unk=0 deg[146,174] t=0.0s unique=50 good=1169 hoff=0 cover=7 search_no=43 yes=0 unk=0 deg[122,188] t=0.4s unique=100 good=1219 hoff=0 cover=11 search_no=89 yes=0 unk=0 deg[122,202] t=0.6s unique=150 good=1270 hoff=0 cover=15 search_no=135 yes=0 unk=0 deg[122,202] t=0.8s unique=200 good=1463 hoff=0 cover=17 search_no=183 yes=0 unk=0 deg[122,202] t=0.9s unique=250 good=1514 hoff=0 cover=19 search_no=231 yes=0 unk=0 deg[122,212] t=1.0s unique=300 good=1705 hoff=0 cover=19 search_no=281 yes=0 unk=0 deg[122,212] t=1.2s unique=350 good=1755 hoff=0 cover=22 search_no=328 yes=0 unk=0 deg[122,212] t=1.3s unique=400 good=1806 hoff=0 cover=24 search_no=376 yes=0 unk=0 deg[122,212] t=1.4s unique=450 good=1999 hoff=0 cover=28 search_no=422 yes=0 unk=0 deg[122,212] t=1.6s unique=500 good=2050 hoff=0 cover=32 search_no=468 yes=0 unk=0 deg[122,212] t=1.8s unique=550 good=2494 hoff=0 cover=38 search_no=512 yes=0 unk=0 deg[122,212] t=2.0s unique=600 good=2556 hoff=0 cover=41 search_no=559 yes=0 unk=0 deg[122,212] t=2.2s unique=650 good=2607 hoff=0 cover=48 search_no=602 yes=0 unk=0 deg[122,212] t=2.4s unique=700 good=2803 hoff=0 cover=51 search_no=649 yes=0 unk=0 deg[122,212] t=2.6s unique=750 good=2853 hoff=0 cover=51 search_no=699 yes=0 unk=0 deg[122,212] t=2.7s unique=800 good=2904 hoff=0 cover=51 search_no=749 yes=0 unk=0 deg[122,212] t=2.8s unique=850 good=3097 hoff=0 cover=51 search_no=799 yes=0 unk=0 deg[122,226] t=2.9s unique=900 good=3148 hoff=0 cover=51 search_no=849 yes=0 unk=0 deg[122,226] t=3.0s unique=950 good=3339 hoff=0 cover=51 search_no=899 yes=0 unk=0 deg[122,226] t=3.2s unique=1000 good=3390 hoff=0 cover=51 search_no=949 yes=0 unk=0 deg[122,226] t=3.3s unique=1050 good=3583 hoff=0 cover=51 search_no=999 yes=0 unk=0 deg[122,226] t=3.4s unique=1100 good=3633 hoff=0 cover=52 search_no=1048 yes=0 unk=0 deg[122,226] t=3.6s unique=1150 good=3684 hoff=0 cover=52 search_no=1098 yes=0 unk=0 deg[122,226] t=3.7s unique=1200 good=3879 hoff=0 cover=54 search_no=1146 yes=0 unk=0 deg[122,226] t=3.9s unique=1250 good=3930 hoff=0 cover=60 search_no=1190 yes=0 unk=0 deg[122,226] t=4.0s unique=1300 good=4407 hoff=0 cover=65 search_no=1235 yes=0 unk=0 deg[122,226] t=4.3s unique=1350 good=4457 hoff=0 cover=71 search_no=1279 yes=0 unk=0 deg[122,226] t=4.4s unique=1400 good=4508 hoff=0 cover=77 search_no=1323 yes=0 unk=0 deg[122,226] t=4.5s unique=1450 good=4702 hoff=0 cover=78 search_no=1372 yes=0 unk=0 deg[122,226] t=4.6s unique=1500 good=4753 hoff=0 cover=78 search_no=1422 yes=0 unk=0 deg[122,226] t=4.7s unique=1550 good=4949 hoff=0 cover=78 search_no=1472 yes=0 unk=0 deg[122,226] t=4.9s unique=1600 good=4999 hoff=0 cover=81 search_no=1519 yes=0 unk=0 deg[122,226] t=5.1s unique=1650 good=5050 hoff=0 cover=85 search_no=1565 yes=0 unk=0 deg[122,226] t=5.2s unique=1700 good=5249 hoff=0 cover=88 search_no=1612 yes=0 unk=0 deg[122,226] t=5.4s unique=1750 good=5300 hoff=0 cover=92 search_no=1658 yes=0 unk=0 deg[122,226] t=5.6s unique=1800 good=5496 hoff=0 cover=94 search_no=1706 yes=0 unk=0 deg[122,226] t=5.8s unique=1850 good=5547 hoff=0 cover=94 search_no=1756 yes=0 unk=0 deg[122,226] t=5.9s unique=1900 good=5741 hoff=0 cover=94 search_no=1806 yes=0 unk=0 deg[122,226] t=6.0s unique=1950 good=5791 hoff=0 cover=99 search_no=1851 yes=0 unk=0 deg[122,226] t=6.1s unique=2000 good=5842 hoff=0 cover=105 search_no=1895 yes=0 unk=0 deg[122,226] t=6.2s unique=2050 good=10902 hoff=0 cover=107 search_no=1943 yes=0 unk=0 deg[122,226] t=7.5s unique=2100 good=10956 hoff=0 cover=112 search_no=1988 yes=0 unk=0 deg[122,226] t=7.7s unique=2150 good=11157 hoff=0 cover=113 search_no=2037 yes=0 unk=0 deg[122,226] t=7.9s unique=2200 good=11209 hoff=0 cover=115 search_no=2085 yes=0 unk=0 deg[122,226] t=8.0s unique=2250 good=11413 hoff=0 cover=123 search_no=2127 yes=0 unk=0 deg[122,226] t=8.2s unique=2300 good=11465 hoff=0 cover=125 search_no=2175 yes=0 unk=0 deg[122,226] t=8.3s unique=2350 good=11519 hoff=0 cover=130 search_no=2220 yes=0 unk=0 deg[122,226] t=8.5s unique=2400 good=11722 hoff=0 cover=135 search_no=2265 yes=0 unk=0 deg[122,226] t=8.7s unique=2450 good=11775 hoff=0 cover=138 search_no=2312 yes=0 unk=0 deg[122,226] t=8.8s unique=2500 good=11976 hoff=0 cover=139 search_no=2361 yes=0 unk=0 deg[122,226] t=9.0s unique=2550 good=12028 hoff=0 cover=140 search_no=2410 yes=0 unk=0 deg[122,226] t=9.2s unique=2600 good=12226 hoff=0 cover=140 search_no=2460 yes=0 unk=0 deg[122,226] t=9.4s unique=2650 good=12277 hoff=0 cover=141 search_no=2509 yes=0 unk=0 deg[122,228] t=9.5s unique=2700 good=12329 hoff=0 cover=143 search_no=2557 yes=0 unk=0 deg[122,228] t=9.6s unique=2750 good=12526 hoff=0 cover=143 search_no=2607 yes=0 unk=0 deg[122,228] t=9.8s unique=2800 good=12577 hoff=0 cover=145 search_no=2655 yes=0 unk=0 deg[122,228] t=9.9s unique=2850 good=12778 hoff=0 cover=145 search_no=2705 yes=0 unk=0 deg[122,228] t=10.0s unique=2900 good=12830 hoff=0 cover=146 search_no=2754 yes=0 unk=0 deg[122,228] t=10.2s unique=2950 good=13039 hoff=0 cover=146 search_no=2804 yes=0 unk=0 deg[122,228] t=10.4s unique=3000 good=13091 hoff=0 cover=150 search_no=2850 yes=0 unk=0 deg[122,228] t=10.6s unique=3050 good=13143 hoff=0 cover=154 search_no=2896 yes=0 unk=0 deg[122,228] t=10.7s unique=3100 good=13350 hoff=0 cover=155 search_no=2945 yes=0 unk=0 deg[122,228] t=10.9s unique=3150 good=13401 hoff=0 cover=156 search_no=2994 yes=0 unk=0 deg[122,228] t=11.1s unique=3200 good=13606 hoff=0 cover=158 search_no=3042 yes=0 unk=0 deg[122,228] t=11.3s unique=3250 good=13657 hoff=0 cover=159 search_no=3091 yes=0 unk=0 deg[122,228] t=11.4s unique=3300 good=13859 hoff=0 cover=159 search_no=3141 yes=0 unk=0 deg[122,228] t=11.6s unique=3350 good=13910 hoff=0 cover=159 search_no=3191 yes=0 unk=0 deg[122,228] t=11.7s unique=3400 good=14111 hoff=0 cover=159 search_no=3241 yes=0 unk=0 deg[122,228] t=11.9s unique=3450 good=14163 hoff=0 cover=159 search_no=3291 yes=0 unk=0 deg[122,228] t=12.0s unique=3500 good=14368 hoff=0 cover=159 search_no=3341 yes=0 unk=0 deg[122,228] t=12.2s unique=3550 good=14419 hoff=0 cover=160 search_no=3390 yes=0 unk=0 deg[122,228] t=12.3s unique=3600 good=14471 hoff=0 cover=160 search_no=3440 yes=0 unk=0 deg[122,228] t=12.4s unique=3650 good=14680 hoff=0 cover=162 search_no=3488 yes=0 unk=0 deg[122,228] t=12.6s unique=3700 good=14731 hoff=0 cover=162 search_no=3538 yes=0 unk=0 deg[122,228] t=12.8s unique=3750 good=14945 hoff=0 cover=166 search_no=3584 yes=0 unk=0 deg[122,228] t=12.9s unique=3800 good=15001 hoff=0 cover=174 search_no=3626 yes=0 unk=0 deg[122,228] t=13.1s unique=3850 good=15208 hoff=0 cover=174 search_no=3676 yes=0 unk=0 deg[122,228] t=13.2s unique=3900 good=15260 hoff=0 cover=179 search_no=3721 yes=0 unk=0 deg[122,228] t=13.3s unique=3950 good=15466 hoff=0 cover=179 search_no=3771 yes=0 unk=0 deg[122,228] t=13.5s unique=4000 good=15518 hoff=0 cover=180 search_no=3820 yes=0 unk=0 deg[122,228] t=13.6s unique=4050 good=15729 hoff=0 cover=180 search_no=3870 yes=0 unk=0 deg[122,228] t=13.8s unique=4100 good=15781 hoff=0 cover=182 search_no=3918 yes=0 unk=0 deg[122,228] t=13.9s unique=4150 good=15993 hoff=0 cover=182 search_no=3968 yes=0 unk=0 deg[122,228] t=14.1s unique=4200 good=16045 hoff=0 cover=184 search_no=4016 yes=0 unk=0 deg[122,228] t=14.3s unique=4250 good=16254 hoff=0 cover=184 search_no=4066 yes=0 unk=0 deg[122,228] t=14.4s unique=4300 good=16306 hoff=0 cover=184 search_no=4116 yes=0 unk=0 deg[122,228] t=14.6s unique=4350 good=16517 hoff=0 cover=184 search_no=4166 yes=0 unk=0 deg[122,228] t=14.7s unique=4400 good=16569 hoff=0 cover=189 search_no=4211 yes=0 unk=0 deg[122,228] t=14.8s unique=4450 good=16788 hoff=0 cover=193 search_no=4257 yes=0 unk=0 deg[122,228] t=15.0s unique=4500 good=16840 hoff=0 cover=195 search_no=4305 yes=0 unk=0 deg[122,228] t=15.1s unique=4550 good=17056 hoff=0 cover=202 search_no=4348 yes=0 unk=0 deg[122,228] t=15.3s unique=4600 good=17107 hoff=0 cover=202 search_no=4398 yes=0 unk=0 deg[122,228] t=15.4s unique=4650 good=17321 hoff=0 cover=205 search_no=4445 yes=0 unk=0 deg[122,228] t=15.6s unique=4700 good=17372 hoff=0 cover=205 search_no=4495 yes=0 unk=0 deg[122,228] t=15.7s unique=4750 good=17591 hoff=0 cover=206 search_no=4544 yes=0 unk=0 deg[122,228] t=15.9s unique=4800 good=17642 hoff=0 cover=206 search_no=4594 yes=0 unk=0 deg[122,228] t=16.0s unique=4850 good=17862 hoff=0 cover=208 search_no=4642 yes=0 unk=0 deg[122,228] t=16.2s unique=4900 good=17914 hoff=0 cover=208 search_no=4692 yes=0 unk=0 deg[122,228] t=16.3s unique=4950 good=18130 hoff=0 cover=209 search_no=4741 yes=0 unk=0 deg[122,228] t=16.5s unique=5000 good=18182 hoff=0 cover=209 search_no=4791 yes=0 unk=0 deg[122,228] t=16.6s unique=5050 good=18401 hoff=0 cover=211 search_no=4839 yes=0 unk=0 deg[122,228] t=16.8s unique=5100 good=18626 hoff=0 cover=214 search_no=4886 yes=0 unk=0 deg[122,228] t=16.9s unique=5150 good=18681 hoff=0 cover=221 search_no=4929 yes=0 unk=0 deg[122,228] t=17.1s unique=5200 good=18908 hoff=0 cover=222 search_no=4978 yes=0 unk=0 deg[122,228] t=17.3s unique=5250 good=18960 hoff=0 cover=226 search_no=5024 yes=0 unk=0 deg[122,228] t=17.4s unique=5300 good=19184 hoff=0 cover=226 search_no=5074 yes=0 unk=0 deg[122,228] t=17.6s unique=5350 good=19236 hoff=0 cover=227 search_no=5123 yes=0 unk=0 deg[122,228] t=17.8s unique=5400 good=19458 hoff=0 cover=227 search_no=5173 yes=0 unk=0 deg[122,228] t=17.9s unique=5450 good=19510 hoff=0 cover=227 search_no=5223 yes=0 unk=0 deg[122,228] t=18.1s unique=5500 good=19733 hoff=0 cover=227 search_no=5273 yes=0 unk=0 deg[122,228] t=18.2s unique=5550 good=19959 hoff=0 cover=227 search_no=5323 yes=0 unk=0 deg[122,228] t=18.4s unique=5600 good=20011 hoff=0 cover=228 search_no=5372 yes=0 unk=0 deg[122,228] t=18.5s unique=5650 good=20239 hoff=0 cover=228 search_no=5422 yes=0 unk=0 deg[122,228] t=18.7s unique=5700 good=20291 hoff=0 cover=232 search_no=5468 yes=0 unk=0 deg[122,228] t=18.8s unique=5750 good=20521 hoff=0 cover=233 search_no=5517 yes=0 unk=0 deg[122,228] t=19.0s unique=5800 good=20573 hoff=0 cover=233 search_no=5567 yes=0 unk=0 deg[122,228] t=19.2s unique=5850 good=20800 hoff=0 cover=234 search_no=5616 yes=0 unk=0 deg[122,228] t=19.4s unique=5900 good=21028 hoff=0 cover=235 search_no=5665 yes=0 unk=0 deg[122,228] t=19.5s unique=5950 good=21079 hoff=0 cover=238 search_no=5712 yes=0 unk=0 deg[122,228] t=19.6s unique=6000 good=21310 hoff=0 cover=239 search_no=5761 yes=0 unk=0 deg[122,228] t=19.8s unique=6050 good=21361 hoff=0 cover=239 search_no=5811 yes=0 unk=0 deg[122,228] t=19.9s unique=6100 good=21891 hoff=0 cover=243 search_no=5857 yes=0 unk=0 deg[122,228] t=20.2s unique=6150 good=22136 hoff=0 cover=247 search_no=5903 yes=0 unk=0 deg[122,228] t=20.5s unique=6200 good=22189 hoff=0 cover=252 search_no=5948 yes=0 unk=0 deg[122,228] t=20.6s unique=6250 good=22427 hoff=0 cover=254 search_no=5996 yes=0 unk=0 deg[122,228] t=20.7s unique=6300 good=22666 hoff=0 cover=262 search_no=6038 yes=0 unk=0 deg[122,228] t=20.9s unique=6350 good=22720 hoff=0 cover=266 search_no=6084 yes=0 unk=0 deg[122,228] t=21.0s unique=6400 good=22959 hoff=0 cover=271 search_no=6129 yes=0 unk=0 deg[122,228] t=21.1s unique=6450 good=23207 hoff=0 cover=276 search_no=6174 yes=0 unk=0 deg[122,228] t=21.3s unique=6500 good=23258 hoff=0 cover=282 search_no=6218 yes=0 unk=0 deg[122,228] t=21.5s unique=6550 good=23506 hoff=0 cover=283 search_no=6267 yes=0 unk=0 deg[122,228] t=21.7s unique=6600 good=23753 hoff=0 cover=289 search_no=6311 yes=0 unk=0 deg[122,228] t=22.0s unique=6650 good=23803 hoff=0 cover=289 search_no=6361 yes=0 unk=0 deg[122,228] t=22.1s unique=6700 good=24047 hoff=0 cover=291 search_no=6409 yes=0 unk=0 deg[122,228] t=22.3s unique=6750 good=24289 hoff=0 cover=291 search_no=6459 yes=0 unk=0 deg[122,228] t=22.5s unique=6800 good=24340 hoff=0 cover=293 search_no=6507 yes=0 unk=0 deg[122,228] t=22.6s unique=6850 good=24581 hoff=0 cover=294 search_no=6556 yes=0 unk=0 deg[122,228] t=22.8s unique=6900 good=24824 hoff=0 cover=295 search_no=6605 yes=0 unk=0 deg[122,228] t=23.0s unique=6950 good=24876 hoff=0 cover=295 search_no=6655 yes=0 unk=0 deg[122,228] t=23.1s unique=7000 good=25122 hoff=0 cover=295 search_no=6705 yes=0 unk=0 deg[122,228] t=23.3s unique=7050 good=25375 hoff=0 cover=299 search_no=6751 yes=0 unk=0 deg[122,228] t=23.5s unique=7100 good=25626 hoff=0 cover=301 search_no=6799 yes=0 unk=0 deg[122,228] t=23.7s unique=7150 good=25678 hoff=0 cover=302 search_no=6848 yes=0 unk=0 deg[122,228] t=23.9s unique=7200 good=25926 hoff=0 cover=302 search_no=6898 yes=0 unk=0 deg[122,228] t=24.0s unique=7250 good=26173 hoff=0 cover=302 search_no=6948 yes=0 unk=0 deg[122,228] t=24.2s unique=7300 good=26420 hoff=0 cover=302 search_no=6998 yes=0 unk=0 deg[122,228] t=24.4s unique=7350 good=26472 hoff=0 cover=302 search_no=7048 yes=0 unk=0 deg[122,228] t=24.5s unique=7400 good=26721 hoff=0 cover=302 search_no=7098 yes=0 unk=0 deg[122,228] t=24.7s unique=7450 good=26972 hoff=0 cover=303 search_no=7147 yes=0 unk=0 deg[122,228] t=24.9s unique=7500 good=27227 hoff=0 cover=304 search_no=7196 yes=0 unk=0 deg[122,228] t=25.1s unique=7550 good=27480 hoff=0 cover=309 search_no=7241 yes=0 unk=0 deg[122,228] t=25.2s unique=7600 good=27733 hoff=0 cover=312 search_no=7288 yes=0 unk=0 deg[122,228] t=25.4s unique=7650 good=27785 hoff=0 cover=312 search_no=7338 yes=0 unk=0 deg[122,228] t=25.5s unique=7700 good=28039 hoff=0 cover=312 search_no=7388 yes=0 unk=0 deg[122,228] t=25.7s unique=7750 good=28294 hoff=0 cover=312 search_no=7438 yes=0 unk=0 deg[122,228] t=25.9s unique=7800 good=28550 hoff=0 cover=312 search_no=7488 yes=0 unk=0 deg[122,228] t=26.1s unique=7850 good=28805 hoff=0 cover=313 search_no=7537 yes=0 unk=0 deg[122,228] t=26.2s unique=7900 good=29064 hoff=0 cover=316 search_no=7584 yes=0 unk=0 deg[122,228] t=26.4s unique=7950 good=29325 hoff=0 cover=321 search_no=7629 yes=0 unk=0 deg[122,228] t=26.6s unique=8000 good=29585 hoff=0 cover=324 search_no=7676 yes=0 unk=0 deg[122,228] t=26.8s unique=8050 good=29845 hoff=0 cover=324 search_no=7726 yes=0 unk=0 deg[122,228] t=27.0s unique=8100 good=30107 hoff=0 cover=324 search_no=7776 yes=0 unk=0 deg[122,228] t=27.1s unique=8150 good=30371 hoff=0 cover=324 search_no=7826 yes=0 unk=0 deg[122,228] t=27.3s unique=8200 good=30634 hoff=0 cover=324 search_no=7876 yes=0 unk=0 deg[122,228] t=27.5s unique=8250 good=30903 hoff=0 cover=329 search_no=7921 yes=0 unk=0 deg[122,228] t=27.7s unique=8300 good=31175 hoff=0 cover=329 search_no=7971 yes=0 unk=0 deg[122,228] t=27.9s unique=8350 good=31445 hoff=0 cover=329 search_no=8021 yes=0 unk=0 deg[122,228] t=28.1s unique=8400 good=31713 hoff=0 cover=329 search_no=8071 yes=0 unk=0 deg[122,228] t=28.3s unique=8450 good=31982 hoff=0 cover=329 search_no=8121 yes=0 unk=0 deg[122,228] t=28.4s unique=8500 good=32253 hoff=0 cover=329 search_no=8171 yes=0 unk=0 deg[122,228] t=28.6s unique=8550 good=32752 hoff=0 cover=330 search_no=8220 yes=0 unk=0 deg[122,228] t=28.9s unique=8600 good=33031 hoff=0 cover=335 search_no=8265 yes=0 unk=0 deg[122,228] t=29.1s unique=8650 good=33309 hoff=0 cover=337 search_no=8313 yes=0 unk=0 deg[122,228] t=29.3s unique=8700 good=33583 hoff=0 cover=338 search_no=8362 yes=0 unk=0 deg[122,228] t=29.5s unique=8750 good=33856 hoff=0 cover=340 search_no=8410 yes=0 unk=0 deg[122,228] t=29.7s unique=8800 good=34360 hoff=0 cover=341 search_no=8459 yes=0 unk=0 deg[122,228] t=30.0s unique=8850 good=34927 hoff=0 cover=346 search_no=8504 yes=0 unk=0 deg[122,228] t=30.2s unique=8900 good=35446 hoff=0 cover=350 search_no=8550 yes=0 unk=0 deg[122,228] t=30.5s unique=8950 good=35735 hoff=0 cover=352 search_no=8598 yes=0 unk=0 deg[122,228] t=30.7s unique=9000 good=36256 hoff=0 cover=357 search_no=8643 yes=0 unk=0 deg[122,228] t=30.9s unique=9050 good=36545 hoff=0 cover=359 search_no=8691 yes=0 unk=0 deg[122,228] t=31.1s unique=9100 good=37065 hoff=0 cover=359 search_no=8741 yes=0 unk=0 deg[122,228] t=31.3s unique=9150 good=37590 hoff=0 cover=359 search_no=8791 yes=0 unk=0 deg[122,228] t=31.5s unique=9200 good=38115 hoff=0 cover=359 search_no=8841 yes=0 unk=0 deg[122,228] t=31.8s unique=9250 good=38650 hoff=0 cover=359 search_no=8891 yes=0 unk=0 deg[122,228] t=32.0s unique=9300 good=39432 hoff=0 cover=359 search_no=8941 yes=0 unk=0 deg[122,228] t=32.3s unique=9350 good=40223 hoff=0 cover=359 search_no=8991 yes=0 unk=0 deg[122,228] t=32.6s unique=9400 good=41032 hoff=0 cover=359 search_no=9041 yes=0 unk=0 deg[122,228] t=32.9s unique=9450 good=42097 hoff=0 cover=359 search_no=9091 yes=0 unk=0 deg[122,228] t=33.3s unique=9500 good=43169 hoff=0 cover=359 search_no=9141 yes=0 unk=0 deg[122,228] t=33.7s unique=9550 good=44492 hoff=0 cover=359 search_no=9191 yes=0 unk=0 deg[122,228] t=34.1s DONE subspaces=140050 good=97240 unique=9584 hoffman_lt8=0 cover_lt8=359 search_no=9225 yes=0 leftover=0 deg[122,228] avg_deg=192.4 best_hoff=33.1176 t=46.4s