a b c d e f g h
1 O O O O O * Black
2 O O O O O O *
3 O O * * O O O * (*) 12 discs
4 O O * O O O * *
5 O O O O O O * * White
6 O O O O *
7 O * 32 discs
8
--> 8 +34.28 34817 c1 b1 g7 f7 f8 0.0 s 2176063 nps
[33,35]: c1<34 a2>34
--> 20 +38 @ 99% 5965075 a2 b1 c1 b6 c7 0.8 s 7796465 nps
[37,39]: a2=38 c1 d8
[37,39]: a2=38 c1 d8 b1 c7 a6 f7 d7
--> 20 +38 19182835 a2 b1 c1 b6 c7 2.4 s 8025955 nps
PV: a2 b1 c1 -- b6 c7 a7 b7 b8 d7 f8 c6 f7 g7
a b c d e f g h
1 O O O O O Black
2 O O O O *
3 O O O O O O (*) 14 discs
4 * * * * * O O
5 * * O O * White
6 O O * O * *
7 O * * O 28 discs
8 O O O O
--> 10 +0.20 113728 h4 a3 a2 h5 h6 0.1 s 1805206 nps
--> 22 Draw @ 98% 5938432 h4 a3 a2 g6 g5 0.8 s 7171153 nps
[-1,1]: h4
--> 22 Draw @ 99% 10149477 h4 a3 a2 g6 g5 1.4 s 7467793 nps
[-1,1]: h4
--> 22 +0 20829655 h4 a3 a2 g6 g5 3.2 s 6599808 nps
PV: h4 a3 a2 g6 g5 h5 f8 e8 h6 g7 h2 a5 a7 h3 h1 g1
a b c d e f g h
1 O O O Black
2 * * O
3 O O O O O * O O (*) 9 discs
4 O O O O * O O
5 * O O O * * O White
6 O O * O O
7 O O O * O 33 discs
8 O O O O
--> 10 +2.91 103474 c6 c7 a4 a6 b5 0.0 s 2155708 nps
[1,3]: c6<2 a4 g2=2
--> 22 +6 @ 95% 6888293 g2 0.8 s 8471643 nps
[5,7]: g2=6 c6
--> 22 +6 @ 99% 15451036 g2 h1 c2 g1 f1 1.8 s 8521888 nps
[5,7]: g2
--> 22 +6 28561728 g2 h1 c2 g1 f1 3.6 s 7911617 nps
PV: g2 h1 c2 g1 f1 d2 b2 a2 b6 c6 b5 a4 a6 g8 a1 b1
a b c d e f g h
1 * * * * * Black
2 * * * *
3 O O O * * 26 discs
4 O O * * * *
5 O O * * * O White
6 O O O O * O O
7 * O * (O) 15 discs
8 * * * * *
--> 11 -3.73 234534 c7 h4 h5 b8 h3 0.1 s 2132127 nps
--> 23 -8 @ 95% 3845780 c7 0.5 s 7241160 nps
[-11,-9]: c7<-10 g3
--> 23 -12 @ 99% 12357022 c7 h4 h5 b8 b7 1.7 s 7390121 nps
[-13,-11]: c7
--> 23 -12 23783608 c7 h4 h5 b8 b7 3.9 s 6162993 nps
PV: c7 h4 h5 b8 b7 a8 a7 a5 h3 a4 g3 h6 a3 h2 g7 a2
a b c d e f g h
1 O * O Black
2 O * O O
3 O O * * * O O 20 discs
4 O O O O * * * O
5 O O O O * * White
6 * * O O * O
7 * * * * (O) 21 discs
8 * * *
--> 11 -9.46 153996 d2 g5 b8 a3 b7 0.1 s 1949316 nps
--> 23 -12 @ 91% 3790218 d2 0.6 s 6063379 nps
[-13,-11]: d2<-12 f1 b8 a7 g2 g6
--> 23 -14 @ 98% 13140223 d2 g5 b8 a3 b7 2.0 s 6418945 nps
[-15,-13]: d2
--> 23 -14 22312274 d2 g5 b8 a3 b7 3.7 s 5949781 nps
PV: d2 g5 b8 a3 b7 a8 a7 c8 g7 g8 h6 h5 g6 f1 d1 h1 g2
a b c d e f g h
1 * * * * Black
2 * * * * O
3 * * O * O O (*) 22 discs
4 * * * O * O
5 * * O * * O White
6 O * * * O O
7 O O O O O 18 discs
8 O O
[-inf,inf]: b2=1.15 g2=1.64
[-inf,inf]: g2=2.48 b2=3.67
--> 12 +2.10 604220 b2 c1 b1 b7 g5 0.3 s 1751362 nps
[3,5]: b2<4 g2>4
--> 24 +6 @ 57% 904637 g2 0.4 s 2069634 nps
[3,5]: g2<4 b2
[3,5]: g2<4 b2>4
--> 24 +6 @ 91% 20883506 b2 2.3 s 9032268 nps
[5,7]: b2
--> 24 +6 @ 95% 29539785 b2 3.2 s 9133850 nps
[5,7]: b2
--> 24 +6 @ 98% 58269139 b2 c1 g5 h6 g4 6.1 s 9513173 nps
[5,7]: b2
--> 24 +6 @ 99% 100602k b2 c1 g5 h6 g4 10.7 s 9426637 nps
[5,7]: b2
[5,7]: b2=6 g2 g5 h6 g7
[5,7]: b2=6 g2 g5 h6 g7 g4 h7 d8 g8 c8 g3 b8 a6
--> 24 +6 469358k b2 c1 g5 h6 g4 58.7 s 7993272 nps
PV: b2 c1 g5 h6 g4 h3 b1 g3 h5 h4 g2 a6 a8 a1
a b c d e f g h
1 * * * Black
2 O O O *
3 O O O * * (*) 21 discs
4 O O O O * * *
5 O O O O * * White
6 O * O * * *
7 * * O O 19 discs
8 * * * * O
[-inf,inf]: b7=-11.27 b3=-9.53
[-inf,inf]: b3=-7.45 b7=-5.84
--> 12 -7.73 432919 b7 g7 a4 a3 a2 0.2 s 2122152 nps
[-9,-7]: b7<-8 b3=-8
--> 24 -8 @ 95% 8098390 b3 1.2 s 6562183 nps
[-9,-7]: b3
[-9,-7]: b3=-8 b7 c1 a3
--> 24 -8 @ 99% 26684825 b3 c1 b1 a3 b2 3.6 s 7424620 nps
[-9,-7]: b3
--> 24 -8 66425681 b3 c1 b1 a3 b2 9.9 s 6684614 nps
PV: b3 c1 b1 a3 b2 h3 a5 a4 a2 h7 g7 g2 g1 h1 h2 a1 h8
a b c d e f g h
1 O O O O O Black
2 O O O O
3 O O O O * 17 discs
4 * * * * * *
5 O * O O * White
6 O O O * O *
7 O O * * (O) 22 discs
8 * * * *
--> 13 +6.64 146962 g2 b8 b7 a2 a5 0.1 s 2296281 nps
--> 25 +4 @ 99% 6785439 g2 b8 b7 a2 a5 0.8 s 8038667 nps
[3,5]: g2
--> 25 +4 23590195 g2 b8 b7 a2 a5 4.0 s 5919599 nps
PV: g2 b8 b7 a2 a5 b2 g3 h3 a1 a3 h2 h1 g1 g4 h5 h4 g5 a8
a b c d e f g h
1 * Black
2 * * * *
3 * * * * O O 27 discs
4 * O * O O * *
5 * O O * * * White
6 * O O * *
7 O O O * (O) 12 discs
8 * * * * * *
--> 13 +16.63 514664 f6 g5 f2 g3 g6 0.2 s 2190060 nps
--> 25 +22 @ 91% 5165014 f6 0.8 s 6118960 nps
[21,23]: f6
--> 25 +24 @ 95% 10469007 f6 1.5 s 7204602 nps
[23,25]: f6
[25,27]: f6
--> 25 +28 @ 98% 59252680 f6 7.1 s 8390235 nps
[27,29]: f6
--> 25 +28 @ 99% 66051161 f6 g5 g3 f2 h4 8.0 s 8239813 nps
[27,29]: f6
[27,29]: f6=28 g6 g3 h3
--> 25 +28 361879k f6 g5 g3 f2 h4 53.3 s 6793802 nps
PV: f6 g5 g3 f2 h4 h5 h3 g6 g2 a7 h6 g7 d1 c1 b1 e1 g1 b7
a b c d e f g h
1 O * O Black
2 * * O O
3 O O O O O * * (*) 13 discs
4 O O O O O *
5 O O O * O * * White
6 O O O O * *
7 O O * 25 discs
8 * O
--> 14 +9.89 607071 e1 g6 b2 h5 a2 0.3 s 2282222 nps
--> 26 +12 @ 72% 6690760 e1 0.9 s 7139857 nps
[11,13]: e1
--> 26 +14 @ 91% 38799150 e1 4.3 s 9096891 nps
[13,15]: e1
--> 26 +14 @ 95% 58096521 e1 6.3 s 9273040 nps
[13,15]: e1
--> 26 +14 @ 98% 92933218 e1 h4 g6 g4 b2 10.0 s 9323062 nps
[13,15]: e1
--> 26 +16 @ 99% 167068k e1 h4 g6 g4 h5 18.7 s 8932653 nps
[15,17]: e1
--> 26 +16 380600k e1 h4 g6 g4 h5 48.5 s 7850001 nps
PV: e1 h4 g6 g4 h5 h6 b2 f8 d8 b8 c7 h3 g2 a1 b1 h2 h1 g1 h7
a b c d e f g h
1 * Black
2 * * *
3 O O O * O O O (*) 12 discs
4 O O O * O O O
5 O * O * O * O White
6 O O * * O O O
7 O O * O 26 discs
8 O O
--> 14 +6.26 1339901 d8 e8 h7 h8 f2 0.6 s 2375711 nps
--> 26 +6 @ 83% 6440480 d8 1.1 s 5724362 nps
[5,7]: d8
--> 26 +8 @ 95% 15818531 d8 2.0 s 7727288 nps
[7,9]: d8
--> 26 +10 @ 98% 26519840 d8 e8 g8 h8 f2 3.2 s 8402725 nps
[9,11]: d8=10 h7
--> 26 +10 @ 99% 52971217 d8 e8 g8 h8 f2 5.9 s 8944668 nps
[9,11]: d8
[9,11]: d8=10 h7
[9,11]: d8=10 h7 a4 a6
[9,11]: d8=10 h7 a4 a6 b2 g2
[9,11]: d8=10 h7 a4 a6 b2 g2 g7 h2 a5
--> 26 +10 2056876k d8 e8 g8 h8 f2 293.9 s 6999150 nps
PV: d8 e8 g8 h8 f2 g7 b7 a7 a6 a5 a2 a3 a8 b8
a b c d e f g h
1 O * Black
2 *
3 * * * O 18 discs
4 O * * * * * O O
5 * * O O * O O White
6 * * O * * * O O
7 O O O O O (O) 19 discs
8 O O
[-inf,inf]: e2=5.41 a3=5.95
[-inf,inf]: a3=6.46 e2=9.87
--> 15 +7.34 559960 e2 h2 g7 h8 h3 0.3 s 1702006 nps
[5,7]: e2<6 a3>6
[5,7]: a3<6 e2>6
--> 27 +10 @ 72% 5798280 e2 1.0 s 5989340 nps
[7,9]: e2
--> 27 +10 @ 91% 13602865 e2 1.9 s 7077085 nps
[9,11]: e2
--> 27 +8 @ 95% 18513499 e2 2.5 s 7360940 nps
[7,9]: e2<8 a3
[5,7]: e2
--> 27 +6 @ 98% 70865161 e2 h2 g7 f1 h1 9.0 s 7915154 nps
[5,7]: e2=6 a3
--> 27 +6 @ 99% 120187k e2 h2 g7 f1 h1 15.4 s 7801250 nps
[5,7]: e2
[5,7]: e2=6 a3 f1 g7
--> 27 +6 323064k e2 h2 g7 f1 h1 51.5 s 6267350 nps
PV: e2 h2 g7 f1 h1 h3 d1 c8 g2 h8 g8 d8 a5 a3 b3 a2 c3 c2 b2
a b c d e f g h
1 * Black
2 O * *
3 * O O * * * 27 discs
4 * * * O * * * *
5 * * * O O * * * White
6 * * * O O O * *
7 * O * (O) 10 discs
8
[-inf,inf]: e1=0.54 a3 f1 b3 f2=1.13
[-inf,inf]: f2=2.02 e1=2.67
[-inf,inf]: f2=2.02 e1=2.67 a3=3.39
--> 15 +2.16 841054 a3 f2 b3 c1 e1 0.4 s 2236846 nps
[1,3]: a3<2 e1>2
--> 27 +2 @ 72% 5852868 e1 1.0 s 5589598 nps
[1,3]: e1=2 a3
--> 27 +2 @ 83% 10520735 e1 1.7 s 6123471 nps
[1,3]: e1=2 a3 f2
--> 27 +2 @ 91% 16289539 e1 2.5 s 6476696 nps
[1,3]: e1<2 a3 f2
--> 27 Draw @ 95% 42797333 e1 6.3 s 6780205 nps
[-1,1]: e1
--> 27 Draw @ 98% 85612924 e1 f1 f2 c8 b3 12.0 s 7106517 nps
[-1,1]: e1
[-1,1]: e1<0 a3
[-1,1]: e1<0 a3=0
--> 27 Draw @ 99% 209320k a3 f2 e1 f1 c2 29.8 s 7032405 nps
[-1,1]: a3
[-1,1]: a3=0 e1 f2 f1 b3 b8 g2 b2 a7 b7
--> 27 +0 342659k a3 f2 e1 f1 c2 54.9 s 6240811 nps
PV: a3 f2 e1 f1 c2 b1 b3 c1 g2 a2 g7 e8 b7 e7 b8 h8 c8 f7 g8
a b c d e f g h
1 O O Black
2 O O O
3 * * * * O O O (*) 16 discs
4 * * O O * O
5 * * * * * O O White
6 O O O * O O
7 * O * O 20 discs
8 *
[-inf,inf]: d8=-5.51 g1 b6 c1 g7 e8=-3.50
[-inf,inf]: e8=-3.05 d8=-2.13
[-inf,inf]: d8=-4.24 e8=-3.94
--> 16 -3.03 1528591 e8 c8 d7 a3 g1 0.7 s 2271309 nps
[-3,-1]: e8
--> 28 -4 @ 19% 18910681 e8 2.4 s 7908779 nps
[-3,-1]: e8<-2 d8
[-3,-1]: e8<-2 d8=-2
--> 28 -2 @ 57% 29154332 d8 3.8 s 7741253 nps
[-3,-1]: d8
--> 28 -4 @ 72% 52775728 d8 6.5 s 8060932 nps
[-5,-3]: d8
--> 28 -2 @ 83% 76383841 d8 9.4 s 8120671 nps
[-3,-1]: d8
--> 28 -2 @ 91% 170367k d8 20.3 s 8413146 nps
[-3,-1]: d8
--> 28 Draw @ 95% 379884k d8 44.5 s 8545723 nps
[-1,1]: d8<0 e8 c1
[-3,-1]: d8=-2 e8
--> 28 -2 @ 98% 924967k d8 b6 a5 c2 d7 108.2 s 8549619 nps
[-3,-1]: d8=-2 e8 c1
--> 28 -2 @ 99% 1391952k d8 b6 a5 c2 d7 166.5 s 8361622 nps
[-3,-1]: d8
[-3,-1]: d8=-2 e8 c1 g1 b6 g7
--> 28 -2 2966001k d8 b6 a5 c2 d7 430.3 s 6892657 nps
PV: d8 b6 a5 c2 d7 a3 g2 e8 b4 c8 c1 g8 d1 h1 a4 a6
a b c d e f g h
1 O O O Black
2 * * O O
3 * * * * O O O O (*) 18 discs
4 * * * * O *
5 * * * O * * White
6 * * O O O
7 O O O 18 discs
8 O
[-inf,inf]: f2=-3.01 f8=-2.67
[-inf,inf]: f8=-0.69 f2=0.38
[-inf,inf]: f2=-5.00 f8=-4.24
--> 16 -1.08 900448 f8 g4 c7 f6 g5 0.4 s 2128719 nps
--> 28 Draw @ 72% 7549516 f8 1.2 s 6117426 nps
[-1,1]: f8
[-3,-1]: f8
--> 28 -2 @ 83% 26817666 f8 3.5 s 7697157 nps
[-3,-1]: f8
[-3,-1]: f8=-2 f2
--> 28 -2 @ 91% 71591942 f8 8.4 s 8485373 nps
[-3,-1]: f8
[-3,-1]: f8<-2 f2 f6
--> 28 -4 @ 95% 228412k f8 25.8 s 8854160 nps
[-5,-3]: f8
[-5,-3]: f8=-4 f2
[-5,-3]: f8=-4 f2 f6 c7>-4
[-3,-1]: c7
--> 28 -2 @ 98% 1116948k c7 g6 g5 f6 g4 122.8 s 9095882 nps
[-3,-1]: c7
--> 28 -2 @ 99% 1547582k c7 g6 g5 f6 g4 175.8 s 8802479 nps
[-3,-1]: c7
[-3,-1]: c7=-2 f8
[-3,-1]: c7=-2 f8 f2 f6 g8 c8 e8
--> 28 -2 4596515k c7 g6 g5 f6 g4 656.6 s 7000383 nps
PV: c7 g6 g5 f6 g4 c8 b7 e2 b8 h6 h5 h4 b1 a1 e8 f8
a b c d e f g h
1 Black
2 * *
3 * * * * O O O 18 discs
4 O O * O * *
5 O O O * * * * White
6 O O * * * *
7 O O O O * (O) 17 discs
8 O O
--> 15 +1.06 1851965 g6 h7 c1 f2 h4 0.9 s 2150947 nps
[-inf,inf]: g6
--> 17 +1.47 3536295 g6 h7 c1 f2 h6 1.6 s 2217113 nps
[3,5]: g6
--> 29 Draw @ 57% 39495895 g6 5.6 s 7060277 nps
[1,3]: g6
--> 29 +2 @ 72% 50660333 g6 7.0 s 7237087 nps
[1,3]: g6<2 e2
[1,3]: g6<2 e2 b7
--> 29 Draw @ 83% 172490k g6 21.3 s 8117126 nps
[-1,1]: g6
[1,3]: g6<2 e2 b7 d2 c1 h4 h5 g4
--> 29 +2 @ 91% 325593k g6 38.8 s 8398907 nps
[1,3]: g6<2 e2 b7 d2 c1
--> 29 Draw @ 95% 711935k g6 84.6 s 8418979 nps
[-1,1]: g6
[-1,1]: g6=0 e2 b7
--> 29 Draw @ 98% 1955696k g6 h7 c1 f2 g2 228.3 s 8564690 nps
[-1,1]: g6
[-1,1]: g6=0 e2 b7 d2 c1 h4 g4
--> 29 Draw @ 99% 3526302k g6 h7 c1 f2 g2 425.1 s 8295032 nps
[-1,1]: g6=0 e2
[-1,1]: g6=0 e2 b7 d2 c1
--> 29 +0 14459M g6 h7 c1 f2 g2 2410.7 s 5997641 nps
PV: g6 h7 c1 f2 g2 g8 f8 h1 h8 h2 g4 h5 h4 h6 g7
a b c d e f g h
1 * * * * * Black
2 * * * *
3 O O O * * 21 discs
4 O O * O *
5 O * * * * * White
6 O O O O O * O
7 O * * (O) 14 discs
8
--> 17 +2.17 1087065 h5 d8 c7 g4 h4 0.5 s 2312904 nps
--> 29 +2 @ 72% 4764418 h5 1.0 s 4836482 nps
[1,3]: h5
[-1,1]: h5=0 f8
--> 29 Draw @ 83% 29871890 h5 4.0 s 7495895 nps
[-1,1]: h5=0 f8
--> 29 +2 @ 95% 41328134 h5 5.6 s 7387808 nps
[1,3]: h5
[1,3]: h5=2 f8
--> 29 +2 @ 98% 164052k h5 h4 h3 d8 c8 21.0 s 7829094 nps
[1,3]: h5
--> 29 +2 @ 99% 293332k h5 h4 h3 d8 c8 38.8 s 7560676 nps
[1,3]: h5
--> 29 +2 1298349k h5 h4 h3 d8 c8 267.4 s 4855910 nps
PV: h5 h4 h3 d8 c8 c7 e8 g8 g4 g3 f8 b8 b2 a5 a4 a1
a b c d e f g h
1 Black
2
3 * * O O O (*) 12 discs
4 * * * O O O
5 * * O * O O White
6 O O O * * * O
7 O * O O O 22 discs
8 O O O O O
[-inf,inf]: g7=-6.35 f2 b5 a6=-2.55
--> 18 -4.50 1315637 a6 b5 b4 a3 a4 0.6 s 2156782 nps
[-5,-3]: a6<-4 g7>-4
[-5,-3]: g7<-4 a6=-4
--> 30 -4 @ 72% 4586517 a6 1.2 s 3916418 nps
[-7,-5]: a6
--> 30 -6 @ 83% 8090163 a6 1.7 s 4750257 nps
[-7,-5]: a6<-6 g7
[-7,-5]: a6<-6 g7=-6
--> 30 -6 @ 91% 20049238 g7 3.2 s 6352536 nps
[-7,-5]: g7
--> 30 -8 @ 95% 99390264 g7 12.7 s 7843854 nps
[-9,-7]: g7
[-9,-7]: g7=-8 a6 f2
--> 30 -8 @ 98% 281117k g7 b5 a5 e2 f1 35.2 s 7982164 nps
[-9,-7]: g7
[-9,-7]: g7<-8 a6 f2 b5 a7
[-11,-9]: g7
[-11,-9]: g7<-10 a6=-10
--> 30 -10 @ 99% 1318726k a6 b5 b4 e2 f2 166.9 s 7899536 nps
[-11,-9]: a6
[-11,-9]: a6=-10 g7 f2
--> 30 -10 2740083k a6 b5 b4 e2 f2 405.6 s 6755477 nps
PV: a6 b5 b4 e2 f2 e1 g1 a3 g2 a5 b7 b3 a4 c2 a2 d2 c3 g7 h8
a b c d e f g h
1 * O O O Black
2 O O O
3 O O O * O O (*) 14 discs
4 O O O O * O
5 O * O * * * White
6 O O * * * *
7 * * * 20 discs
8
--> 18 -0.16 1470687 g1 f2 h3 d8 c8 0.6 s 2349340 nps
--> 30 +2 @ 57% 2561470 g1 0.8 s 3093189 nps
[3,5]: g1
--> 30 +4 @ 83% 29143166 g1 3.8 s 7612958 nps
[3,5]: g1
--> 30 +4 @ 95% 55899386 g1 7.3 s 7693176 nps
[3,5]: g1
--> 30 +4 @ 98% 161244k g1 f2 h3 d8 c8 19.7 s 8183689 nps
[3,5]: g1
--> 30 +4 @ 99% 293413k g1 f2 h3 d8 c8 36.8 s 7973821 nps
[3,5]: g1
[3,5]: g1=4 a3 a4 f2 b2 a2
--> 30 +4 2564506k g1 f2 h3 d8 c8 465.5 s 5509509 nps
PV: g1 f2 h3 d8 c8 d7 e8 h5 h6 h7 h2 g6 a3 f8 g8 a5 b1 b7 g2
a b c d e f g h
1 Black
2
3 O (*) 12 discs
4 O O O O O
5 O O O O O * White
6 O O O O * * * *
7 * * O O * * 18 discs
8 * * O *
--> 18 +89.63 1154632 g8 e8 h4 b8 a8 0.5 s 2106993 nps
--> 34 +64 1364109 g8 0.7 s 2079118 nps
PV: g8
Total positions solved: 20
Total time: 5235.4 s
Total nodes: 32788060947
Maximum time for solve: 2410.7 s
Average speed: 6257954 nps