B_t3_s0of1 | DEPTH d1:n=1,t=0 | SLICE B_t3_s0of1 DEPTHCUT nodes=1 cut=0 solutions=0 attempts=13800 tries=7664 cpu=0.00
B_t7_s0of1 | DEPTH d1:n=1,t=0 | SLICE B_t7_s0of1 DEPTHCUT nodes=1 cut=0 solutions=0 attempts=14040 tries=9312 cpu=0.00
B_t9_s0of1 | DEPTH | SLICE B_t9_s0of1 DEPTHCUT nodes=0 cut=0 solutions=0 attempts=0 tries=0 cpu=0.00
B_t10_s0of1 | DEPTH d1:n=1,t=0 | SLICE B_t10_s0of1 DEPTHCUT nodes=1 cut=0 solutions=0 attempts=14040 tries=8652 cpu=0.00
B_t11_s0of1 | DEPTH d1:n=1,t=0 | SLICE B_t11_s0of1 DEPTHCUT nodes=1 cut=0 solutions=0 attempts=14040 tries=8380 cpu=0.00
B_t15_s0of1 | DEPTH d1:n=1,t=0 | SLICE B_t15_s0of1 DEPTHCUT nodes=1 cut=0 solutions=0 attempts=13800 tries=7943 cpu=0.00
B_t21_s0of1 | DEPTH | SLICE B_t21_s0of1 DEPTHCUT nodes=0 cut=0 solutions=0 attempts=0 tries=0 cpu=0.00
B_t23_s0of1 | DEPTH d1:n=1,t=0 | SLICE B_t23_s0of1 DEPTHCUT nodes=1 cut=0 solutions=0 attempts=14040 tries=7107 cpu=0.00
B_t25_s0of1 | DEPTH d1:n=1,t=0 | SLICE B_t25_s0of1 DEPTHCUT nodes=1 cut=0 solutions=0 attempts=14040 tries=8458 cpu=0.00
B_t26_s0of1 | DEPTH d1:n=1,t=0 | SLICE B_t26_s0of1 DEPTHCUT nodes=1 cut=0 solutions=0 attempts=14040 tries=8367 cpu=0.00
B_t31_s0of1 | DEPTH d1:n=1,t=0 | SLICE B_t31_s0of1 DEPTHCUT nodes=1 cut=0 solutions=0 attempts=14040 tries=7772 cpu=0.00
B_t32_s0of1 | DEPTH d1:n=1,t=0 | SLICE B_t32_s0of1 DEPTHCUT nodes=1 cut=0 solutions=0 attempts=14040 tries=7591 cpu=0.00
B_t34_s0of1 | DEPTH d1:n=1,t=0 | SLICE B_t34_s0of1 DEPTHCUT nodes=1 cut=0 solutions=0 attempts=14040 tries=7267 cpu=0.00
B_t35_s0of1 | DEPTH | SLICE B_t35_s0of1 DEPTHCUT nodes=0 cut=0 solutions=0 attempts=0 tries=0 cpu=0.00
B_t53_s0of1 | DEPTH | SLICE B_t53_s0of1 DEPTHCUT nodes=0 cut=0 solutions=0 attempts=0 tries=0 cpu=0.00
B_t54_s0of1 | DEPTH | SLICE B_t54_s0of1 DEPTHCUT nodes=0 cut=0 solutions=0 attempts=0 tries=0 cpu=0.00
B_t56_s0of1 | DEPTH | SLICE B_t56_s0of1 DEPTHCUT nodes=0 cut=0 solutions=0 attempts=0 tries=0 cpu=0.00
B_t58_s0of1 | DEPTH | SLICE B_t58_s0of1 DEPTHCUT nodes=0 cut=0 solutions=0 attempts=0 tries=0 cpu=0.00
B_t65_s0of1 | DEPTH | SLICE B_t65_s0of1 DEPTHCUT nodes=0 cut=0 solutions=0 attempts=0 tries=0 cpu=0.00
B_t72_s0of1 | DEPTH | SLICE B_t72_s0of1 DEPTHCUT nodes=0 cut=0 solutions=0 attempts=0 tries=0 cpu=0.00
B_t76_s0of1 | DEPTH | SLICE B_t76_s0of1 DEPTHCUT nodes=0 cut=0 solutions=0 attempts=0 tries=0 cpu=0.00
B_t78_s0of1 | DEPTH | SLICE B_t78_s0of1 DEPTHCUT nodes=0 cut=0 solutions=0 attempts=0 tries=0 cpu=0.00
B_t82_s0of1 | DEPTH | SLICE B_t82_s0of1 DEPTHCUT nodes=0 cut=0 solutions=0 attempts=0 tries=0 cpu=0.00
B_t87_s0of1 | DEPTH d1:n=1,t=116 d2:n=116,t=0 | SLICE B_t87_s0of1 DEPTHCUT nodes=117 cut=116 solutions=0 attempts=112320 tries=2688 cpu=0.00
B_t88_s0of1 | DEPTH d1:n=1,t=420 d2:n=420,t=0 | SLICE B_t88_s0of1 DEPTHCUT nodes=421 cut=420 solutions=0 attempts=112320 tries=3528 cpu=0.00
B_t89_s0of1 | DEPTH d1:n=1,t=338 d2:n=338,t=0 | SLICE B_t89_s0of1 DEPTHCUT nodes=339 cut=338 solutions=0 attempts=112320 tries=3416 cpu=0.00
B_t90_s0of1 | DEPTH d1:n=1,t=324 d2:n=324,t=0 | SLICE B_t90_s0of1 DEPTHCUT nodes=325 cut=324 solutions=0 attempts=112320 tries=4248 cpu=0.00
B_t91_s0of1 | DEPTH d1:n=1,t=324 d2:n=324,t=0 | SLICE B_t91_s0of1 DEPTHCUT nodes=325 cut=324 solutions=0 attempts=112320 tries=3852 cpu=0.00
B_t92_s0of1 | DEPTH d1:n=1,t=80 d2:n=80,t=0 | SLICE B_t92_s0of1 DEPTHCUT nodes=81 cut=80 solutions=0 attempts=112320 tries=4552 cpu=0.00
B_t93_s0of1 | DEPTH d1:n=1,t=160 d2:n=160,t=0 | SLICE B_t93_s0of1 DEPTHCUT nodes=161 cut=160 solutions=0 attempts=112320 tries=4096 cpu=0.00
B_t94_s0of1 | DEPTH d1:n=1,t=400 d2:n=400,t=0 | SLICE B_t94_s0of1 DEPTHCUT nodes=401 cut=400 solutions=0 attempts=112320 tries=5472 cpu=0.00
B_t95_s0of1 | DEPTH d1:n=1,t=380 d2:n=380,t=0 | SLICE B_t95_s0of1 DEPTHCUT nodes=381 cut=380 solutions=0 attempts=112320 tries=5861 cpu=0.00
B_t96_s0of1 | DEPTH d1:n=1,t=308 d2:n=308,t=0 | SLICE B_t96_s0of1 DEPTHCUT nodes=309 cut=308 solutions=0 attempts=112320 tries=5596 cpu=0.00
B_t98_s0of1 | DEPTH d1:n=1,t=715 d2:n=715,t=0 | SLICE B_t98_s0of1 DEPTHCUT nodes=716 cut=715 solutions=0 attempts=112320 tries=6038 cpu=0.00
B_t101_s0of1 | DEPTH d1:n=1,t=1039 d2:n=1039,t=0 | SLICE B_t101_s0of1 DEPTHCUT nodes=1040 cut=1039 solutions=0 attempts=112320 tries=8312 cpu=0.00
B_t103_s0of1 | DEPTH d1:n=1,t=334 d2:n=334,t=0 | SLICE B_t103_s0of1 DEPTHCUT nodes=335 cut=334 solutions=0 attempts=112320 tries=6698 cpu=0.00
B_t106_s0of1 | DEPTH d1:n=1,t=383 d2:n=383,t=0 | SLICE B_t106_s0of1 DEPTHCUT nodes=384 cut=383 solutions=0 attempts=112320 tries=5307 cpu=0.00
B_t107_s0of1 | DEPTH d1:n=1,t=154 d2:n=154,t=0 | SLICE B_t107_s0of1 DEPTHCUT nodes=155 cut=154 solutions=0 attempts=112320 tries=5698 cpu=0.00
B_t108_s0of1 | DEPTH d1:n=1,t=392 d2:n=392,t=0 | SLICE B_t108_s0of1 DEPTHCUT nodes=393 cut=392 solutions=0 attempts=112320 tries=5824 cpu=0.00
B_t109_s0of1 | DEPTH d1:n=1,t=417 d2:n=417,t=0 | SLICE B_t109_s0of1 DEPTHCUT nodes=418 cut=417 solutions=0 attempts=112320 tries=7294 cpu=0.00
B_t112_s0of1 | DEPTH d1:n=1,t=293 d2:n=293,t=0 | SLICE B_t112_s0of1 DEPTHCUT nodes=294 cut=293 solutions=0 attempts=112320 tries=5140 cpu=0.00
B_t113_s0of1 | DEPTH d1:n=1,t=685 d2:n=685,t=0 | SLICE B_t113_s0of1 DEPTHCUT nodes=686 cut=685 solutions=0 attempts=112320 tries=5540 cpu=0.00
B_t116_s0of1 | DEPTH d1:n=1,t=478 d2:n=478,t=0 | SLICE B_t116_s0of1 DEPTHCUT nodes=479 cut=478 solutions=0 attempts=112320 tries=5110 cpu=0.00
B_t118_s0of1 | DEPTH d1:n=1,t=402 d2:n=402,t=0 | SLICE B_t118_s0of1 DEPTHCUT nodes=403 cut=402 solutions=0 attempts=112320 tries=4600 cpu=0.00
B_t119_s0of1 | DEPTH d1:n=1,t=44 d2:n=44,t=0 | SLICE B_t119_s0of1 DEPTHCUT nodes=45 cut=44 solutions=0 attempts=112320 tries=3680 cpu=0.00
B_t121_s0of1 | DEPTH d1:n=1,t=209 d2:n=209,t=0 | SLICE B_t121_s0of1 DEPTHCUT nodes=210 cut=209 solutions=0 attempts=112320 tries=3783 cpu=0.00
B_t122_s0of1 | DEPTH d1:n=1,t=372 d2:n=372,t=0 | SLICE B_t122_s0of1 DEPTHCUT nodes=373 cut=372 solutions=0 attempts=112320 tries=4654 cpu=0.00
B_t123_s0of1 | DEPTH d1:n=1,t=126 d2:n=126,t=0 | SLICE B_t123_s0of1 DEPTHCUT nodes=127 cut=126 solutions=0 attempts=112320 tries=3705 cpu=0.00
B_t124_s0of1 | DEPTH d1:n=1,t=346 d2:n=346,t=0 | SLICE B_t124_s0of1 DEPTHCUT nodes=347 cut=346 solutions=0 attempts=112320 tries=4111 cpu=0.00
B_t125_s0of1 | DEPTH d1:n=1,t=277 d2:n=277,t=0 | SLICE B_t125_s0of1 DEPTHCUT nodes=278 cut=277 solutions=0 attempts=112320 tries=3418 cpu=0.00
B_t126_s0of1 | DEPTH d1:n=1,t=274 d2:n=274,t=0 | SLICE B_t126_s0of1 DEPTHCUT nodes=275 cut=274 solutions=0 attempts=112320 tries=4118 cpu=0.00
B_t127_s0of1 | DEPTH d1:n=1,t=95 d2:n=95,t=0 | SLICE B_t127_s0of1 DEPTHCUT nodes=96 cut=95 solutions=0 attempts=112320 tries=2395 cpu=0.00
B_t128_s0of1 | DEPTH d1:n=1,t=94 d2:n=94,t=0 | SLICE B_t128_s0of1 DEPTHCUT nodes=95 cut=94 solutions=0 attempts=112320 tries=2243 cpu=0.00
B_t129_s0of1 | DEPTH d1:n=1,t=111 d2:n=111,t=0 | SLICE B_t129_s0of1 DEPTHCUT nodes=112 cut=111 solutions=0 attempts=112320 tries=2510 cpu=0.00
B_t130_s0of1 | DEPTH d1:n=1,t=183 d2:n=183,t=0 | SLICE B_t130_s0of1 DEPTHCUT nodes=184 cut=183 solutions=0 attempts=112320 tries=2386 cpu=0.00
B_t131_s0of1 | DEPTH d1:n=1,t=84 d2:n=84,t=0 | SLICE B_t131_s0of1 DEPTHCUT nodes=85 cut=84 solutions=0 attempts=112320 tries=1678 cpu=0.00
B_t132_s0of1 | DEPTH d1:n=1,t=89 d2:n=89,t=0 | SLICE B_t132_s0of1 DEPTHCUT nodes=90 cut=89 solutions=0 attempts=112320 tries=1898 cpu=0.00
B_t133_s0of1 | DEPTH d1:n=1,t=130 d2:n=130,t=0 | SLICE B_t133_s0of1 DEPTHCUT nodes=131 cut=130 solutions=0 attempts=112320 tries=1494 cpu=0.00
B_t134_s0of1 | DEPTH d1:n=1,t=264 d2:n=264,t=0 | SLICE B_t134_s0of1 DEPTHCUT nodes=265 cut=264 solutions=0 attempts=112320 tries=3111 cpu=0.00
B_t135_s0of1 | DEPTH d1:n=1,t=157 d2:n=157,t=0 | SLICE B_t135_s0of1 DEPTHCUT nodes=158 cut=157 solutions=0 attempts=112320 tries=2090 cpu=0.00
B_t136_s0of1 | DEPTH d1:n=1,t=60 d2:n=60,t=0 | SLICE B_t136_s0of1 DEPTHCUT nodes=61 cut=60 solutions=0 attempts=112320 tries=1593 cpu=0.00
B_t137_s0of1 | DEPTH d1:n=1,t=181 d2:n=181,t=0 | SLICE B_t137_s0of1 DEPTHCUT nodes=182 cut=181 solutions=0 attempts=112320 tries=1556 cpu=0.00
B_t138_s0of1 | DEPTH d1:n=1,t=46 d2:n=46,t=0 | SLICE B_t138_s0of1 DEPTHCUT nodes=47 cut=46 solutions=0 attempts=112320 tries=926 cpu=0.00
B_t139_s0of1 | DEPTH d1:n=1,t=18 d2:n=18,t=0 | SLICE B_t139_s0of1 DEPTHCUT nodes=19 cut=18 solutions=0 attempts=112320 tries=868 cpu=0.00
B_t140_s0of1 | DEPTH | SLICE B_t140_s0of1 DEPTHCUT nodes=0 cut=0 solutions=0 attempts=0 tries=0 cpu=0.00
B_t141_s0of1 | DEPTH | SLICE B_t141_s0of1 DEPTHCUT nodes=0 cut=0 solutions=0 attempts=0 tries=0 cpu=0.00
B_t142_s0of1 | DEPTH d1:n=1,t=52 d2:n=52,t=0 | SLICE B_t142_s0of1 DEPTHCUT nodes=53 cut=52 solutions=0 attempts=112320 tries=593 cpu=0.00
B_t143_s0of1 | DEPTH d1:n=1,t=23 d2:n=23,t=0 | SLICE B_t143_s0of1 DEPTHCUT nodes=24 cut=23 solutions=0 attempts=112320 tries=716 cpu=0.00
B_t144_s0of1 | DEPTH d1:n=1,t=55 d2:n=55,t=0 | SLICE B_t144_s0of1 DEPTHCUT nodes=56 cut=55 solutions=0 attempts=112320 tries=608 cpu=0.00
B_t145_s0of1 | DEPTH d1:n=1,t=117 d2:n=117,t=0 | SLICE B_t145_s0of1 DEPTHCUT nodes=118 cut=117 solutions=0 attempts=112320 tries=1192 cpu=0.00
B_t146_s0of1 | DEPTH d1:n=1,t=11 d2:n=11,t=0 | SLICE B_t146_s0of1 DEPTHCUT nodes=12 cut=11 solutions=0 attempts=112320 tries=409 cpu=0.00
B_t147_s0of1 | DEPTH d1:n=1,t=25 d2:n=25,t=0 | SLICE B_t147_s0of1 DEPTHCUT nodes=26 cut=25 solutions=0 attempts=112320 tries=269 cpu=0.00
B_t148_s0of1 | DEPTH d1:n=1,t=4 d2:n=4,t=0 | SLICE B_t148_s0of1 DEPTHCUT nodes=5 cut=4 solutions=0 attempts=112320 tries=346 cpu=0.00
B_t149_s0of1 | DEPTH d1:n=1,t=12 d2:n=12,t=0 | SLICE B_t149_s0of1 DEPTHCUT nodes=13 cut=12 solutions=0 attempts=112320 tries=183 cpu=0.00
B_t150_s0of1 | DEPTH d1:n=1,t=7 d2:n=7,t=0 | SLICE B_t150_s0of1 DEPTHCUT nodes=8 cut=7 solutions=0 attempts=112320 tries=91 cpu=0.00
B_t151_s0of1 | DEPTH d1:n=1,t=8 d2:n=8,t=0 | SLICE B_t151_s0of1 DEPTHCUT nodes=9 cut=8 solutions=0 attempts=112320 tries=94 cpu=0.00
B_t152_s0of1 | DEPTH d1:n=1,t=0 | SLICE B_t152_s0of1 DEPTHCUT nodes=1 cut=0 solutions=0 attempts=112320 tries=38 cpu=0.00
B_t153_s0of1 | DEPTH d1:n=1,t=0 | SLICE B_t153_s0of1 DEPTHCUT nodes=1 cut=0 solutions=0 attempts=14040 tries=0 cpu=0.00
B_t86_s0of1 | DEPTH d1:n=1,t=110 d2:n=110,t=0 | SLICE B_t86_s0of1 DEPTHCUT nodes=111 cut=110 solutions=0 attempts=112320 tries=2320 cpu=0.00
B_t97_s0of1 | DEPTH d1:n=1,t=870 d2:n=870,t=0 | SLICE B_t97_s0of1 DEPTHCUT nodes=871 cut=870 solutions=0 attempts=112320 tries=7184 cpu=0.00
B_t99_s0of1 | DEPTH d1:n=1,t=821 d2:n=821,t=0 | SLICE B_t99_s0of1 DEPTHCUT nodes=822 cut=821 solutions=0 attempts=112320 tries=6683 cpu=0.00
B_t100_s0of1 | DEPTH d1:n=1,t=347 d2:n=347,t=0 | SLICE B_t100_s0of1 DEPTHCUT nodes=348 cut=347 solutions=0 attempts=112320 tries=5594 cpu=0.00
B_t102_s0of1 | DEPTH d1:n=1,t=772 d2:n=772,t=0 | SLICE B_t102_s0of1 DEPTHCUT nodes=773 cut=772 solutions=0 attempts=112320 tries=7645 cpu=0.00
B_t104_s0of1 | DEPTH d1:n=1,t=456 d2:n=456,t=0 | SLICE B_t104_s0of1 DEPTHCUT nodes=457 cut=456 solutions=0 attempts=112320 tries=5950 cpu=0.00
B_t105_s0of1 | DEPTH d1:n=1,t=336 d2:n=336,t=0 | SLICE B_t105_s0of1 DEPTHCUT nodes=337 cut=336 solutions=0 attempts=112320 tries=6607 cpu=0.00
B_t111_s0of1 | DEPTH d1:n=1,t=412 d2:n=412,t=0 | SLICE B_t111_s0of1 DEPTHCUT nodes=413 cut=412 solutions=0 attempts=112320 tries=6782 cpu=0.00
B_t114_s0of1 | DEPTH d1:n=1,t=534 d2:n=534,t=0 | SLICE B_t114_s0of1 DEPTHCUT nodes=535 cut=534 solutions=0 attempts=112320 tries=6198 cpu=0.00
B_t115_s0of1 | DEPTH d1:n=1,t=522 d2:n=522,t=0 | SLICE B_t115_s0of1 DEPTHCUT nodes=523 cut=522 solutions=0 attempts=112320 tries=6562 cpu=0.00
B_t120_s0of1 | DEPTH d1:n=1,t=575 d2:n=575,t=0 | SLICE B_t120_s0of1 DEPTHCUT nodes=576 cut=575 solutions=0 attempts=112320 tries=5760 cpu=0.00
B_t110_s0of1 | DEPTH d1:n=1,t=995 d2:n=995,t=0 | SLICE B_t110_s0of1 DEPTHCUT nodes=996 cut=995 solutions=0 attempts=112320 tries=8094 cpu=0.00
B_t117_s0of1 | DEPTH d1:n=1,t=264 d2:n=264,t=0 | SLICE B_t117_s0of1 DEPTHCUT nodes=265 cut=264 solutions=0 attempts=112320 tries=6836 cpu=0.00
B_t85_s0of1 | DEPTH d1:n=1,t=909 d2:n=909,t=0 | SLICE B_t85_s0of1 DEPTHCUT nodes=910 cut=909 solutions=0 attempts=112320 tries=14139 cpu=0.00
B_t84_s0of1 | DEPTH d1:n=1,t=1783 d2:n=1783,t=0 | SLICE B_t84_s0of1 DEPTHCUT nodes=1784 cut=1783 solutions=0 attempts=112320 tries=18844 cpu=0.00
B_t79_s0of1 | DEPTH d1:n=1,t=2266 d2:n=2266,t=0 | SLICE B_t79_s0of1 DEPTHCUT nodes=2267 cut=2266 solutions=0 attempts=112320 tries=25081 cpu=0.00
B_t69_s0of1 | DEPTH d1:n=1,t=1040 d2:n=1040,t=0 | SLICE B_t69_s0of1 DEPTHCUT nodes=1041 cut=1040 solutions=0 attempts=112320 tries=8320 cpu=0.00
B_t74_s0of1 | DEPTH d1:n=1,t=1062 d2:n=1062,t=0 | SLICE B_t74_s0of1 DEPTHCUT nodes=1063 cut=1062 solutions=0 attempts=112320 tries=18624 cpu=0.00
B_t81_s0of1 | DEPTH d1:n=1,t=680 d2:n=680,t=0 | SLICE B_t81_s0of1 DEPTHCUT nodes=681 cut=680 solutions=0 attempts=112320 tries=15441 cpu=0.00
B_t77_s0of1 | DEPTH d1:n=1,t=1883 d2:n=1883,t=0 | SLICE B_t77_s0of1 DEPTHCUT nodes=1884 cut=1883 solutions=0 attempts=112320 tries=25687 cpu=0.00
B_t83_s0of1 | DEPTH d1:n=1,t=1077 d2:n=1077,t=0 | SLICE B_t83_s0of1 DEPTHCUT nodes=1078 cut=1077 solutions=0 attempts=112320 tries=17818 cpu=0.00
B_t71_s0of1 | DEPTH d1:n=1,t=1803 d2:n=1803,t=0 | SLICE B_t71_s0of1 DEPTHCUT nodes=1804 cut=1803 solutions=0 attempts=112320 tries=19962 cpu=0.00
B_t80_s0of1 | DEPTH d1:n=1,t=1584 d2:n=1584,t=0 | SLICE B_t80_s0of1 DEPTHCUT nodes=1585 cut=1584 solutions=0 attempts=112320 tries=24190 cpu=0.00
B_t75_s0of1 | DEPTH d1:n=1,t=1892 d2:n=1892,t=0 | SLICE B_t75_s0of1 DEPTHCUT nodes=1893 cut=1892 solutions=0 attempts=112320 tries=21010 cpu=0.00
B_t0_s0of1 | DEPTH d1:n=1,t=5737 d2:n=5737,t=0 | SLICE B_t0_s0of1 DEPTHCUT nodes=5738 cut=5737 solutions=0 attempts=106560 tries=66586 cpu=0.02
B_t73_s0of2 | DEPTH d1:n=1,t=2597 d2:n=1299,t=0 | SLICE B_t73_s0of2 DEPTHCUT nodes=1300 cut=1299 solutions=0 attempts=112320 tries=25073 cpu=0.00
B_t73_s1of2 | DEPTH d1:n=1,t=2597 d2:n=1298,t=0 | SLICE B_t73_s1of2 DEPTHCUT nodes=1299 cut=1298 solutions=0 attempts=112320 tries=25073 cpu=0.00
B_t70_s0of1 | DEPTH d1:n=1,t=2910 d2:n=2910,t=0 | SLICE B_t70_s0of1 DEPTHCUT nodes=2911 cut=2910 solutions=0 attempts=112320 tries=26335 cpu=0.00
B_t12_s0of2 | DEPTH d1:n=1,t=5826 d2:n=2913,t=0 | SLICE B_t12_s0of2 DEPTHCUT nodes=2914 cut=2913 solutions=0 attempts=110400 tries=57416 cpu=0.01
B_t12_s1of2 | DEPTH d1:n=1,t=5826 d2:n=2913,t=0 | SLICE B_t12_s1of2 DEPTHCUT nodes=2914 cut=2913 solutions=0 attempts=110400 tries=57416 cpu=0.01
B_t4_s0of3 | DEPTH d1:n=1,t=6736 d2:n=2246,t=0 | SLICE B_t4_s0of3 DEPTHCUT nodes=2247 cut=2246 solutions=0 attempts=110400 tries=72691 cpu=0.03
B_t4_s1of3 | DEPTH d1:n=1,t=6736 d2:n=2245,t=0 | SLICE B_t4_s1of3 DEPTHCUT nodes=2246 cut=2245 solutions=0 attempts=110400 tries=72691 cpu=0.03
B_t4_s2of3 | DEPTH d1:n=1,t=6736 d2:n=2245,t=0 | SLICE B_t4_s2of3 DEPTHCUT nodes=2246 cut=2245 solutions=0 attempts=110400 tries=72691 cpu=0.03
B_t64_s0of3 | DEPTH d1:n=1,t=4070 d2:n=1357,t=0 | SLICE B_t64_s0of3 DEPTHCUT nodes=1358 cut=1357 solutions=0 attempts=112320 tries=35088 cpu=0.00
B_t64_s1of3 | DEPTH d1:n=1,t=4070 d2:n=1357,t=0 | SLICE B_t64_s1of3 DEPTHCUT nodes=1358 cut=1357 solutions=0 attempts=112320 tries=35088 cpu=0.00
B_t64_s2of3 | DEPTH d1:n=1,t=4070 d2:n=1356,t=0 | SLICE B_t64_s2of3 DEPTHCUT nodes=1357 cut=1356 solutions=0 attempts=112320 tries=35088 cpu=0.00
B_t1_s0of1 | DEPTH d1:n=1,t=6008 d2:n=6008,t=0 | SLICE B_t1_s0of1 DEPTHCUT nodes=6009 cut=6008 solutions=0 attempts=108480 tries=69585 cpu=0.03
B_t63_s0of3 | DEPTH d1:n=1,t=3599 d2:n=1200,t=0 | SLICE B_t63_s0of3 DEPTHCUT nodes=1201 cut=1200 solutions=0 attempts=112320 tries=32500 cpu=0.00
B_t63_s1of3 | DEPTH d1:n=1,t=3599 d2:n=1200,t=0 | SLICE B_t63_s1of3 DEPTHCUT nodes=1201 cut=1200 solutions=0 attempts=112320 tries=32500 cpu=0.00
B_t63_s2of3 | DEPTH d1:n=1,t=3599 d2:n=1199,t=0 | SLICE B_t63_s2of3 DEPTHCUT nodes=1200 cut=1199 solutions=0 attempts=112320 tries=32500 cpu=0.00
B_t42_s0of3 | DEPTH d1:n=1,t=3582 d2:n=1194,t=0 | SLICE B_t42_s0of3 DEPTHCUT nodes=1195 cut=1194 solutions=0 attempts=112320 tries=40592 cpu=0.00
B_t42_s1of3 | DEPTH d1:n=1,t=3582 d2:n=1194,t=0 | SLICE B_t42_s1of3 DEPTHCUT nodes=1195 cut=1194 solutions=0 attempts=112320 tries=40592 cpu=0.00
B_t42_s2of3 | DEPTH d1:n=1,t=3582 d2:n=1194,t=0 | SLICE B_t42_s2of3 DEPTHCUT nodes=1195 cut=1194 solutions=0 attempts=112320 tries=40592 cpu=0.00
B_t6_s0of4 | DEPTH d1:n=1,t=7486 d2:n=1872,t=0 | SLICE B_t6_s0of4 DEPTHCUT nodes=1873 cut=1872 solutions=0 attempts=110400 tries=74037 cpu=0.03
B_t6_s1of4 | DEPTH d1:n=1,t=7486 d2:n=1872,t=0 | SLICE B_t6_s1of4 DEPTHCUT nodes=1873 cut=1872 solutions=0 attempts=110400 tries=74037 cpu=0.03
B_t6_s2of4 | DEPTH d1:n=1,t=7486 d2:n=1871,t=0 | SLICE B_t6_s2of4 DEPTHCUT nodes=1872 cut=1871 solutions=0 attempts=110400 tries=74037 cpu=0.03
B_t6_s3of4 | DEPTH d1:n=1,t=7486 d2:n=1871,t=0 | SLICE B_t6_s3of4 DEPTHCUT nodes=1872 cut=1871 solutions=0 attempts=110400 tries=74037 cpu=0.03
B_t47_s0of3 | DEPTH d1:n=1,t=3490 d2:n=1164,t=0 | SLICE B_t47_s0of3 DEPTHCUT nodes=1165 cut=1164 solutions=0 attempts=112320 tries=43200 cpu=0.00
B_t47_s1of3 | DEPTH d1:n=1,t=3490 d2:n=1163,t=0 | SLICE B_t47_s1of3 DEPTHCUT nodes=1164 cut=1163 solutions=0 attempts=112320 tries=43200 cpu=0.00
B_t47_s2of3 | DEPTH d1:n=1,t=3490 d2:n=1163,t=0 | SLICE B_t47_s2of3 DEPTHCUT nodes=1164 cut=1163 solutions=0 attempts=112320 tries=43200 cpu=0.00
B_t67_s0of3 | DEPTH d1:n=1,t=3808 d2:n=1270,t=0 | SLICE B_t67_s0of3 DEPTHCUT nodes=1271 cut=1270 solutions=0 attempts=112320 tries=33957 cpu=0.00
B_t67_s1of3 | DEPTH d1:n=1,t=3808 d2:n=1269,t=0 | SLICE B_t67_s1of3 DEPTHCUT nodes=1270 cut=1269 solutions=0 attempts=112320 tries=33957 cpu=0.00
B_t67_s2of3 | DEPTH d1:n=1,t=3808 d2:n=1269,t=0 | SLICE B_t67_s2of3 DEPTHCUT nodes=1270 cut=1269 solutions=0 attempts=112320 tries=33957 cpu=0.00
B_t66_s0of5 | DEPTH d1:n=1,t=2462 d2:n=493,t=0 | SLICE B_t66_s0of5 DEPTHCUT nodes=494 cut=493 solutions=0 attempts=112320 tries=26219 cpu=0.00
B_t66_s1of5 | DEPTH d1:n=1,t=2462 d2:n=493,t=0 | SLICE B_t66_s1of5 DEPTHCUT nodes=494 cut=493 solutions=0 attempts=112320 tries=26219 cpu=0.00
B_t66_s2of5 | DEPTH d1:n=1,t=2462 d2:n=492,t=0 | SLICE B_t66_s2of5 DEPTHCUT nodes=493 cut=492 solutions=0 attempts=112320 tries=26219 cpu=0.00
B_t66_s3of5 | DEPTH d1:n=1,t=2462 d2:n=492,t=0 | SLICE B_t66_s3of5 DEPTHCUT nodes=493 cut=492 solutions=0 attempts=112320 tries=26219 cpu=0.00
B_t66_s4of5 | DEPTH d1:n=1,t=2462 d2:n=492,t=0 | SLICE B_t66_s4of5 DEPTHCUT nodes=493 cut=492 solutions=0 attempts=112320 tries=26219 cpu=0.00
B_t29_s0of4 | DEPTH d1:n=1,t=5316 d2:n=1329,t=0 | SLICE B_t29_s0of4 DEPTHCUT nodes=1330 cut=1329 solutions=0 attempts=112320 tries=54899 cpu=0.01
B_t29_s1of4 | DEPTH d1:n=1,t=5316 d2:n=1329,t=0 | SLICE B_t29_s1of4 DEPTHCUT nodes=1330 cut=1329 solutions=0 attempts=112320 tries=54899 cpu=0.01
B_t29_s2of4 | DEPTH d1:n=1,t=5316 d2:n=1329,t=0 | SLICE B_t29_s2of4 DEPTHCUT nodes=1330 cut=1329 solutions=0 attempts=112320 tries=54899 cpu=0.01
B_t29_s3of4 | DEPTH d1:n=1,t=5316 d2:n=1329,t=0 | SLICE B_t29_s3of4 DEPTHCUT nodes=1330 cut=1329 solutions=0 attempts=112320 tries=54899 cpu=0.01
B_t46_s0of3 | DEPTH d1:n=1,t=2830 d2:n=944,t=0 | SLICE B_t46_s0of3 DEPTHCUT nodes=945 cut=944 solutions=0 attempts=112320 tries=37189 cpu=0.00
B_t46_s1of3 | DEPTH d1:n=1,t=2830 d2:n=943,t=0 | SLICE B_t46_s1of3 DEPTHCUT nodes=944 cut=943 solutions=0 attempts=112320 tries=37189 cpu=0.00
B_t46_s2of3 | DEPTH d1:n=1,t=2830 d2:n=943,t=0 | SLICE B_t46_s2of3 DEPTHCUT nodes=944 cut=943 solutions=0 attempts=112320 tries=37189 cpu=0.00
B_t2_s0of1 | DEPTH d1:n=1,t=6250 d2:n=6250,t=0 | SLICE B_t2_s0of1 DEPTHCUT nodes=6251 cut=6250 solutions=0 attempts=112320 tries=85553 cpu=0.03
B_t8_s0of5 | DEPTH d1:n=1,t=6533 d2:n=1307,t=0 | SLICE B_t8_s0of5 DEPTHCUT nodes=1308 cut=1307 solutions=0 attempts=112320 tries=78445 cpu=0.02
B_t8_s1of5 | DEPTH d1:n=1,t=6533 d2:n=1307,t=0 | SLICE B_t8_s1of5 DEPTHCUT nodes=1308 cut=1307 solutions=0 attempts=112320 tries=78445 cpu=0.02
B_t8_s2of5 | DEPTH d1:n=1,t=6533 d2:n=1307,t=0 | SLICE B_t8_s2of5 DEPTHCUT nodes=1308 cut=1307 solutions=0 attempts=112320 tries=78445 cpu=0.02
B_t8_s3of5 | DEPTH d1:n=1,t=6533 d2:n=1306,t=0 | SLICE B_t8_s3of5 DEPTHCUT nodes=1307 cut=1306 solutions=0 attempts=112320 tries=78445 cpu=0.02
B_t8_s4of5 | DEPTH d1:n=1,t=6533 d2:n=1306,t=0 | SLICE B_t8_s4of5 DEPTHCUT nodes=1307 cut=1306 solutions=0 attempts=112320 tries=78445 cpu=0.02
B_t5_s0of4 | DEPTH d1:n=1,t=6903 d2:n=1726,t=0 | SLICE B_t5_s0of4 DEPTHCUT nodes=1727 cut=1726 solutions=0 attempts=112320 tries=82972 cpu=0.02
B_t5_s1of4 | DEPTH d1:n=1,t=6903 d2:n=1726,t=0 | SLICE B_t5_s1of4 DEPTHCUT nodes=1727 cut=1726 solutions=0 attempts=112320 tries=82972 cpu=0.02
B_t5_s2of4 | DEPTH d1:n=1,t=6903 d2:n=1726,t=0 | SLICE B_t5_s2of4 DEPTHCUT nodes=1727 cut=1726 solutions=0 attempts=112320 tries=82972 cpu=0.02
B_t5_s3of4 | DEPTH d1:n=1,t=6903 d2:n=1725,t=0 | SLICE B_t5_s3of4 DEPTHCUT nodes=1726 cut=1725 solutions=0 attempts=112320 tries=82972 cpu=0.02
B_t36_s0of2 | DEPTH d1:n=1,t=5008 d2:n=2504,t=0 | SLICE B_t36_s0of2 DEPTHCUT nodes=2505 cut=2504 solutions=0 attempts=112320 tries=48908 cpu=0.01
B_t36_s1of2 | DEPTH d1:n=1,t=5008 d2:n=2504,t=0 | SLICE B_t36_s1of2 DEPTHCUT nodes=2505 cut=2504 solutions=0 attempts=112320 tries=48908 cpu=0.01
B_t55_s0of4 | DEPTH d1:n=1,t=4090 d2:n=1023,t=0 | SLICE B_t55_s0of4 DEPTHCUT nodes=1024 cut=1023 solutions=0 attempts=112320 tries=40194 cpu=0.00
B_t55_s1of4 | DEPTH d1:n=1,t=4090 d2:n=1023,t=0 | SLICE B_t55_s1of4 DEPTHCUT nodes=1024 cut=1023 solutions=0 attempts=112320 tries=40194 cpu=0.00
B_t55_s2of4 | DEPTH d1:n=1,t=4090 d2:n=1022,t=0 | SLICE B_t55_s2of4 DEPTHCUT nodes=1023 cut=1022 solutions=0 attempts=112320 tries=40194 cpu=0.00
B_t55_s3of4 | DEPTH d1:n=1,t=4090 d2:n=1022,t=0 | SLICE B_t55_s3of4 DEPTHCUT nodes=1023 cut=1022 solutions=0 attempts=112320 tries=40194 cpu=0.00
B_t41_s0of3 | DEPTH d1:n=1,t=3354 d2:n=1118,t=0 | SLICE B_t41_s0of3 DEPTHCUT nodes=1119 cut=1118 solutions=0 attempts=112320 tries=39610 cpu=0.00
B_t41_s1of3 | DEPTH d1:n=1,t=3354 d2:n=1118,t=0 | SLICE B_t41_s1of3 DEPTHCUT nodes=1119 cut=1118 solutions=0 attempts=112320 tries=39610 cpu=0.00
B_t41_s2of3 | DEPTH d1:n=1,t=3354 d2:n=1118,t=0 | SLICE B_t41_s2of3 DEPTHCUT nodes=1119 cut=1118 solutions=0 attempts=112320 tries=39610 cpu=0.00
B_t43_s0of6 | DEPTH d1:n=1,t=3326 d2:n=555,t=0 | SLICE B_t43_s0of6 DEPTHCUT nodes=556 cut=555 solutions=0 attempts=112320 tries=42304 cpu=0.00
B_t43_s1of6 | DEPTH d1:n=1,t=3326 d2:n=555,t=0 | SLICE B_t43_s1of6 DEPTHCUT nodes=556 cut=555 solutions=0 attempts=112320 tries=42304 cpu=0.00
B_t43_s2of6 | DEPTH d1:n=1,t=3326 d2:n=554,t=0 | SLICE B_t43_s2of6 DEPTHCUT nodes=555 cut=554 solutions=0 attempts=112320 tries=42304 cpu=0.00
B_t43_s3of6 | DEPTH d1:n=1,t=3326 d2:n=554,t=0 | SLICE B_t43_s3of6 DEPTHCUT nodes=555 cut=554 solutions=0 attempts=112320 tries=42304 cpu=0.00
B_t43_s4of6 | DEPTH d1:n=1,t=3326 d2:n=554,t=0 | SLICE B_t43_s4of6 DEPTHCUT nodes=555 cut=554 solutions=0 attempts=112320 tries=42304 cpu=0.00
B_t43_s5of6 | DEPTH d1:n=1,t=3326 d2:n=554,t=0 | SLICE B_t43_s5of6 DEPTHCUT nodes=555 cut=554 solutions=0 attempts=112320 tries=42304 cpu=0.00
B_t68_s0of4 | DEPTH d1:n=1,t=2202 d2:n=551,t=0 | SLICE B_t68_s0of4 DEPTHCUT nodes=552 cut=551 solutions=0 attempts=112320 tries=25560 cpu=0.00
B_t68_s1of4 | DEPTH d1:n=1,t=2202 d2:n=551,t=0 | SLICE B_t68_s1of4 DEPTHCUT nodes=552 cut=551 solutions=0 attempts=112320 tries=25560 cpu=0.00
B_t68_s2of4 | DEPTH d1:n=1,t=2202 d2:n=550,t=0 | SLICE B_t68_s2of4 DEPTHCUT nodes=551 cut=550 solutions=0 attempts=112320 tries=25560 cpu=0.00
B_t68_s3of4 | DEPTH d1:n=1,t=2202 d2:n=550,t=0 | SLICE B_t68_s3of4 DEPTHCUT nodes=551 cut=550 solutions=0 attempts=112320 tries=25560 cpu=0.00
B_t17_s0of4 | DEPTH d1:n=1,t=7112 d2:n=1778,t=0 | SLICE B_t17_s0of4 DEPTHCUT nodes=1779 cut=1778 solutions=0 attempts=112320 tries=70893 cpu=0.01
B_t17_s1of4 | DEPTH d1:n=1,t=7112 d2:n=1778,t=0 | SLICE B_t17_s1of4 DEPTHCUT nodes=1779 cut=1778 solutions=0 attempts=112320 tries=70893 cpu=0.01
B_t17_s2of4 | DEPTH d1:n=1,t=7112 d2:n=1778,t=0 | SLICE B_t17_s2of4 DEPTHCUT nodes=1779 cut=1778 solutions=0 attempts=112320 tries=70893 cpu=0.01
B_t17_s3of4 | DEPTH d1:n=1,t=7112 d2:n=1778,t=0 | SLICE B_t17_s3of4 DEPTHCUT nodes=1779 cut=1778 solutions=0 attempts=112320 tries=70893 cpu=0.01
B_t57_s0of2 | DEPTH d1:n=1,t=4571 d2:n=2286,t=0 | SLICE B_t57_s0of2 DEPTHCUT nodes=2287 cut=2286 solutions=0 attempts=112320 tries=42862 cpu=0.00
B_t57_s1of2 | DEPTH d1:n=1,t=4571 d2:n=2285,t=0 | SLICE B_t57_s1of2 DEPTHCUT nodes=2286 cut=2285 solutions=0 attempts=112320 tries=42862 cpu=0.00
B_t60_s0of5 | DEPTH d1:n=1,t=2772 d2:n=555,t=0 | SLICE B_t60_s0of5 DEPTHCUT nodes=556 cut=555 solutions=0 attempts=112320 tries=31396 cpu=0.00
B_t60_s1of5 | DEPTH d1:n=1,t=2772 d2:n=555,t=0 | SLICE B_t60_s1of5 DEPTHCUT nodes=556 cut=555 solutions=0 attempts=112320 tries=31396 cpu=0.00
B_t60_s2of5 | DEPTH d1:n=1,t=2772 d2:n=554,t=0 | SLICE B_t60_s2of5 DEPTHCUT nodes=555 cut=554 solutions=0 attempts=112320 tries=31396 cpu=0.00
B_t60_s3of5 | DEPTH d1:n=1,t=2772 d2:n=554,t=0 | SLICE B_t60_s3of5 DEPTHCUT nodes=555 cut=554 solutions=0 attempts=112320 tries=31396 cpu=0.00
B_t60_s4of5 | DEPTH d1:n=1,t=2772 d2:n=554,t=0 | SLICE B_t60_s4of5 DEPTHCUT nodes=555 cut=554 solutions=0 attempts=112320 tries=31396 cpu=0.00
B_t52_s0of5 | DEPTH d1:n=1,t=5179 d2:n=1036,t=0 | SLICE B_t52_s0of5 DEPTHCUT nodes=1037 cut=1036 solutions=0 attempts=112320 tries=43030 cpu=0.00
B_t52_s1of5 | DEPTH d1:n=1,t=5179 d2:n=1036,t=0 | SLICE B_t52_s1of5 DEPTHCUT nodes=1037 cut=1036 solutions=0 attempts=112320 tries=43030 cpu=0.00
B_t52_s2of5 | DEPTH d1:n=1,t=5179 d2:n=1036,t=0 | SLICE B_t52_s2of5 DEPTHCUT nodes=1037 cut=1036 solutions=0 attempts=112320 tries=43030 cpu=0.00
B_t52_s3of5 | DEPTH d1:n=1,t=5179 d2:n=1036,t=0 | SLICE B_t52_s3of5 DEPTHCUT nodes=1037 cut=1036 solutions=0 attempts=112320 tries=43030 cpu=0.00
B_t52_s4of5 | DEPTH d1:n=1,t=5179 d2:n=1035,t=0 | SLICE B_t52_s4of5 DEPTHCUT nodes=1036 cut=1035 solutions=0 attempts=112320 tries=43030 cpu=0.00
B_t62_s0of6 | DEPTH d1:n=1,t=2678 d2:n=447,t=0 | SLICE B_t62_s0of6 DEPTHCUT nodes=448 cut=447 solutions=0 attempts=112320 tries=31666 cpu=0.00
B_t62_s1of6 | DEPTH d1:n=1,t=2678 d2:n=447,t=0 | SLICE B_t62_s1of6 DEPTHCUT nodes=448 cut=447 solutions=0 attempts=112320 tries=31666 cpu=0.00
B_t62_s2of6 | DEPTH d1:n=1,t=2678 d2:n=446,t=0 | SLICE B_t62_s2of6 DEPTHCUT nodes=447 cut=446 solutions=0 attempts=112320 tries=31666 cpu=0.00
B_t62_s3of6 | DEPTH d1:n=1,t=2678 d2:n=446,t=0 | SLICE B_t62_s3of6 DEPTHCUT nodes=447 cut=446 solutions=0 attempts=112320 tries=31666 cpu=0.00
B_t62_s4of6 | DEPTH d1:n=1,t=2678 d2:n=446,t=0 | SLICE B_t62_s4of6 DEPTHCUT nodes=447 cut=446 solutions=0 attempts=112320 tries=31666 cpu=0.00
B_t62_s5of6 | DEPTH d1:n=1,t=2678 d2:n=446,t=0 | SLICE B_t62_s5of6 DEPTHCUT nodes=447 cut=446 solutions=0 attempts=112320 tries=31666 cpu=0.00
B_t37_s0of4 | DEPTH d1:n=1,t=4218 d2:n=1055,t=0 | SLICE B_t37_s0of4 DEPTHCUT nodes=1056 cut=1055 solutions=0 attempts=112320 tries=47361 cpu=0.01
B_t37_s1of4 | DEPTH d1:n=1,t=4218 d2:n=1055,t=0 | SLICE B_t37_s1of4 DEPTHCUT nodes=1056 cut=1055 solutions=0 attempts=112320 tries=47361 cpu=0.00
B_t37_s2of4 | DEPTH d1:n=1,t=4218 d2:n=1054,t=0 | SLICE B_t37_s2of4 DEPTHCUT nodes=1055 cut=1054 solutions=0 attempts=112320 tries=47361 cpu=0.00
B_t37_s3of4 | DEPTH d1:n=1,t=4218 d2:n=1054,t=0 | SLICE B_t37_s3of4 DEPTHCUT nodes=1055 cut=1054 solutions=0 attempts=112320 tries=47361 cpu=0.01
B_t14_s0of7 | DEPTH d1:n=1,t=6344 d2:n=907,t=0 | SLICE B_t14_s0of7 DEPTHCUT nodes=908 cut=907 solutions=0 attempts=112320 tries=69729 cpu=0.01
B_t14_s1of7 | DEPTH d1:n=1,t=6344 d2:n=907,t=0 | SLICE B_t14_s1of7 DEPTHCUT nodes=908 cut=907 solutions=0 attempts=112320 tries=69729 cpu=0.01
B_t14_s2of7 | DEPTH d1:n=1,t=6344 d2:n=906,t=0 | SLICE B_t14_s2of7 DEPTHCUT nodes=907 cut=906 solutions=0 attempts=112320 tries=69729 cpu=0.01
B_t14_s3of7 | DEPTH d1:n=1,t=6344 d2:n=906,t=0 | SLICE B_t14_s3of7 DEPTHCUT nodes=907 cut=906 solutions=0 attempts=112320 tries=69729 cpu=0.01
B_t14_s4of7 | DEPTH d1:n=1,t=6344 d2:n=906,t=0 | SLICE B_t14_s4of7 DEPTHCUT nodes=907 cut=906 solutions=0 attempts=112320 tries=69729 cpu=0.01
B_t14_s5of7 | DEPTH d1:n=1,t=6344 d2:n=906,t=0 | SLICE B_t14_s5of7 DEPTHCUT nodes=907 cut=906 solutions=0 attempts=112320 tries=69729 cpu=0.01
B_t14_s6of7 | DEPTH d1:n=1,t=6344 d2:n=906,t=0 | SLICE B_t14_s6of7 DEPTHCUT nodes=907 cut=906 solutions=0 attempts=112320 tries=69729 cpu=0.01
B_t30_s0of8 | DEPTH d1:n=1,t=5204 d2:n=651,t=0 | SLICE B_t30_s0of8 DEPTHCUT nodes=652 cut=651 solutions=0 attempts=112320 tries=58788 cpu=0.01
B_t30_s1of8 | DEPTH d1:n=1,t=5204 d2:n=651,t=0 | SLICE B_t30_s1of8 DEPTHCUT nodes=652 cut=651 solutions=0 attempts=112320 tries=58788 cpu=0.01
B_t30_s2of8 | DEPTH d1:n=1,t=5204 d2:n=651,t=0 | SLICE B_t30_s2of8 DEPTHCUT nodes=652 cut=651 solutions=0 attempts=112320 tries=58788 cpu=0.01
B_t30_s3of8 | DEPTH d1:n=1,t=5204 d2:n=651,t=0 | SLICE B_t30_s3of8 DEPTHCUT nodes=652 cut=651 solutions=0 attempts=112320 tries=58788 cpu=0.01
B_t30_s4of8 | DEPTH d1:n=1,t=5204 d2:n=650,t=0 | SLICE B_t30_s4of8 DEPTHCUT nodes=651 cut=650 solutions=0 attempts=112320 tries=58788 cpu=0.01
B_t30_s5of8 | DEPTH d1:n=1,t=5204 d2:n=650,t=0 | SLICE B_t30_s5of8 DEPTHCUT nodes=651 cut=650 solutions=0 attempts=112320 tries=58788 cpu=0.01
B_t30_s6of8 | DEPTH d1:n=1,t=5204 d2:n=650,t=0 | SLICE B_t30_s6of8 DEPTHCUT nodes=651 cut=650 solutions=0 attempts=112320 tries=58788 cpu=0.01
B_t30_s7of8 | DEPTH d1:n=1,t=5204 d2:n=650,t=0 | SLICE B_t30_s7of8 DEPTHCUT nodes=651 cut=650 solutions=0 attempts=112320 tries=58788 cpu=0.01
B_t51_s0of8 | DEPTH d1:n=1,t=4340 d2:n=543,t=0 | SLICE B_t51_s0of8 DEPTHCUT nodes=544 cut=543 solutions=0 attempts=112320 tries=38618 cpu=0.00
B_t51_s1of8 | DEPTH d1:n=1,t=4340 d2:n=543,t=0 | SLICE B_t51_s1of8 DEPTHCUT nodes=544 cut=543 solutions=0 attempts=112320 tries=38618 cpu=0.00
B_t51_s2of8 | DEPTH d1:n=1,t=4340 d2:n=543,t=0 | SLICE B_t51_s2of8 DEPTHCUT nodes=544 cut=543 solutions=0 attempts=112320 tries=38618 cpu=0.00
B_t51_s3of8 | DEPTH d1:n=1,t=4340 d2:n=543,t=0 | SLICE B_t51_s3of8 DEPTHCUT nodes=544 cut=543 solutions=0 attempts=112320 tries=38618 cpu=0.00
B_t51_s4of8 | DEPTH d1:n=1,t=4340 d2:n=542,t=0 | SLICE B_t51_s4of8 DEPTHCUT nodes=543 cut=542 solutions=0 attempts=112320 tries=38618 cpu=0.00
B_t51_s5of8 | DEPTH d1:n=1,t=4340 d2:n=542,t=0 | SLICE B_t51_s5of8 DEPTHCUT nodes=543 cut=542 solutions=0 attempts=112320 tries=38618 cpu=0.00
B_t51_s6of8 | DEPTH d1:n=1,t=4340 d2:n=542,t=0 | SLICE B_t51_s6of8 DEPTHCUT nodes=543 cut=542 solutions=0 attempts=112320 tries=38618 cpu=0.00
B_t51_s7of8 | DEPTH d1:n=1,t=4340 d2:n=542,t=0 | SLICE B_t51_s7of8 DEPTHCUT nodes=543 cut=542 solutions=0 attempts=112320 tries=38618 cpu=0.00
B_t38_s0of7 | DEPTH d1:n=1,t=3587 d2:n=513,t=0 | SLICE B_t38_s0of7 DEPTHCUT nodes=514 cut=513 solutions=0 attempts=112320 tries=45970 cpu=0.00
B_t38_s1of7 | DEPTH d1:n=1,t=3587 d2:n=513,t=0 | SLICE B_t38_s1of7 DEPTHCUT nodes=514 cut=513 solutions=0 attempts=112320 tries=45970 cpu=0.01
B_t38_s2of7 | DEPTH d1:n=1,t=3587 d2:n=513,t=0 | SLICE B_t38_s2of7 DEPTHCUT nodes=514 cut=513 solutions=0 attempts=112320 tries=45970 cpu=0.01
B_t38_s3of7 | DEPTH d1:n=1,t=3587 d2:n=512,t=0 | SLICE B_t38_s3of7 DEPTHCUT nodes=513 cut=512 solutions=0 attempts=112320 tries=45970 cpu=0.01
B_t38_s4of7 | DEPTH d1:n=1,t=3587 d2:n=512,t=0 | SLICE B_t38_s4of7 DEPTHCUT nodes=513 cut=512 solutions=0 attempts=112320 tries=45970 cpu=0.01
B_t38_s5of7 | DEPTH d1:n=1,t=3587 d2:n=512,t=0 | SLICE B_t38_s5of7 DEPTHCUT nodes=513 cut=512 solutions=0 attempts=112320 tries=45970 cpu=0.01
B_t38_s6of7 | DEPTH d1:n=1,t=3587 d2:n=512,t=0 | SLICE B_t38_s6of7 DEPTHCUT nodes=513 cut=512 solutions=0 attempts=112320 tries=45970 cpu=0.00
B_t22_s0of4 | DEPTH d1:n=1,t=5929 d2:n=1483,t=0 | SLICE B_t22_s0of4 DEPTHCUT nodes=1484 cut=1483 solutions=0 attempts=110400 tries=50646 cpu=0.01
B_t22_s1of4 | DEPTH d1:n=1,t=5929 d2:n=1482,t=0 | SLICE B_t22_s1of4 DEPTHCUT nodes=1483 cut=1482 solutions=0 attempts=110400 tries=50646 cpu=0.01
B_t22_s2of4 | DEPTH d1:n=1,t=5929 d2:n=1482,t=0 | SLICE B_t22_s2of4 DEPTHCUT nodes=1483 cut=1482 solutions=0 attempts=110400 tries=50646 cpu=0.01
B_t22_s3of4 | DEPTH d1:n=1,t=5929 d2:n=1482,t=0 | SLICE B_t22_s3of4 DEPTHCUT nodes=1483 cut=1482 solutions=0 attempts=110400 tries=50646 cpu=0.01
B_t59_s0of6 | DEPTH d1:n=1,t=2208 d2:n=368,t=0 | SLICE B_t59_s0of6 DEPTHCUT nodes=369 cut=368 solutions=0 attempts=112320 tries=28261 cpu=0.00
B_t59_s1of6 | DEPTH d1:n=1,t=2208 d2:n=368,t=0 | SLICE B_t59_s1of6 DEPTHCUT nodes=369 cut=368 solutions=0 attempts=112320 tries=28261 cpu=0.00
B_t59_s2of6 | DEPTH d1:n=1,t=2208 d2:n=368,t=0 | SLICE B_t59_s2of6 DEPTHCUT nodes=369 cut=368 solutions=0 attempts=112320 tries=28261 cpu=0.00
B_t59_s3of6 | DEPTH d1:n=1,t=2208 d2:n=368,t=0 | SLICE B_t59_s3of6 DEPTHCUT nodes=369 cut=368 solutions=0 attempts=112320 tries=28261 cpu=0.00
B_t59_s4of6 | DEPTH d1:n=1,t=2208 d2:n=368,t=0 | SLICE B_t59_s4of6 DEPTHCUT nodes=369 cut=368 solutions=0 attempts=112320 tries=28261 cpu=0.00
B_t59_s5of6 | DEPTH d1:n=1,t=2208 d2:n=368,t=0 | SLICE B_t59_s5of6 DEPTHCUT nodes=369 cut=368 solutions=0 attempts=112320 tries=28261 cpu=0.00
B_t18_s0of6 | DEPTH d1:n=1,t=6468 d2:n=1078,t=0 | SLICE B_t18_s0of6 DEPTHCUT nodes=1079 cut=1078 solutions=0 attempts=110400 tries=55409 cpu=0.01
B_t18_s1of6 | DEPTH d1:n=1,t=6468 d2:n=1078,t=0 | SLICE B_t18_s1of6 DEPTHCUT nodes=1079 cut=1078 solutions=0 attempts=110400 tries=55409 cpu=0.01
B_t18_s2of6 | DEPTH d1:n=1,t=6468 d2:n=1078,t=0 | SLICE B_t18_s2of6 DEPTHCUT nodes=1079 cut=1078 solutions=0 attempts=110400 tries=55409 cpu=0.01
B_t18_s3of6 | DEPTH d1:n=1,t=6468 d2:n=1078,t=0 | SLICE B_t18_s3of6 DEPTHCUT nodes=1079 cut=1078 solutions=0 attempts=110400 tries=55409 cpu=0.01
B_t18_s4of6 | DEPTH d1:n=1,t=6468 d2:n=1078,t=0 | SLICE B_t18_s4of6 DEPTHCUT nodes=1079 cut=1078 solutions=0 attempts=110400 tries=55409 cpu=0.01
B_t18_s5of6 | DEPTH d1:n=1,t=6468 d2:n=1078,t=0 | SLICE B_t18_s5of6 DEPTHCUT nodes=1079 cut=1078 solutions=0 attempts=110400 tries=55409 cpu=0.01
B_t28_s0of6 | DEPTH d1:n=1,t=5310 d2:n=885,t=0 | SLICE B_t28_s0of6 DEPTHCUT nodes=886 cut=885 solutions=0 attempts=112320 tries=57928 cpu=0.01
B_t28_s1of6 | DEPTH d1:n=1,t=5310 d2:n=885,t=0 | SLICE B_t28_s1of6 DEPTHCUT nodes=886 cut=885 solutions=0 attempts=112320 tries=57928 cpu=0.01
B_t28_s2of6 | DEPTH d1:n=1,t=5310 d2:n=885,t=0 | SLICE B_t28_s2of6 DEPTHCUT nodes=886 cut=885 solutions=0 attempts=112320 tries=57928 cpu=0.01
B_t28_s3of6 | DEPTH d1:n=1,t=5310 d2:n=885,t=0 | SLICE B_t28_s3of6 DEPTHCUT nodes=886 cut=885 solutions=0 attempts=112320 tries=57928 cpu=0.01
B_t28_s4of6 | DEPTH d1:n=1,t=5310 d2:n=885,t=0 | SLICE B_t28_s4of6 DEPTHCUT nodes=886 cut=885 solutions=0 attempts=112320 tries=57928 cpu=0.01
B_t28_s5of6 | DEPTH d1:n=1,t=5310 d2:n=885,t=0 | SLICE B_t28_s5of6 DEPTHCUT nodes=886 cut=885 solutions=0 attempts=112320 tries=57928 cpu=0.01
B_t19_s0of14 | DEPTH d1:n=1,t=6351 d2:n=454,t=0 | SLICE B_t19_s0of14 DEPTHCUT nodes=455 cut=454 solutions=0 attempts=112320 tries=66543 cpu=0.01
B_t19_s1of14 | DEPTH d1:n=1,t=6351 d2:n=454,t=0 | SLICE B_t19_s1of14 DEPTHCUT nodes=455 cut=454 solutions=0 attempts=112320 tries=66543 cpu=0.01
B_t19_s2of14 | DEPTH d1:n=1,t=6351 d2:n=454,t=0 | SLICE B_t19_s2of14 DEPTHCUT nodes=455 cut=454 solutions=0 attempts=112320 tries=66543 cpu=0.01
B_t19_s3of14 | DEPTH d1:n=1,t=6351 d2:n=454,t=0 | SLICE B_t19_s3of14 DEPTHCUT nodes=455 cut=454 solutions=0 attempts=112320 tries=66543 cpu=0.01
B_t19_s4of14 | DEPTH d1:n=1,t=6351 d2:n=454,t=0 | SLICE B_t19_s4of14 DEPTHCUT nodes=455 cut=454 solutions=0 attempts=112320 tries=66543 cpu=0.01
B_t19_s5of14 | DEPTH d1:n=1,t=6351 d2:n=454,t=0 | SLICE B_t19_s5of14 DEPTHCUT nodes=455 cut=454 solutions=0 attempts=112320 tries=66543 cpu=0.01
B_t19_s6of14 | DEPTH d1:n=1,t=6351 d2:n=454,t=0 | SLICE B_t19_s6of14 DEPTHCUT nodes=455 cut=454 solutions=0 attempts=112320 tries=66543 cpu=0.01
B_t19_s7of14 | DEPTH d1:n=1,t=6351 d2:n=454,t=0 | SLICE B_t19_s7of14 DEPTHCUT nodes=455 cut=454 solutions=0 attempts=112320 tries=66543 cpu=0.01
B_t19_s8of14 | DEPTH d1:n=1,t=6351 d2:n=454,t=0 | SLICE B_t19_s8of14 DEPTHCUT nodes=455 cut=454 solutions=0 attempts=112320 tries=66543 cpu=0.01
B_t19_s9of14 | DEPTH d1:n=1,t=6351 d2:n=453,t=0 | SLICE B_t19_s9of14 DEPTHCUT nodes=454 cut=453 solutions=0 attempts=112320 tries=66543 cpu=0.01
B_t19_s10of14 | DEPTH d1:n=1,t=6351 d2:n=453,t=0 | SLICE B_t19_s10of14 DEPTHCUT nodes=454 cut=453 solutions=0 attempts=112320 tries=66543 cpu=0.01
B_t19_s11of14 | DEPTH d1:n=1,t=6351 d2:n=453,t=0 | SLICE B_t19_s11of14 DEPTHCUT nodes=454 cut=453 solutions=0 attempts=112320 tries=66543 cpu=0.01
B_t19_s12of14 | DEPTH d1:n=1,t=6351 d2:n=453,t=0 | SLICE B_t19_s12of14 DEPTHCUT nodes=454 cut=453 solutions=0 attempts=112320 tries=66543 cpu=0.01
B_t19_s13of14 | DEPTH d1:n=1,t=6351 d2:n=453,t=0 | SLICE B_t19_s13of14 DEPTHCUT nodes=454 cut=453 solutions=0 attempts=112320 tries=66543 cpu=0.01
B_t27_s0of18 | DEPTH d1:n=1,t=5351 d2:n=298,t=0 | SLICE B_t27_s0of18 DEPTHCUT nodes=299 cut=298 solutions=0 attempts=112320 tries=59067 cpu=0.01
B_t27_s1of18 | DEPTH d1:n=1,t=5351 d2:n=298,t=0 | SLICE B_t27_s1of18 DEPTHCUT nodes=299 cut=298 solutions=0 attempts=112320 tries=59067 cpu=0.01
B_t27_s2of18 | DEPTH d1:n=1,t=5351 d2:n=298,t=0 | SLICE B_t27_s2of18 DEPTHCUT nodes=299 cut=298 solutions=0 attempts=112320 tries=59067 cpu=0.01
B_t27_s3of18 | DEPTH d1:n=1,t=5351 d2:n=298,t=0 | SLICE B_t27_s3of18 DEPTHCUT nodes=299 cut=298 solutions=0 attempts=112320 tries=59067 cpu=0.01
B_t27_s4of18 | DEPTH d1:n=1,t=5351 d2:n=298,t=0 | SLICE B_t27_s4of18 DEPTHCUT nodes=299 cut=298 solutions=0 attempts=112320 tries=59067 cpu=0.01
B_t27_s5of18 | DEPTH d1:n=1,t=5351 d2:n=297,t=0 | SLICE B_t27_s5of18 DEPTHCUT nodes=298 cut=297 solutions=0 attempts=112320 tries=59067 cpu=0.01
B_t27_s6of18 | DEPTH d1:n=1,t=5351 d2:n=297,t=0 | SLICE B_t27_s6of18 DEPTHCUT nodes=298 cut=297 solutions=0 attempts=112320 tries=59067 cpu=0.01
B_t27_s7of18 | DEPTH d1:n=1,t=5351 d2:n=297,t=0 | SLICE B_t27_s7of18 DEPTHCUT nodes=298 cut=297 solutions=0 attempts=112320 tries=59067 cpu=0.01
B_t27_s8of18 | DEPTH d1:n=1,t=5351 d2:n=297,t=0 | SLICE B_t27_s8of18 DEPTHCUT nodes=298 cut=297 solutions=0 attempts=112320 tries=59067 cpu=0.01
B_t27_s9of18 | DEPTH d1:n=1,t=5351 d2:n=297,t=0 | SLICE B_t27_s9of18 DEPTHCUT nodes=298 cut=297 solutions=0 attempts=112320 tries=59067 cpu=0.01
B_t27_s10of18 | DEPTH d1:n=1,t=5351 d2:n=297,t=0 | SLICE B_t27_s10of18 DEPTHCUT nodes=298 cut=297 solutions=0 attempts=112320 tries=59067 cpu=0.01
B_t27_s11of18 | DEPTH d1:n=1,t=5351 d2:n=297,t=0 | SLICE B_t27_s11of18 DEPTHCUT nodes=298 cut=297 solutions=0 attempts=112320 tries=59067 cpu=0.01
B_t27_s12of18 | DEPTH d1:n=1,t=5351 d2:n=297,t=0 | SLICE B_t27_s12of18 DEPTHCUT nodes=298 cut=297 solutions=0 attempts=112320 tries=59067 cpu=0.01
B_t27_s13of18 | DEPTH d1:n=1,t=5351 d2:n=297,t=0 | SLICE B_t27_s13of18 DEPTHCUT nodes=298 cut=297 solutions=0 attempts=112320 tries=59067 cpu=0.01
B_t27_s14of18 | DEPTH d1:n=1,t=5351 d2:n=297,t=0 | SLICE B_t27_s14of18 DEPTHCUT nodes=298 cut=297 solutions=0 attempts=112320 tries=59067 cpu=0.01
B_t27_s15of18 | DEPTH d1:n=1,t=5351 d2:n=297,t=0 | SLICE B_t27_s15of18 DEPTHCUT nodes=298 cut=297 solutions=0 attempts=112320 tries=59067 cpu=0.01
B_t27_s16of18 | DEPTH d1:n=1,t=5351 d2:n=297,t=0 | SLICE B_t27_s16of18 DEPTHCUT nodes=298 cut=297 solutions=0 attempts=112320 tries=59067 cpu=0.01
B_t27_s17of18 | DEPTH d1:n=1,t=5351 d2:n=297,t=0 | SLICE B_t27_s17of18 DEPTHCUT nodes=298 cut=297 solutions=0 attempts=112320 tries=59067 cpu=0.01
B_t13_s0of17 | DEPTH d1:n=1,t=6532 d2:n=385,t=0 | SLICE B_t13_s0of17 DEPTHCUT nodes=386 cut=385 solutions=0 attempts=112320 tries=72594 cpu=0.01
B_t13_s1of17 | DEPTH d1:n=1,t=6532 d2:n=385,t=0 | SLICE B_t13_s1of17 DEPTHCUT nodes=386 cut=385 solutions=0 attempts=112320 tries=72594 cpu=0.01
B_t13_s2of17 | DEPTH d1:n=1,t=6532 d2:n=385,t=0 | SLICE B_t13_s2of17 DEPTHCUT nodes=386 cut=385 solutions=0 attempts=112320 tries=72594 cpu=0.01
B_t13_s3of17 | DEPTH d1:n=1,t=6532 d2:n=385,t=0 | SLICE B_t13_s3of17 DEPTHCUT nodes=386 cut=385 solutions=0 attempts=112320 tries=72594 cpu=0.01
B_t13_s4of17 | DEPTH d1:n=1,t=6532 d2:n=384,t=0 | SLICE B_t13_s4of17 DEPTHCUT nodes=385 cut=384 solutions=0 attempts=112320 tries=72594 cpu=0.01
B_t13_s5of17 | DEPTH d1:n=1,t=6532 d2:n=384,t=0 | SLICE B_t13_s5of17 DEPTHCUT nodes=385 cut=384 solutions=0 attempts=112320 tries=72594 cpu=0.01
B_t13_s6of17 | DEPTH d1:n=1,t=6532 d2:n=384,t=0 | SLICE B_t13_s6of17 DEPTHCUT nodes=385 cut=384 solutions=0 attempts=112320 tries=72594 cpu=0.01
B_t13_s7of17 | DEPTH d1:n=1,t=6532 d2:n=384,t=0 | SLICE B_t13_s7of17 DEPTHCUT nodes=385 cut=384 solutions=0 attempts=112320 tries=72594 cpu=0.01
B_t13_s8of17 | DEPTH d1:n=1,t=6532 d2:n=384,t=0 | SLICE B_t13_s8of17 DEPTHCUT nodes=385 cut=384 solutions=0 attempts=112320 tries=72594 cpu=0.01
B_t13_s9of17 | DEPTH d1:n=1,t=6532 d2:n=384,t=0 | SLICE B_t13_s9of17 DEPTHCUT nodes=385 cut=384 solutions=0 attempts=112320 tries=72594 cpu=0.01
B_t13_s10of17 | DEPTH d1:n=1,t=6532 d2:n=384,t=0 | SLICE B_t13_s10of17 DEPTHCUT nodes=385 cut=384 solutions=0 attempts=112320 tries=72594 cpu=0.01
B_t13_s11of17 | DEPTH d1:n=1,t=6532 d2:n=384,t=0 | SLICE B_t13_s11of17 DEPTHCUT nodes=385 cut=384 solutions=0 attempts=112320 tries=72594 cpu=0.01
B_t13_s12of17 | DEPTH d1:n=1,t=6532 d2:n=384,t=0 | SLICE B_t13_s12of17 DEPTHCUT nodes=385 cut=384 solutions=0 attempts=112320 tries=72594 cpu=0.01
B_t13_s13of17 | DEPTH d1:n=1,t=6532 d2:n=384,t=0 | SLICE B_t13_s13of17 DEPTHCUT nodes=385 cut=384 solutions=0 attempts=112320 tries=72594 cpu=0.01
B_t13_s14of17 | DEPTH d1:n=1,t=6532 d2:n=384,t=0 | SLICE B_t13_s14of17 DEPTHCUT nodes=385 cut=384 solutions=0 attempts=112320 tries=72594 cpu=0.01
B_t13_s15of17 | DEPTH d1:n=1,t=6532 d2:n=384,t=0 | SLICE B_t13_s15of17 DEPTHCUT nodes=385 cut=384 solutions=0 attempts=112320 tries=72594 cpu=0.01
B_t13_s16of17 | DEPTH d1:n=1,t=6532 d2:n=384,t=0 | SLICE B_t13_s16of17 DEPTHCUT nodes=385 cut=384 solutions=0 attempts=112320 tries=72594 cpu=0.01
B_t39_s0of7 | DEPTH d1:n=1,t=5778 d2:n=826,t=0 | SLICE B_t39_s0of7 DEPTHCUT nodes=827 cut=826 solutions=0 attempts=112320 tries=53250 cpu=0.01
B_t39_s1of7 | DEPTH d1:n=1,t=5778 d2:n=826,t=0 | SLICE B_t39_s1of7 DEPTHCUT nodes=827 cut=826 solutions=0 attempts=112320 tries=53250 cpu=0.01
B_t39_s2of7 | DEPTH d1:n=1,t=5778 d2:n=826,t=0 | SLICE B_t39_s2of7 DEPTHCUT nodes=827 cut=826 solutions=0 attempts=112320 tries=53250 cpu=0.01
B_t39_s3of7 | DEPTH d1:n=1,t=5778 d2:n=825,t=0 | SLICE B_t39_s3of7 DEPTHCUT nodes=826 cut=825 solutions=0 attempts=112320 tries=53250 cpu=0.01
B_t39_s4of7 | DEPTH d1:n=1,t=5778 d2:n=825,t=0 | SLICE B_t39_s4of7 DEPTHCUT nodes=826 cut=825 solutions=0 attempts=112320 tries=53250 cpu=0.01
B_t39_s5of7 | DEPTH d1:n=1,t=5778 d2:n=825,t=0 | SLICE B_t39_s5of7 DEPTHCUT nodes=826 cut=825 solutions=0 attempts=112320 tries=53250 cpu=0.01
B_t39_s6of7 | DEPTH d1:n=1,t=5778 d2:n=825,t=0 | SLICE B_t39_s6of7 DEPTHCUT nodes=826 cut=825 solutions=0 attempts=112320 tries=53250 cpu=0.01
B_t61_s0of5 | DEPTH d1:n=1,t=3048 d2:n=610,t=0 | SLICE B_t61_s0of5 DEPTHCUT nodes=611 cut=610 solutions=0 attempts=112320 tries=34659 cpu=0.00
B_t61_s1of5 | DEPTH d1:n=1,t=3048 d2:n=610,t=0 | SLICE B_t61_s1of5 DEPTHCUT nodes=611 cut=610 solutions=0 attempts=112320 tries=34659 cpu=0.00
B_t61_s2of5 | DEPTH d1:n=1,t=3048 d2:n=610,t=0 | SLICE B_t61_s2of5 DEPTHCUT nodes=611 cut=610 solutions=0 attempts=112320 tries=34659 cpu=0.00
B_t61_s3of5 | DEPTH d1:n=1,t=3048 d2:n=609,t=0 | SLICE B_t61_s3of5 DEPTHCUT nodes=610 cut=609 solutions=0 attempts=112320 tries=34659 cpu=0.00
B_t61_s4of5 | DEPTH d1:n=1,t=3048 d2:n=609,t=0 | SLICE B_t61_s4of5 DEPTHCUT nodes=610 cut=609 solutions=0 attempts=112320 tries=34659 cpu=0.00
B_t20_s0of5 | DEPTH d1:n=1,t=6803 d2:n=1361,t=0 | SLICE B_t20_s0of5 DEPTHCUT nodes=1362 cut=1361 solutions=0 attempts=112320 tries=64990 cpu=0.01
B_t20_s1of5 | DEPTH d1:n=1,t=6803 d2:n=1361,t=0 | SLICE B_t20_s1of5 DEPTHCUT nodes=1362 cut=1361 solutions=0 attempts=112320 tries=64990 cpu=0.01
B_t20_s2of5 | DEPTH d1:n=1,t=6803 d2:n=1361,t=0 | SLICE B_t20_s2of5 DEPTHCUT nodes=1362 cut=1361 solutions=0 attempts=112320 tries=64990 cpu=0.01
B_t20_s3of5 | DEPTH d1:n=1,t=6803 d2:n=1360,t=0 | SLICE B_t20_s3of5 DEPTHCUT nodes=1361 cut=1360 solutions=0 attempts=112320 tries=64990 cpu=0.01
B_t20_s4of5 | DEPTH d1:n=1,t=6803 d2:n=1360,t=0 | SLICE B_t20_s4of5 DEPTHCUT nodes=1361 cut=1360 solutions=0 attempts=112320 tries=64990 cpu=0.01
B_t49_s0of4 | DEPTH d1:n=1,t=2630 d2:n=658,t=0 | SLICE B_t49_s0of4 DEPTHCUT nodes=659 cut=658 solutions=0 attempts=112320 tries=39537 cpu=0.00
B_t49_s1of4 | DEPTH d1:n=1,t=2630 d2:n=658,t=0 | SLICE B_t49_s1of4 DEPTHCUT nodes=659 cut=658 solutions=0 attempts=112320 tries=39537 cpu=0.00
B_t49_s2of4 | DEPTH d1:n=1,t=2630 d2:n=657,t=0 | SLICE B_t49_s2of4 DEPTHCUT nodes=658 cut=657 solutions=0 attempts=112320 tries=39537 cpu=0.00
B_t49_s3of4 | DEPTH d1:n=1,t=2630 d2:n=657,t=0 | SLICE B_t49_s3of4 DEPTHCUT nodes=658 cut=657 solutions=0 attempts=112320 tries=39537 cpu=0.00
B_t45_s0of9 | DEPTH d1:n=1,t=3000 d2:n=334,t=0 | SLICE B_t45_s0of9 DEPTHCUT nodes=335 cut=334 solutions=0 attempts=112320 tries=39806 cpu=0.00
B_t45_s1of9 | DEPTH d1:n=1,t=3000 d2:n=334,t=0 | SLICE B_t45_s1of9 DEPTHCUT nodes=335 cut=334 solutions=0 attempts=112320 tries=39806 cpu=0.00
B_t45_s2of9 | DEPTH d1:n=1,t=3000 d2:n=334,t=0 | SLICE B_t45_s2of9 DEPTHCUT nodes=335 cut=334 solutions=0 attempts=112320 tries=39806 cpu=0.00
B_t45_s3of9 | DEPTH d1:n=1,t=3000 d2:n=333,t=0 | SLICE B_t45_s3of9 DEPTHCUT nodes=334 cut=333 solutions=0 attempts=112320 tries=39806 cpu=0.00
B_t45_s4of9 | DEPTH d1:n=1,t=3000 d2:n=333,t=0 | SLICE B_t45_s4of9 DEPTHCUT nodes=334 cut=333 solutions=0 attempts=112320 tries=39806 cpu=0.00
B_t45_s5of9 | DEPTH d1:n=1,t=3000 d2:n=333,t=0 | SLICE B_t45_s5of9 DEPTHCUT nodes=334 cut=333 solutions=0 attempts=112320 tries=39806 cpu=0.00
B_t45_s6of9 | DEPTH d1:n=1,t=3000 d2:n=333,t=0 | SLICE B_t45_s6of9 DEPTHCUT nodes=334 cut=333 solutions=0 attempts=112320 tries=39806 cpu=0.00
B_t45_s7of9 | DEPTH d1:n=1,t=3000 d2:n=333,t=0 | SLICE B_t45_s7of9 DEPTHCUT nodes=334 cut=333 solutions=0 attempts=112320 tries=39806 cpu=0.00
B_t45_s8of9 | DEPTH d1:n=1,t=3000 d2:n=333,t=0 | SLICE B_t45_s8of9 DEPTHCUT nodes=334 cut=333 solutions=0 attempts=112320 tries=39806 cpu=0.00
B_t33_s0of12 | DEPTH d1:n=1,t=6786 d2:n=566,t=0 | SLICE B_t33_s0of12 DEPTHCUT nodes=567 cut=566 solutions=0 attempts=112320 tries=60914 cpu=0.01
B_t33_s1of12 | DEPTH d1:n=1,t=6786 d2:n=566,t=0 | SLICE B_t33_s1of12 DEPTHCUT nodes=567 cut=566 solutions=0 attempts=112320 tries=60914 cpu=0.01
B_t33_s2of12 | DEPTH d1:n=1,t=6786 d2:n=566,t=0 | SLICE B_t33_s2of12 DEPTHCUT nodes=567 cut=566 solutions=0 attempts=112320 tries=60914 cpu=0.01
B_t33_s3of12 | DEPTH d1:n=1,t=6786 d2:n=566,t=0 | SLICE B_t33_s3of12 DEPTHCUT nodes=567 cut=566 solutions=0 attempts=112320 tries=60914 cpu=0.01
B_t33_s4of12 | DEPTH d1:n=1,t=6786 d2:n=566,t=0 | SLICE B_t33_s4of12 DEPTHCUT nodes=567 cut=566 solutions=0 attempts=112320 tries=60914 cpu=0.01
B_t33_s5of12 | DEPTH d1:n=1,t=6786 d2:n=566,t=0 | SLICE B_t33_s5of12 DEPTHCUT nodes=567 cut=566 solutions=0 attempts=112320 tries=60914 cpu=0.01
B_t33_s6of12 | DEPTH d1:n=1,t=6786 d2:n=565,t=0 | SLICE B_t33_s6of12 DEPTHCUT nodes=566 cut=565 solutions=0 attempts=112320 tries=60914 cpu=0.01
B_t33_s7of12 | DEPTH d1:n=1,t=6786 d2:n=565,t=0 | SLICE B_t33_s7of12 DEPTHCUT nodes=566 cut=565 solutions=0 attempts=112320 tries=60914 cpu=0.01
B_t33_s8of12 | DEPTH d1:n=1,t=6786 d2:n=565,t=0 | SLICE B_t33_s8of12 DEPTHCUT nodes=566 cut=565 solutions=0 attempts=112320 tries=60914 cpu=0.01
B_t33_s9of12 | DEPTH d1:n=1,t=6786 d2:n=565,t=0 | SLICE B_t33_s9of12 DEPTHCUT nodes=566 cut=565 solutions=0 attempts=112320 tries=60914 cpu=0.01
B_t33_s10of12 | DEPTH d1:n=1,t=6786 d2:n=565,t=0 | SLICE B_t33_s10of12 DEPTHCUT nodes=566 cut=565 solutions=0 attempts=112320 tries=60914 cpu=0.01
B_t33_s11of12 | DEPTH d1:n=1,t=6786 d2:n=565,t=0 | SLICE B_t33_s11of12 DEPTHCUT nodes=566 cut=565 solutions=0 attempts=112320 tries=60914 cpu=0.01
B_t44_s0of4 | DEPTH d1:n=1,t=3050 d2:n=763,t=0 | SLICE B_t44_s0of4 DEPTHCUT nodes=764 cut=763 solutions=0 attempts=112320 tries=44485 cpu=0.00
B_t44_s1of4 | DEPTH d1:n=1,t=3050 d2:n=763,t=0 | SLICE B_t44_s1of4 DEPTHCUT nodes=764 cut=763 solutions=0 attempts=112320 tries=44485 cpu=0.00
B_t44_s2of4 | DEPTH d1:n=1,t=3050 d2:n=762,t=0 | SLICE B_t44_s2of4 DEPTHCUT nodes=763 cut=762 solutions=0 attempts=112320 tries=44485 cpu=0.00
B_t44_s3of4 | DEPTH d1:n=1,t=3050 d2:n=762,t=0 | SLICE B_t44_s3of4 DEPTHCUT nodes=763 cut=762 solutions=0 attempts=112320 tries=44485 cpu=0.00
B_t48_s0of1 | DEPTH d1:n=1,t=3398 d2:n=3398,t=0 | SLICE B_t48_s0of1 DEPTHCUT nodes=3399 cut=3398 solutions=0 attempts=112320 tries=41048 cpu=0.00
B_t40_s0of2 | DEPTH d1:n=1,t=3689 d2:n=1845,t=0 | SLICE B_t40_s0of2 DEPTHCUT nodes=1846 cut=1845 solutions=0 attempts=112320 tries=44261 cpu=0.00
B_t40_s1of2 | DEPTH d1:n=1,t=3689 d2:n=1844,t=0 | SLICE B_t40_s1of2 DEPTHCUT nodes=1845 cut=1844 solutions=0 attempts=112320 tries=44261 cpu=0.00
B_t16_s0of14 | DEPTH d1:n=1,t=6590 d2:n=471,t=0 | SLICE B_t16_s0of14 DEPTHCUT nodes=472 cut=471 solutions=0 attempts=112320 tries=69855 cpu=0.01
B_t16_s1of14 | DEPTH d1:n=1,t=6590 d2:n=471,t=0 | SLICE B_t16_s1of14 DEPTHCUT nodes=472 cut=471 solutions=0 attempts=112320 tries=69855 cpu=0.01
B_t16_s2of14 | DEPTH d1:n=1,t=6590 d2:n=471,t=0 | SLICE B_t16_s2of14 DEPTHCUT nodes=472 cut=471 solutions=0 attempts=112320 tries=69855 cpu=0.01
B_t16_s3of14 | DEPTH d1:n=1,t=6590 d2:n=471,t=0 | SLICE B_t16_s3of14 DEPTHCUT nodes=472 cut=471 solutions=0 attempts=112320 tries=69855 cpu=0.01
B_t16_s4of14 | DEPTH d1:n=1,t=6590 d2:n=471,t=0 | SLICE B_t16_s4of14 DEPTHCUT nodes=472 cut=471 solutions=0 attempts=112320 tries=69855 cpu=0.01
B_t16_s5of14 | DEPTH d1:n=1,t=6590 d2:n=471,t=0 | SLICE B_t16_s5of14 DEPTHCUT nodes=472 cut=471 solutions=0 attempts=112320 tries=69855 cpu=0.01
B_t16_s6of14 | DEPTH d1:n=1,t=6590 d2:n=471,t=0 | SLICE B_t16_s6of14 DEPTHCUT nodes=472 cut=471 solutions=0 attempts=112320 tries=69855 cpu=0.01
B_t16_s7of14 | DEPTH d1:n=1,t=6590 d2:n=471,t=0 | SLICE B_t16_s7of14 DEPTHCUT nodes=472 cut=471 solutions=0 attempts=112320 tries=69855 cpu=0.01
B_t16_s8of14 | DEPTH d1:n=1,t=6590 d2:n=471,t=0 | SLICE B_t16_s8of14 DEPTHCUT nodes=472 cut=471 solutions=0 attempts=112320 tries=69855 cpu=0.01
B_t16_s9of14 | DEPTH d1:n=1,t=6590 d2:n=471,t=0 | SLICE B_t16_s9of14 DEPTHCUT nodes=472 cut=471 solutions=0 attempts=112320 tries=69855 cpu=0.01
B_t16_s10of14 | DEPTH d1:n=1,t=6590 d2:n=470,t=0 | SLICE B_t16_s10of14 DEPTHCUT nodes=471 cut=470 solutions=0 attempts=112320 tries=69855 cpu=0.01
B_t16_s11of14 | DEPTH d1:n=1,t=6590 d2:n=470,t=0 | SLICE B_t16_s11of14 DEPTHCUT nodes=471 cut=470 solutions=0 attempts=112320 tries=69855 cpu=0.01
B_t16_s12of14 | DEPTH d1:n=1,t=6590 d2:n=470,t=0 | SLICE B_t16_s12of14 DEPTHCUT nodes=471 cut=470 solutions=0 attempts=112320 tries=69855 cpu=0.01
B_t16_s13of14 | DEPTH d1:n=1,t=6590 d2:n=470,t=0 | SLICE B_t16_s13of14 DEPTHCUT nodes=471 cut=470 solutions=0 attempts=112320 tries=69855 cpu=0.01
B_t24_s0of17 | DEPTH d1:n=1,t=5303 d2:n=312,t=0 | SLICE B_t24_s0of17 DEPTHCUT nodes=313 cut=312 solutions=0 attempts=112320 tries=58995 cpu=0.01
B_t24_s1of17 | DEPTH d1:n=1,t=5303 d2:n=312,t=0 | SLICE B_t24_s1of17 DEPTHCUT nodes=313 cut=312 solutions=0 attempts=112320 tries=58995 cpu=0.01
B_t24_s2of17 | DEPTH d1:n=1,t=5303 d2:n=312,t=0 | SLICE B_t24_s2of17 DEPTHCUT nodes=313 cut=312 solutions=0 attempts=112320 tries=58995 cpu=0.01
B_t24_s3of17 | DEPTH d1:n=1,t=5303 d2:n=312,t=0 | SLICE B_t24_s3of17 DEPTHCUT nodes=313 cut=312 solutions=0 attempts=112320 tries=58995 cpu=0.01
B_t24_s4of17 | DEPTH d1:n=1,t=5303 d2:n=312,t=0 | SLICE B_t24_s4of17 DEPTHCUT nodes=313 cut=312 solutions=0 attempts=112320 tries=58995 cpu=0.01
B_t24_s5of17 | DEPTH d1:n=1,t=5303 d2:n=312,t=0 | SLICE B_t24_s5of17 DEPTHCUT nodes=313 cut=312 solutions=0 attempts=112320 tries=58995 cpu=0.01
B_t24_s6of17 | DEPTH d1:n=1,t=5303 d2:n=312,t=0 | SLICE B_t24_s6of17 DEPTHCUT nodes=313 cut=312 solutions=0 attempts=112320 tries=58995 cpu=0.01
B_t24_s7of17 | DEPTH d1:n=1,t=5303 d2:n=312,t=0 | SLICE B_t24_s7of17 DEPTHCUT nodes=313 cut=312 solutions=0 attempts=112320 tries=58995 cpu=0.01
B_t24_s8of17 | DEPTH d1:n=1,t=5303 d2:n=312,t=0 | SLICE B_t24_s8of17 DEPTHCUT nodes=313 cut=312 solutions=0 attempts=112320 tries=58995 cpu=0.01
B_t24_s9of17 | DEPTH d1:n=1,t=5303 d2:n=312,t=0 | SLICE B_t24_s9of17 DEPTHCUT nodes=313 cut=312 solutions=0 attempts=112320 tries=58995 cpu=0.01
B_t24_s10of17 | DEPTH d1:n=1,t=5303 d2:n=312,t=0 | SLICE B_t24_s10of17 DEPTHCUT nodes=313 cut=312 solutions=0 attempts=112320 tries=58995 cpu=0.01
B_t24_s11of17 | DEPTH d1:n=1,t=5303 d2:n=312,t=0 | SLICE B_t24_s11of17 DEPTHCUT nodes=313 cut=312 solutions=0 attempts=112320 tries=58995 cpu=0.01
B_t24_s12of17 | DEPTH d1:n=1,t=5303 d2:n=312,t=0 | SLICE B_t24_s12of17 DEPTHCUT nodes=313 cut=312 solutions=0 attempts=112320 tries=58995 cpu=0.01
B_t24_s13of17 | DEPTH d1:n=1,t=5303 d2:n=312,t=0 | SLICE B_t24_s13of17 DEPTHCUT nodes=313 cut=312 solutions=0 attempts=112320 tries=58995 cpu=0.01
B_t24_s14of17 | DEPTH d1:n=1,t=5303 d2:n=312,t=0 | SLICE B_t24_s14of17 DEPTHCUT nodes=313 cut=312 solutions=0 attempts=112320 tries=58995 cpu=0.01
B_t24_s15of17 | DEPTH d1:n=1,t=5303 d2:n=312,t=0 | SLICE B_t24_s15of17 DEPTHCUT nodes=313 cut=312 solutions=0 attempts=112320 tries=58995 cpu=0.01
B_t24_s16of17 | DEPTH d1:n=1,t=5303 d2:n=311,t=0 | SLICE B_t24_s16of17 DEPTHCUT nodes=312 cut=311 solutions=0 attempts=112320 tries=58995 cpu=0.01
B_t50_s0of4 | DEPTH d1:n=1,t=5204 d2:n=1301,t=0 | SLICE B_t50_s0of4 DEPTHCUT nodes=1302 cut=1301 solutions=0 attempts=112320 tries=48053 cpu=0.00
B_t50_s1of4 | DEPTH d1:n=1,t=5204 d2:n=1301,t=0 | SLICE B_t50_s1of4 DEPTHCUT nodes=1302 cut=1301 solutions=0 attempts=112320 tries=48053 cpu=0.00
B_t50_s2of4 | DEPTH d1:n=1,t=5204 d2:n=1301,t=0 | SLICE B_t50_s2of4 DEPTHCUT nodes=1302 cut=1301 solutions=0 attempts=112320 tries=48053 cpu=0.00
B_t50_s3of4 | DEPTH d1:n=1,t=5204 d2:n=1301,t=0 | SLICE B_t50_s3of4 DEPTHCUT nodes=1302 cut=1301 solutions=0 attempts=112320 tries=48053 cpu=0.00
ALLDONE
