Crystal 8

[Werewolf]

https://github.com/jhellis3/Stockfish/releases/tag/v8

Is there any puzzle that have not been solved by the previous Crystal, if that is the case show us what puzzle that was ?

Here try this one, then after Crystal fails to solve then let the Huntsman 1 fail with it:

White to move and mate in 20:

[d]5bb1/1p2prrn/3pNp2/5Np1/1p5p/6Pk/4B2P/4K3 w - - 0 1

Is this definitely sound? There's an easy draw after 1.Kf2 but I'm not seeing a win.

[Werewolf]

Solved it.

That was NASTY. My faith in alpha-beta just went down a notch!

[acase]

Solved it.

That was NASTY. My faith in alpha-beta just went down a notch!

Good job , that one is pretty difficult for engines, here's my pgn:

[pgn][Event "Mate in 20"]
[Site "Columbus, Ohio"]
[Date "2024.02.06"]
[Round "?"]
[White "?"]
[Black "?"]
[Result "1-0"]
[BlackElo "0"]
[Time "21:51:59"]
[WhiteElo "0"]
[TimeControl "0"]
[SetUp "1"]
[FEN "5bb1/1p2prrn/3pNp2/5Np1/1p5p/6Pk/4B2P/4K3 w - - 0 1"]
[Termination "normal"]
[PlyCount "39"]
[WhiteType "human"]
[BlackType "human"]

1. Kf2 b3 2. Bf1+ Kg4 3. Ne3+ Kh5 4. g4+ Kg6 (4. .. Kh6 5. Nf5+ Kg6 6. Bd3 b2 7. Ke3 b6 8. Kd4 b5 9. Kd5 b1=Q 10. Bxb1 h3 11. Kc6 d5 12. Kd7 d4 13. Ke8 d3 14. Bxd3 b4 15. Nxe7+ Kh6 16. Nf5+ Kg6 17. Ned4 Rd7 18. Ne7+ Kh6 19. Ndf5#) 5. Nf5 b2 (5. .. d5 6. Bd3 b5 7. Ke3 b2 8. Kd4 b4 9. Kc5 b1=N 10. Bxb1 d4 11. Kc6 d3 12. Bxd3 b3 13. Kd7 b2 14. Ke8 b1=Q 15. Bxb1 h3 16. Nxe7+ Kh6 17. Nf5+ Kg6 18. Ned4 Rd7 19. Ne7+ Kh6 20. Ndf5#)
(5. .. b6 6. Bd3 b2 7. Ke3 b1=Q 8. Bxb1 b5 9. Ke4 b4 10. Kd5 b3 11. Kc6 d5 12. Kd7 d4 13. Ke8 d3 14. Bxd3 h3 15. Nxe7+ Kh6 16. Nf5+ Kg6 17. Ned4 Bd6 18. Ne7+ Kh6 19. Ndf5#) (5. .. h3 6. Ke3 b2 7. Bd3 b1=R 8. Bxb1 d5 9. Kd4 b5 10. Kc5 d4 11. Kc6 d3 12. Bxd3 b4 13. Kd7 b3 14. Ke8 b2 15. Nxe7+ Kh6 16. Nf5+ Kg6 17. Ned4 b1=R 18. Nh4+ Kh6 19. Ndf5#) (5. .. b5 6. Ke3 b4 7. Kd4 b2 8. Bd3 d5 9. Kc5 b1=B 10. Bxb1 d4 11. Kc6 d3 12.
Bxd3 b3 13. Kd7 b2 14. Ke8 b1=Q 15. Bxb1 h3 16. Nxe7+ Kh6 17. Nf5+ Kg6 18.
Ned4 Rd7 19. Ne7+ Kh6 20. Ndf5#) 6. Bd3 d5 7. Ke3 b5 8. Kd4 b4 9. Kc5 b1=B
10. Bxb1 d4 11. Kc6 d3 12. Bxd3 b3 13. Kd7 b2 14. Ke8 b1=Q 15. Bxb1 h3 16.
Nxe7+ Kh6 17. Nf5+ Kg6 18. Ned4 Rd7 19. Ne7+ Kh6 20. Ndf5# 1-0[/pgn]

[Werewolf]

Solved it.

That was NASTY. My faith in alpha-beta just went down a notch!

Good job , that one is pretty difficult for engines, here's my pgn:

[pgn][Event "Mate in 20"]
[Site "Columbus, Ohio"]
[Date "2024.02.06"]
[Round "?"]
[White "?"]
[Black "?"]
[Result "1-0"]
[BlackElo "0"]
[Time "21:51:59"]
[WhiteElo "0"]
[TimeControl "0"]
[SetUp "1"]
[FEN "5bb1/1p2prrn/3pNp2/5Np1/1p5p/6Pk/4B2P/4K3 w - - 0 1"]
[Termination "normal"]
[PlyCount "39"]
[WhiteType "human"]
[BlackType "human"]

1. Kf2 b3 2. Bf1+ Kg4 3. Ne3+ Kh5 4. g4+ Kg6 (4. .. Kh6 5. Nf5+ Kg6 6. Bd3 b2 7. Ke3 b6 8. Kd4 b5 9. Kd5 b1=Q 10. Bxb1 h3 11. Kc6 d5 12. Kd7 d4 13. Ke8 d3 14. Bxd3 b4 15. Nxe7+ Kh6 16. Nf5+ Kg6 17. Ned4 Rd7 18. Ne7+ Kh6 19. Ndf5#) 5. Nf5 b2 (5. .. d5 6. Bd3 b5 7. Ke3 b2 8. Kd4 b4 9. Kc5 b1=N 10. Bxb1 d4 11. Kc6 d3 12. Bxd3 b3 13. Kd7 b2 14. Ke8 b1=Q 15. Bxb1 h3 16. Nxe7+ Kh6 17. Nf5+ Kg6 18. Ned4 Rd7 19. Ne7+ Kh6 20. Ndf5#)
(5. .. b6 6. Bd3 b2 7. Ke3 b1=Q 8. Bxb1 b5 9. Ke4 b4 10. Kd5 b3 11. Kc6 d5 12. Kd7 d4 13. Ke8 d3 14. Bxd3 h3 15. Nxe7+ Kh6 16. Nf5+ Kg6 17. Ned4 Bd6 18. Ne7+ Kh6 19. Ndf5#) (5. .. h3 6. Ke3 b2 7. Bd3 b1=R 8. Bxb1 d5 9. Kd4 b5 10. Kc5 d4 11. Kc6 d3 12. Bxd3 b4 13. Kd7 b3 14. Ke8 b2 15. Nxe7+ Kh6 16. Nf5+ Kg6 17. Ned4 b1=R 18. Nh4+ Kh6 19. Ndf5#) (5. .. b5 6. Ke3 b4 7. Kd4 b2 8. Bd3 d5 9. Kc5 b1=B 10. Bxb1 d4 11. Kc6 d3 12.
Bxd3 b3 13. Kd7 b2 14. Ke8 b1=Q 15. Bxb1 h3 16. Nxe7+ Kh6 17. Nf5+ Kg6 18.
Ned4 Rd7 19. Ne7+ Kh6 20. Ndf5#) 6. Bd3 d5 7. Ke3 b5 8. Kd4 b4 9. Kc5 b1=B
10. Bxb1 d4 11. Kc6 d3 12. Bxd3 b3 13. Kd7 b2 14. Ke8 b1=Q 15. Bxb1 h3 16.
Nxe7+ Kh6 17. Nf5+ Kg6 18. Ned4 Rd7 19. Ne7+ Kh6 20. Ndf5# 1-0[/pgn]

Even the Stockfish Cluster failed at this. In the end I used a combination of Aquarium and Lc0 through Nibbler.

[Chessqueen]

Crystal 8 can only solves easy Mate in 13 like this one. It is White to move but Black Mate in 13 move
[d]r3k2r/pp3ppp/2b1p3/6P1/3p4/2P2NP1/PP3q1P/R1BQ3K w kq - 0 1
FEN: r3k2r/pp3ppp/2b1p3/6P1/3p4/2P2NP1/PP3q1P/R1BQ3K w kq - 0 1

Crystal_x86-64-bmi2:
NNUE evaluation using nn-ae6a388e4a1a.nnue
NNUE evaluation using nn-baff1ede1f90.nnue
1/9 00:00 2k 1,009k -6.52 g5-g6 Bc6xf3+ Qd1xf3 Qf2xf3+ Kh1-g1
2/7 00:00 3k 1,403k -6.52 g5-g6 Bc6xf3+ Qd1xf3 Qf2xf3+ Kh1-g1
3/6 00:00 4k 1,814k -6.52 g5-g6 Bc6xf3+ Qd1xf3 Qf2xf3+ Kh1-g1
4/13 00:00 6k 1,835k -6.58 Bc1-f4 Bc6xf3+ Qd1xf3 Qf2xf3+ Kh1-g1
5/6 00:00 7k 2,342k -6.58 Bc1-f4 Bc6xf3+ Qd1xf3 Qf2xf3+ Kh1-g1
6/9 00:00 10k 3,279k -6.74 c3xd4 Bc6xf3+ Qd1xf3 Qf2xf3+ Kh1-g1
7/19 00:00 34k 5,682k -6.50 Bc1-f4 Bc6xf3+ Qd1xf3 Qf2xf3+ Kh1-g1 d4xc3 b2xc3
8/19 00:00 99k 6,609k -6.83 Qd1-d3 Bc6xf3+ Qd3xf3 Qf2xf3+ Kh1-g1 d4-d3 Bc1-f4 a7-a5 b2-b3
9/18 00:00 143k 6,218k -6.84 Bc1-f4 Bc6xf3+ Qd1xf3 Qf2xf3+ Kh1-g1 d4xc3 b2xc3 Ra8-d8 Ra1-e1 b7-b6
10/20 00:00 263k 5,588k -6.93 Bc1-f4 Bc6xf3+ Qd1xf3 Qf2xf3+ Kh1-g1 d4xc3 b2xc3 Ra8-d8 Ra1-e1 Rd8-d1 Re1xd1 Qf3xd1+ Kg1-g2 f7-f6 g5xf6 g7xf6
11/31 00:00 328k 5,761k -6.90 Bc1-f4 Bc6xf3+ Qd1xf3 Qf2xf3+ Kh1-g1 d4xc3 b2xc3 Ra8-d8 Ra1-e1 Rd8-d1 Re1xd1 Qf3xd1+ Kg1-g2 Qd1-e2+ Kg2-h3 f7-f6 g5xf6 g7xf6 a2-a4
12/38 00:00 1,040k 7,173k -7.08 Bc1-f4 Bc6xf3+ Qd1xf3 Qf2xf3+ Kh1-g1 d4xc3 b2xc3 Ra8-d8 Ra1-e1 Rd8-d1 Re1xd1 Qf3xd1+ Kg1-f2 Qd1-c2+ Kf2-f3 f7-f6 h2-h4 e6-e5 Bf4-e3 Ke8-d7
13/30 00:00 1,768k 7,397k -7.29 Bc1-f4 Bc6xf3+ Qd1xf3 Qf2xf3+ Kh1-g1 d4xc3 g5-g6 h7xg6 b2xc3 Ra8-d8 h2-h4 Rh8-h5 Ra1-b1 Qf3-c6
14/33 00:00 2,194k 7,698k -7.36 Bc1-f4 Bc6xf3+ Qd1xf3 Qf2xf3+ Kh1-g1 d4xc3 b2xc3 Ra8-d8 a2-a4 e6-e5 g5-g6 Rd8-d1+ Ra1xd1 Qf3xd1+ Kg1-f2 Qd1-c2+ Kf2-g1
15/31 00:00 3,142k 8,161k -7.45 Bc1-f4 Bc6xf3+ Qd1xf3 Qf2xf3+ Kh1-g1 d4xc3 b2xc3 Ra8-d8 Ra1-f1 Rd8-d1 Rf1xd1 Qf3xd1+ Kg1-f2 Qd1-c2+ Kf2-f1 Qc2-b1+ Kf1-g2 Qb1xa2+ Kg2-g1 Qa2-a1+ Kg1-f2 Qa1xc3 h2-h3 Qc3-a5 g3-g4 f7-f6 Bf4-e3 Rh8-f8
16/48 00:00 7,717k 9,005k -7.77 Bc1-f4 Bc6xf3+ Qd1xf3 Qf2xf3+ Kh1-g1 d4xc3 b2xc3 Ra8-d8 Ra1-f1 Rd8-d1 Rf1xd1 Qf3xd1+ Kg1-f2 Qd1-c2+ Kf2-f1 Qc2-b1+ Kf1-e2 f7-f6 Ke2-d2 e6-e5 Bf4-e3 Ke8-d7 g5-g6 Qb1xa2+ Kd2-c1 h7xg6 h2-h4 Rh8-d8 Be3-c5 g6-g5 Bc5-e3
17/46 00:01 12,233k 9,724k -7.96 Bc1-f4 Bc6xf3+ Qd1xf3 Qf2xf3+ Kh1-g1 d4xc3 b2xc3 Ra8-d8 Ra1-f1 Rd8-d1 Rf1xd1 Qf3xd1+ Kg1-f2 Qd1-c2+ Kf2-f1 Qc2-b1+ Kf1-e2 f7-f6 g5xf6 Qb1xa2+ Ke2-e3 g7xf6 Bf4-e5 Rh8-g8 Be5xf6 Qa2-a5 h2-h4 Rg8-g6 Bf6-d4 b7-b6 h4-h5
18/60 00:02 29,922k 10,637k -8.44 Bc1-f4 Bc6xf3+ Qd1xf3 Qf2xf3+ Kh1-g1 d4xc3 b2xc3 Ra8-d8 Ra1-f1 Rd8-d1 Rf1xd1 Qf3xd1+ Kg1-f2 Qd1-c2+ Kf2-f1 f7-f6 g5xf6 Qc2-b1+ Kf1-g2 Qb1xa2+ Kg2-h3 g7xf6 Bf4-e3 Rh8-g8 c3-c4 Qa2-e2 c4-c5 Qe2-f1+ Kh3-h4 Qf1-g2 Be3-g1 e6-e5
19/64 00:05 61,284k 10,716k -8.75 Bc1-f4 Bc6xf3+ Qd1xf3 Qf2xf3+ Kh1-g1 d4xc3 b2xc3 Ra8-d8 Ra1-f1 Rd8-d1 Rf1xd1 Qf3xd1+ Kg1-f2 Qd1-c2+ Kf2-g1 Qc2-b1+ Kg1-f2 f7-f6 g5xf6 Qb1xa2+ Kf2-f3 g7xf6 g3-g4 Rh8-g8 Bf4-e3 Qa2-d5+ Kf3-g3 Qd5-e5+ Kg3-f3 Rg8xg4 Kf3xg4 Qe5xe3 h2-h4 f6-f5+ Kg4-h5 Qe3xc3 Kh5-g5 f5-f4 Kg5-h6 f4-f3
20/62 00:17 200,464k 11,162k -9.76 Qd1-d3 Bc6xf3+ Qd3xf3 Qf2xf3+ Kh1-g1 d4xc3 b2xc3 Qf3xc3 Bc1-b2 Qc3xb2 Ra1-d1 Ra8-d8 Rd1xd8+ Ke8xd8 g3-g4 Kd8-e7 h2-h4 Ke7-d7 Kg1-f1 Rh8-c8
21/44 00:30 341,193k 11,202k -10.36 Bc1-d2 Bc6xf3+ Qd1xf3 Qf2xf3+ Kh1-g1 Qf3-e2 c3-c4 Qe2xd2 b2-b4 Qd2-e3+ Kg1-g2 d4-d3 b4-b5 d3-d2 b5-b6 Qe3-e2+ Kg2-h3 a7xb6 a2-a4 Ra8-d8 a4-a5 b6xa5 c4-c5 h7-h5
22/55 01:09 792,356k 11,477k -11.84 b2-b3 Bc6xf3+ Qd1xf3 Qf2xf3+ Kh1-g1 Qf3xc3 Ra1-b1 Qc3-e1+ Kg1-g2 Qe1-e4+ Kg2-h3 Qe4xb1 Bc1-f4 Qb1-f5+ Kh3-h4 d4-d3 Bf4-d2 Qf5-f2 Bd2-c3 Qf2xh2+ Kh4-g4 h7-h5+ Kg4-f4 Qh2-f2+ Kf4-e4 Qf2-e2+ Ke4-d4 d3-d2
23/46- 02:08 1,483,555k 11,557k -14.84 b2-b3 d4xc3
23/46- 02:34 1,788,038k 11,580k -14.87 b2-b3 d4xc3
23/46- 04:17 2,992,059k 11,605k -24.68 b2-b3 d4xc3
23/52 04:52 3,388,162k 11,571k -M17 Bc1-d2 Bc6xf3+ Qd1xf3 Qf2xf3+ Kh1-g1 Qf3-e2 Bd2-f4 d4-d3 Ra1-f1 Ra8-d8 Rf1-f2 Qe2-e1+ Rf2-f1 d3-d2 Bf4xd2 Qe1xd2 Rf1-f2 Qd2-e1+ Kg1-g2 Rd8-d2 Rf2xd2 Qe1xd2+ Kg2-f3 Ke8-e7 b2-b3 Rh8-d8 Kf3-g4 Qd2xh2 c3-c4 Rd8-d3 c4-c5 Qh2xg3+ Kg4-h5 Qg3-h3+
24/44 05:25 3,681,347k 11,301k -M15 c3-c4 Bc6xf3+ Qd1xf3 Qf2xf3+ Kh1-g1 Qf3-d1+ Kg1-g2 Ra8-d8 Bc1-f4 Qd1xa1 Bf4-e5 Qa1xb2+ Kg2-f3 Qb2-a3+ Kf3-g2 Qa3xa2+ Kg2-h3 d4-d3 Be5xg7 d3-d2 Kh3-h4 Qa2xc4+ g3-g4 d2-d1Q h2-h3 Qd1-e1+ Kh4-h5 Qc4-d3 Bg7xh8 Qd3xh3+
25/40 05:44 3,866,572k 11,237k -M15 h2-h4 Bc6xf3+ Qd1xf3 Qf2xf3+ Kh1-h2 d4-d3 b2-b3 Ra8-d8 Bc1-d2 Qf3-f2+ Kh2-h3 Qf2xd2 h4-h5 Qd2xg5 h5-h6 Qg5xh6+ Kh3-g2 d3-d2 a2-a3 Qh6-h5 a3-a4 Qh5-e2+ Kg2-h3 Rd8-d5 g3-g4 Rd5-d3+ Kh3-h4 Qe2-h2+ Kh4-g5 Qh2-h6+
26/30 05:56 3,971,648k 11,130k -M14 c3-c4 Bc6xf3+ Qd1xf3 Qf2xf3+ Kh1-g1 Qf3-d1+ Kg1-g2 Ra8-d8 Bc1-f4 Qd1xa1 Bf4-d2 Qa1xb2 h2-h4 Qb2xd2+ Kg2-h3 d4-d3 h4-h5 Qd2-d1 Kh3-g2 Qd1-e2+ Kg2-h3 d3-d2 c4-c5 d2-d1Q g3-g4 Rd8-d3+ Kh3-h4 Qe2xg4+
27/28 06:03 4,028,393k 11,094k -M14 c3-c4 Bc6xf3+ Qd1xf3 Qf2xf3+ Kh1-g1 Qf3-d1+ Kg1-g2 Ra8-d8 Bc1-f4 Qd1xa1 Bf4-d2 Qa1xb2 h2-h4 Qb2xd2+ Kg2-h3 d4-d3 h4-h5 Qd2-d1 Kh3-g2 Qd1-e2+ Kg2-h3 d3-d2 c4-c5 d2-d1Q g3-g4 Rd8-d3+ Kh3-h4 Qe2xg4+
28/26 06:14 4,130,431k 11,016k -M13 c3-c4 Bc6xf3+ Qd1xf3 Qf2xf3+ Kh1-g1 Qf3-d1+ Kg1-g2 Ra8-d8 Bc1-f4 Qd1xa1 Bf4-d2 Qa1xb2 h2-h4 Qb2xd2+ Kg2-h3 d4-d3 c4-c5 Qd2-e2 c5-c6 d3-d2 g5-g6 d2-d1Q g6xf7+ Ke8xf7 c6xb7 Qd1-f1+
29/36 06:21 4,186,160k 10,972k -M13 c3-c4 Bc6xf3+ Qd1xf3 Qf2xf3+ Kh1-g1 Qf3-d1+ Kg1-g2 Ra8-d8 Bc1-f4 Qd1xa1 Bf4-d2 Qa1xb2 h2-h4 Qb2xd2+ Kg2-h3 d4-d3 c4-c5 Qd2-e2 c5-c6 d3-d2 g5-g6 d2-d1Q g6xf7+ Ke8xf7 c6xb7 Qd1-h1+

[acase]

Here is an amusing mate in 5 that seems to give Stockfish trouble and humans of course, but ALL Crystal versions solve and The Huntsman 1 solves rather easily. It's by "Marín i Llovet, Valentí" from 1905:

[d]qb6/3N2p1/r2p4/pP1k2p1/1pp3R1/6BB/2P1P3/2N1K3 w - - 0 1

Here is a link to it--->https://www.yacpdb.org/#65449

[Werewolf]

Here is an amusing mate in 5 that seems to give Stockfish trouble and humans of course, but ALL Crystal versions solve and The Huntsman 1 solves rather easily. It's by "Marín i Llovet, Valentí" from 1905:

[d]qb6/3N2p1/r2p4/pP1k2p1/1pp3R1/6BB/2P1P3/2N1K3 w - - 0 1

Here is a link to it--->https://www.yacpdb.org/#65449

Extraordinary.

Stockfish 64 core Threadripper: FAIL - not in 5 mins
Stockfish Cluster 480 thread version (240 cores I think) - FAIL not in 5 mins
HIARCS Paderborn (2007???) - 1 second.

sheesh.

[Werewolf]

Here is an amusing mate in 5 that seems to give Stockfish trouble and humans of course, but ALL Crystal versions solve and The Huntsman 1 solves rather easily. It's by "Marín i Llovet, Valentí" from 1905:

[d]qb6/3N2p1/r2p4/pP1k2p1/1pp3R1/6BB/2P1P3/2N1K3 w - - 0 1

Here is a link to it--->https://www.yacpdb.org/#65449

I'm becoming seriously concerned about SF and its clones. In the position above - a mere mate in 5 - the moderns are really struggling.

All on up to 64 cores / threads unless otherwise stated:
SF Dev 2nd April 2024 - FAILED. Not within 5 mins.
SF Cluster 480 Threads - FAILED. Not within 5 mins.
SF Cluster 2400 Threads - FAILED. Not within 5 mins.
Berserk 13 - FAILED. Not within 5 mins.
Fritz 19 - FAILED. Not within 5 mins.
Patricia 2 - FAILED. Not within 5 mins.
CS Tal 2 NNUE - took over a minute to get the mate.
Crystal 8 - Passed (within a few seconds).
Black Diamond 13 - Passed (within a few seconds)
Rybka 4.1 - Passed instantly
Deep Junior Yokohama - (Passed within a few seconds)
HIARCS Paderborn on 8 threads - Passed (within a few seconds).
HIARCS 13.88 (Oct 2022) on iPhone - Passed (within a few seconds).
HIARCS 15.3.1 (16 threads) - Took about 15 seconds but got there in the end.
Chessmaster GM (King 3.50) - Passed instantly.

[Jouni]

Have You noticed that engines are not intended for mate solving . Huntsman is:
info depth 35 seldepth 10 multipv 1 score mate 5 nodes 1700221 nps 7265901 tbhits 0 time 234 pv g3h4 g5h4 c1b3 c4b3 c2c4 b4c3 g4a4 b8a7 e2e4 means 234 ms

[chessica]

Here is an amusing mate in 5 that seems to give Stockfish trouble and humans of course, but ALL Crystal versions solve and The Huntsman 1 solves rather easily. It's by "Marín i Llovet, Valentí" from 1905:

[d]qb6/3N2p1/r2p4/pP1k2p1/1pp3R1/6BB/2P1P3/2N1K3 w - - 0 1

Here is a link to it--->https://www.yacpdb.org/#65449

Code: Select all

Matefish 3.0 64 by the Stockfish developers and J. Oster
position fen qb6/3N2p1/r2p4/pP1k2p1/1pp3R1/6BB/2P1P3/2N1K3 w - - 0 1

d

 +---+---+---+---+---+---+---+---+
 | q | b |   |   |   |   |   |   | 8
 +---+---+---+---+---+---+---+---+
 |   |   |   | N |   |   | p |   | 7
 +---+---+---+---+---+---+---+---+
 | r |   |   | p |   |   |   |   | 6
 +---+---+---+---+---+---+---+---+
 | p | P |   | k |   |   | p |   | 5
 +---+---+---+---+---+---+---+---+
 |   | p | p |   |   |   | R |   | 4
 +---+---+---+---+---+---+---+---+
 |   |   |   |   |   |   | B | B | 3
 +---+---+---+---+---+---+---+---+
 |   |   | P |   | P |   |   |   | 2
 +---+---+---+---+---+---+---+---+
 |   |   | N |   | K |   |   |   | 1
 +---+---+---+---+---+---+---+---+
   a   b   c   d   e   f   g   h

Fen: qb6/3N2p1/r2p4/pP1k2p1/1pp3R1/6BB/2P1P3/2N1K3 w - - 0 1
PositionKey: 236FC10937D981EE
MaterialKey: 8092EDDCAA3A09F5
Checkers:
Legal moves: 32
setoption name PNS Hash value 1024
setoption name ProofNumberSearch value true
go mate 5
info string Starting Proof-Number Search ...
info string Success! Mate in 5 found!
info time 725 multipv 1 depth 9 seldepth 9 nodes 389209 nps 536840 tbhits 0 score mate 5 pv g3h4 a8a7 e2e4 d5d4 c1e2 d4e3 h4f2 e3f3 e2g1
bestmove g3h4 ponder a8a7