That's obviously the case. but after Bf4 it's a mate problem in 12.
Matefish 3.0 64 by the Stockfish developers and J. Oster
position fen r3k2r/pp3ppp/2b1p3/6P1/3p1B2/2P2NP1/PP3q1P/R2Q3K b kq - 1 1
d
Code: Select all
+---+---+---+---+---+---+---+---+
| r | | | | k | | | r | 8
+---+---+---+---+---+---+---+---+
| p | p | | | | p | p | p | 7
+---+---+---+---+---+---+---+---+
| | | b | | p | | | | 6
+---+---+---+---+---+---+---+---+
| | | | | | | P | | 5
+---+---+---+---+---+---+---+---+
| | | | p | | B | | | 4
+---+---+---+---+---+---+---+---+
| | | P | | | N | P | | 3
+---+---+---+---+---+---+---+---+
| P | P | | | | q | | P | 2
+---+---+---+---+---+---+---+---+
| R | | | Q | | | | K | 1
+---+---+---+---+---+---+---+---+
a b c d e f g hPositionKey: E64E71F1883168DE
MaterialKey: AF895E0456800CB7
Checkers:
Legal moves: 41
setoption name SyzygyPath value C:\Program Files\arena_3.5.1\TB\syzygy
info string Found 270 tablebases
setoption name PNS Hash value 1024
setoption name ProofNumberSearch value true
go mate 13
info string Starting Proof-Number Search ...
info time 725 multipv 1 depth 25 seldepth 25 nodes 576463 nps 795121 tbhits 0 score cp 0 pv f2h2
info time 925 multipv 1 depth 25 seldepth 25 nodes 1122883 nps 1213927 tbhits 0 score cp 0 pv f2h2
info time 1125 multipv 1 depth 25 seldepth 25 nodes 1674605 nps 1488537 tbhits 0 score cp 0 pv f2h2
info time 1325 multipv 1 depth 25 seldepth 25 nodes 2235321 nps 1687034 tbhits 0 score cp 0 pv f2h2
info time 1525 multipv 1 depth 25 seldepth 25 nodes 2820586 nps 1849564 tbhits 0 score cp 0 pv f2h2
info time 1725 multipv 1 depth 25 seldepth 25 nodes 3439999 nps 1994202 tbhits 0 score cp 0 pv f2h2
info time 1925 multipv 1 depth 25 seldepth 25 nodes 4068358 nps 2113432 tbhits 0 score cp 0 pv f2h2
info time 2925 multipv 1 depth 25 seldepth 25 nodes 7254614 nps 2480209 tbhits 0 score cp 0 pv f2h2
info time 3925 multipv 1 depth 25 seldepth 25 nodes 10435898 nps 2658827 tbhits 0 score cp 0 pv f2h2
info time 4925 multipv 1 depth 25 seldepth 25 nodes 13565186 nps 2754352 tbhits 0 score cp 0 pv f2h2
info time 5925 multipv 1 depth 25 seldepth 25 nodes 16744023 nps 2825995 tbhits 0 score cp 0 pv f2h2
info time 6925 multipv 1 depth 25 seldepth 25 nodes 19871391 nps 2869514 tbhits 0 score cp 0 pv f2h2
info time 7925 multipv 1 depth 25 seldepth 25 nodes 23038917 nps 2907118 tbhits 0 score cp 0 pv f2h2
info time 8925 multipv 1 depth 25 seldepth 25 nodes 26187232 nps 2934143 tbhits 0 score cp 0 pv f2h2
info time 9925 multipv 1 depth 25 seldepth 25 nodes 29315885 nps 2953741 tbhits 0 score cp 0 pv f2h2
info time 12425 multipv 1 depth 25 seldepth 25 nodes 36811693 nps 2962711 tbhits 0 score cp 0 pv f2h2
info time 14925 multipv 1 depth 25 seldepth 25 nodes 44081335 nps 2953523 tbhits 0 score cp 0 pv f2h2
info string Running out of memory ...
info string Running out of memory ...
info string Running out of memory ...
info string Running out of memory ...
info string Running out of memory ...
info string Running out of memory ...
info string Running out of memory ...
info string Running out of memory ...
info string Running out of memory ...
info string Running out of memory ...
info string Running out of memory ...
info string Running out of memory ...
info string Running out of memory ...
info string Running out of memory ...
info string Running out of memory ...
info string Running out of memory ...
info string Running out of memory ...
info string Failure! No mate found!
info time 16438 multipv 1 depth 25 seldepth 25 nodes 48118797 nps 2927290 tbhits 0 score cp 0 pv f2h2
bestmove f2h2
and now:
go mate 12
info string Starting Proof-Number Search ...
info time 717 multipv 1 depth 23 seldepth 23 nodes 573522 nps 799891 tbhits 0 score cp 0 pv f2h2
info time 917 multipv 1 depth 23 seldepth 23 nodes 1127712 nps 1229784 tbhits 0 score cp 0 pv f2h2
info time 1117 multipv 1 depth 23 seldepth 23 nodes 1676203 nps 1500629 tbhits 0 score cp 0 pv f2h2
info time 1317 multipv 1 depth 23 seldepth 23 nodes 2228597 nps 1692176 tbhits 0 score cp 0 pv f2h2
info time 1517 multipv 1 depth 23 seldepth 23 nodes 2818273 nps 1857793 tbhits 0 score cp 0 pv f2h2
info time 1717 multipv 1 depth 23 seldepth 23 nodes 3428271 nps 1996663 tbhits 0 score cp 0 pv f2h2
info time 1917 multipv 1 depth 23 seldepth 23 nodes 4061281 nps 2118560 tbhits 0 score cp 0 pv f2h2
info time 2917 multipv 1 depth 23 seldepth 23 nodes 7228612 nps 2478098 tbhits 0 score cp 0 pv f2h2
info time 3917 multipv 1 depth 23 seldepth 23 nodes 10349815 nps 2642281 tbhits 0 score cp 0 pv f2h2
info time 4917 multipv 1 depth 23 seldepth 23 nodes 13475800 nps 2740654 tbhits 0 score cp 0 pv f2h2
info time 5917 multipv 1 depth 23 seldepth 23 nodes 16646144 nps 2813274 tbhits 0 score cp 0 pv f2h2
info time 6917 multipv 1 depth 23 seldepth 23 nodes 19738803 nps 2853665 tbhits 0 score cp 0 pv f2h2
info time 7917 multipv 1 depth 23 seldepth 23 nodes 22913952 nps 2894272 tbhits 0 score cp 0 pv f2h2
info time 8917 multipv 1 depth 23 seldepth 23 nodes 26043432 nps 2920649 tbhits 0 score cp 0 pv f2h2
info time 9917 multipv 1 depth 23 seldepth 23 nodes 29171523 nps 2941567 tbhits 0 score cp 0 pv f2h2
info time 12417 multipv 1 depth 23 seldepth 23 nodes 36653408 nps 2951873 tbhits 0 score cp 0 pv f2h2
info time 14917 multipv 1 depth 23 seldepth 23 nodes 43933500 nps 2945196 tbhits 0 score cp 0 pv f2h2
info string Running out of memory ...
info string Running out of memory ...
info string Running out of memory ...
info string Running out of memory ...
info string Running out of memory ...
info string Running out of memory ...
info string Running out of memory ...
info string Running out of memory ...
info string Running out of memory ...
info string Running out of memory ...
info string Running out of memory ...
info string Running out of memory ...
info string Running out of memory ...
info string Running out of memory ...
info string Running out of memory ...
info string Running out of memory ...
info string Running out of memory ...
info string Failure! No mate found!
info time 16516 multipv 1 depth 23 seldepth 23 nodes 48118797 nps 2913465 tbhits 0 score cp 0 pv f2h2
bestmove f2h2