files / problems / c7-shannon / compute / q2 / coset_unknown_c_log.txt
200 yes=0 no=146 color=0 unk=54 t=2.7s 400 yes=0 no=280 color=0 unk=120 t=5.5s 600 yes=0 no=436 color=0 unk=164 t=8.1s 800 yes=0 no=570 color=0 unk=230 t=11.0s 1000 yes=0 no=726 color=0 unk=274 t=13.5s 1200 yes=0 no=902 color=0 unk=298 t=15.9s 1400 yes=0 no=1084 color=0 unk=316 t=18.1s 1600 yes=0 no=1267 color=0 unk=333 t=20.3s 1800 yes=0 no=1464 color=0 unk=336 t=22.4s 2000 yes=0 no=1621 color=0 unk=379 t=24.9s 2200 yes=0 no=1806 color=0 unk=394 t=27.1s 2400 yes=0 no=1990 color=0 unk=410 t=29.2s 2600 yes=0 no=2176 color=0 unk=424 t=31.4s 2800 yes=0 no=2326 color=0 unk=474 t=34.1s 3000 yes=0 no=2510 color=0 unk=490 t=36.2s 3200 yes=0 no=2696 color=0 unk=504 t=38.4s 3400 yes=0 no=2883 color=0 unk=517 t=40.5s 3600 yes=0 no=3038 color=0 unk=562 t=43.1s 3800 yes=0 no=3222 color=0 unk=578 t=45.3s 4000 yes=0 no=3408 color=0 unk=592 t=47.4s 4200 yes=0 no=3590 color=0 unk=610 t=49.7s 4400 yes=0 no=3742 color=0 unk=658 t=52.2s 4600 yes=0 no=3934 color=0 unk=666 t=54.3s 4800 yes=0 no=4112 color=0 unk=688 t=56.5s 5000 yes=0 no=4294 color=0 unk=706 t=58.8s 5200 yes=0 no=4470 color=0 unk=730 t=61.2s 5400 yes=0 no=4652 color=0 unk=748 t=63.4s 5600 yes=0 no=4835 color=0 unk=765 t=65.6s 5800 yes=0 no=5032 color=0 unk=768 t=67.7s 6000 yes=0 no=5194 color=0 unk=806 t=70.1s 6200 yes=0 no=5335 color=0 unk=865 t=72.8s 6400 yes=0 no=5482 color=0 unk=918 t=75.3s 6600 yes=0 no=5624 color=0 unk=976 t=78.0s 6800 yes=0 no=5760 color=0 unk=1040 t=80.7s 7000 yes=0 no=5760 color=0 unk=1240 t=85.1s DONE n=7040 yes=0 no=5760 color_kill=0 greedy_hit=0 unk=1280 t=86.0s