MateFinder 9

[Ovyron]

One thread (so deterministic) and still blind at depth 60!

Some positions on Ed's Start Your Engines were showing Stockfish blind at depth 120... (with a mate in X on the board, Stockfish was showing 0.00 at such depths...)

[zullil]

One thread (so deterministic) and still blind at depth 60!

Some positions on Ed's Start Your Engines were showing Stockfish blind at depth 120... (with a mate in X on the board, Stockfish was showing 0.00 at such depths...)

Sure, but this is mate in 5.

[Jouni]

I tested MateFinder 9 Ipman compile and it's better than 2017 versions.
Here's mate in 15 from Chest database
[D]K4b2/B3p1p1/p2pP1p1/P1pN2N1/1pPk1P2/1p6/1P6/5B2 w - - bm #15; 00:00 @ C2/R0/K3/P1/X2;

MF finds it fast, but improves soon to mate in 10! Hope this wasn't prize winning composition .

24/30 00:04 48 515k 10 274k +M15 Ng5-f3+ Kd4-e4 Nf3-d2+ Ke4-d4 Nd2xb3+ Kd4-e4 Nb3-d2+ Ke4-d4 Nd2-f3+ Kd4-e4 Nf3-g5+ Ke4-d4 Ba7-b8 b4-b3 Ng5-f3+ Kd4-e4 Nf3-d2+ Ke4-d4 Nd2xb3+ Kd4-e4 Nb3-d2+ Ke4-d4 Nd2-f3+ Kd4-e4 Nf3-g5+ Ke4-d4 b2-b4 c5xb4 Bb8-a7+
25/30 00:06 62 899k 10 129k +M10 Ba7xc5+ d6xc5 Ng5-f3+ Kd4-e4 Nf3-e5 Ke4-f5 Bf1-d3+ Kf5xe6 Bd3xg6 Ke6-d6 Ka8-b7 e7-e6 Nd5-b6 Kd6-e7 Kb7-c7 Ke7-f6 Nb6-d7+ Kf6-e7 Ne5-c6+

If MF finds shorter mate it's correct!

[F.Huber]

I tested MateFinder 9 Ipman compile and it's better than 2017 versions.
Here's mate in 15 from Chest database
[D]K4b2/B3p1p1/p2pP1p1/P1pN2N1/1pPk1P2/1p6/1P6/5B2 w - - bm #15; 00:00 @ C2/R0/K3/P1/X2;

I guess you have a quite old version of the ChestUCI database, because this position has been corrected already long time ago (to #10):

K4b2/B3p1p1/p2pP1p1/P1pN2N1/1pPk1P2/1p6/1P6/5B2 w - - bm #10; 00:00 @ C2/R7/K3/P2/X3;

[Ovyron]

Sure, but this is mate in 5.

Stockfish has a huge tunnel vision

[fishpov]

[D]rk1b4/p2p2p1/1P6/2R2P2/8/2K5/8/5B2 w - - 0 1

Analysis by Houdini 6.03 Pro x64 1 Pro x64:
With 4 Threads and 2048Mo Hash in tactical mode

I let more time.

1.Rc8+
+- (6.33 ++) Depth: 33/81 00:24:37 12521MN, tb=36947366
1.Rc8+
+- (6.44 ++) Depth: 33/81 00:27:41 13990MN, tb=41611130
1.Rc8+
+- (6.59 ++) Depth: 33/81 00:29:06 14645MN, tb=43783437
1.Rc8+ Kb7 2.Bg2+ Kxb6 3.Rxa8 Bf6+ 4.Kc4 a5 5.Bf1 Be5 6.Kd5 Bc3 7.Rb8+ Kc7 8.Rg8 Kb6 9.Rc8 Bd2 10.Rb8+ Kc7 11.Rg8 Bc3 12.Bb5 d6 13.Ba4 Be5 14.Re8 Bc3 15.Ra8 Be5 16.Rxa5 Kb8 17.Rb5+ Ka7 18.Rb1 Ka6 19.Re1 Bb2 20.Re6 Kb6 21.Re7 Ba1 22.Rd7
+- (6.61) Depth: 33/81 00:30:30 15238MN, tb=45815731
1.Rc8+ Kb7 2.Bg2+ Kxb6 3.Rxa8 Bf6+ 4.Kc4 a5 5.Bf1 Be5 6.Kd5 Bc3 7.Rb8+ Kc7 8.Rg8 Kb6 9.Rc8 Bd2 10.Rb8+ Kc7 11.Rg8 Bc3 12.Bb5 d6 13.Ba4 Be5 14.Re8 Bc3 15.Ra8 Be5 16.Rxa5 Kb8 17.Rb5+ Ka7 18.Rb1 Ka6 19.Re1 Bb2 20.Re6 Kb6 21.Re7 Ba1 22.Rd7
+- (6.61) Depth: 33/81 00:30:32 15249MN, tb=45873752
1.Rc8+
+- (6.68 ++) Depth: 34/81 00:31:48 15860MN, tb=47939639
1.Rc8+
+- (6.75 ++) Depth: 34/81 00:32:44 16302MN, tb=49193395
1.Rc8+
+- (6.85 ++) Depth: 34/81 00:34:13 17001MN, tb=51291782
1.Rc8+
+- (7.00 ++) Depth: 34/81 00:36:59 18345MN, tb=55940599
1.Rc8+ Kb7 2.Bg2+ Kxb6 3.Rxa8 Bf6+ 4.Kc4 a5 5.Bf1 Be5 6.Kd5 Bc3 7.Rb8+ Kc7 8.Re8 Kb6 9.Rc8 Bd2 10.Rf8 Bc3 11.Rd8 Kc7 12.Rg8 Kb6 13.Re8 Bf6 14.Rb8+ Kc7 15.Rb5 Kc8 16.Rxa5 Kd8 17.Ra7 Bc3 18.Bb5 Ke7 19.Rc7 Be1 20.Ke4 Kf6 21.Rxd7 Bb4 22.Rc7 Ba5
+- (7.00) Depth: 34/81 00:38:17 18926MN, tb=58239117
1.Rc8+ Kb7 2.Bg2+ Kxb6 3.Rxa8 Bf6+ 4.Kc4 a5 5.Bf1 Be5 6.Kd5 Bc3 7.Rb8+ Kc7 8.Re8 Kb6 9.Rc8 Bd2 10.Rf8 Bc3 11.Rd8 Kc7 12.Rg8 Kb6 13.Re8 Bf6 14.Rb8+ Kc7 15.Rb5 Kc8 16.Rxa5 Kd8 17.Ra7 Bc3 18.Bb5 Ke7 19.Rc7 Be1 20.Ke4 Kf6 21.Rxd7 Bb4 22.Rc7 Ba5
+- (7.00) Depth: 34/81 00:38:20 18941MN, tb=58296969
1.Rc8+
+- (7.07 ++) Depth: 35/81 00:40:21 19858MN, tb=61392260
1.Rc8+
+- (7.14 ++) Depth: 35/81 00:42:47 20982MN, tb=65799814
1.Rc8+
+- (7.25 ++) Depth: 35/81 00:44:52 22008MN, tb=68913017
1.Rc8+
+- (7.40 ++) Depth: 35/81 00:46:40 22897MN, tb=71524989
1.Rc8+
+- (7.60 ++) Depth: 35/81 00:49:23 24212MN, tb=75412539
1.Rc8+
+- (7.88 ++) Depth: 35/81 00:53:34 26144MN, tb=82233429
1.Rc8+
+- (8.24 ++) Depth: 35/81 01:01:04 29857MN, tb=94136804
1.Rc8+
+- (8.71 ++) Depth: 35/81 01:07:23 32877MN, tb=104437973
1.Rc8+
+- (9.31 ++) Depth: 35/81 01:16:03 36990MN, tb=120391038
1.Rc8+ Kxc8
+- (8.82 --) Depth: 35/81 01:21:27 39354MN, tb=131471508
1.Rc8+
+- (9.45 ++) Depth: 35/81 01:25:42 41469MN, tb=138933950
1.Rc8+
+- (10.70 ++) Depth: 35/81 01:29:19 43101MN, tb=146107859
1.Rc8+ Kxc8
+- (9.67 --) Depth: 35/81 01:30:25 43608MN, tb=148193679
1.Rc8+
+- (10.98 ++) Depth: 35/81 01:33:43 44954MN, tb=154689742
1.Rc8+
+- (13.49 ++) Depth: 35/85 01:41:27 48311MN, tb=172993168
1.Rc8+ Kb7
+- (11.41 --) Depth: 35/85 01:48:01 51331MN, tb=187490189
1.Rc8+
+- (14.02 ++) Depth: 35/89 01:51:27 53258MN, tb=193739374
1.Rc8+ Kb7
+- (10.73 --) Depth: 35/89 01:52:34 53693MN, tb=196583100
1.Rc8+
+- (14.86 ++) Depth: 35/108 01:59:27 56575MN, tb=211818855
1.Rc8+ Kb7
+- (9.68 --) Depth: 35/108 01:59:50 56723MN, tb=212639704
1.Rc8+ Kb7 2.Bg2+ Kxb6 3.Rxa8 Bg5 4.Kd4 Bf4 5.Kd5 Be3 6.Re8 Bh6 7.Bf1 Kc7 8.Ra8 Be3 9.Rh8 Bd2 10.Rf8 Bb4 11.Rf7 Bc3 12.Kc5 Bb2 13.Bb5 a6 14.Bxa6 Kd8 15.Kd6 Ba3+ 16.Kd5 Bb2 17.Bb5 Kc8 18.Bxd7+ Kb8 19.Bc6 Bc3 20.Rb7+ Kc8 21.Kd6
+- (16.32) Depth: 35/108 02:06:54 59454MN, tb=226934612
1.Rc8+ Kb7 2.Bg2+ Kxb6 3.Rxa8 Bg5 4.Kd4 Bf4 5.Kd5 Be3 6.Re8 Bh6 7.Bf1 Kc7 8.Ra8 Be3 9.Rh8 Bd2 10.Rf8 Bb4 11.Rf7 Bc3 12.Kc5 Bb2 13.Bb5 a6 14.Bxa6 Kd8 15.Kd6 Ba3+ 16.Kd5 Bb2 17.Bb5 Kc8 18.Bxd7+ Kb8 19.Bc6 Bc3 20.Rb7+ Kc8 21.Kd6
+- (16.32) Depth: 35/108 02:06:54 59454MN, tb=226934699
1.Rc8+ Kb7
+- (16.25 --) Depth: 36/108 02:08:06 59885MN, tb=229860708
1.Rc8+ Kb7
+- (16.18 --) Depth: 36/108 02:08:17 59948MN, tb=230347464
1.Rc8+ Kb7
+- (16.08 --) Depth: 36/108 02:08:23 59986MN, tb=230573753
1.Rc8+ Kb7
+- (15.93 --) Depth: 36/108 02:08:40 60092MN, tb=231187534
1.Rc8+ Kb7
+- (15.72 --) Depth: 36/108 02:08:54 60172MN, tb=231689105
1.Rc8+ Kb7
+- (15.45 --) Depth: 36/108 02:09:02 60213MN, tb=231995165
1.Rc8+ Kb7
+- (15.09 --) Depth: 36/108 02:09:21 60322MN, tb=232873788
1.Rc8+
+- (15.37 ++) Depth: 36/108 02:11:11 61146MN, tb=237176983
1.Rc8+
+- (15.98 ++) Depth: 36/108 02:12:53 61887MN, tb=240654631
1.Rc8+
+- (16.75 ++) Depth: 36/108 02:17:39 63794MN, tb=251320271
1.Rc8+
+- (17.74 ++) Depth: 36/108 02:22:29 65709MN, tb=262950147

(, 03.03.2018)

[zullil]

May be your position is too difficult. Try a #5.

[D]rk6/p1r3p1/P3B1Kp/1p2B3/8/8/8/8 w - - 0 1
Current SF could not solve it in some hours. One thread, slow computer.
Kind regards
Bernhard

Yes, the latest Cfish is also failing here. I suppose this shows how aggressively Stockfish reduces/prunes.

One thread (so deterministic) and still blind at depth 60!

Code: Select all

info depth 60 seldepth 80 multipv 1 score cp -37 nodes 14264391730 nps 3558700 hashfull 999 tbhits 0 time 4008315 pv e6d5 b8c8 d5a8 c7c4 e5g7 b5b4 g6h6 c8c7 a8d5 c4c5 d5e4 c5a5 g7d4 a5a6 h6g5 c7d6 g5f4 a6a2 e4g6 a7a5 f4e3 a2g2 g6f7 a5a4 e3d3 g2g4 f7h5 g4h4 h5d1 b4b3 d3c3 h4h1 d1b3 h1h3 c3b4 a4b3 d4c3 d6d5 b4b3 d5c5 b3c2 c5c4 c3e5 h3e3 e5f6 e3e2 c2d1 c4d3 d1c1 e2c2 c1b1 d3d2 f6b2 c2c7 b2d4 c7c4 d4f6 c4b4 b1a2 b4b5 f6d8 d2d3 d8f6 d3c4 f6d8 b5b3 d8g5 b3g3 g5f6 g3f3 f6b2 f3e3 b2f6 e3e6 f6g7 e6e2 a2a3 e2e7

Still not seeing!

Code: Select all

info depth 72 seldepth 87 multipv 1 score cp -25 nodes 275738340039 nps 5120082 hashfull 999 tbhits 0 time 53854274 pv e6d5 b8c8 d5a8 c7c4 e5g7 b5b4 a8d5 c4c5 d5e6 c8d8 g7h6 d8e7 e6g8 c5c6 g6g5 c6a6 h6g7 a6c6 g8b3 a7a5 g7e5 c6a6 g5f5 a5a4 b3c4 a6a8 f5e4 a4a3 e4d4 a8a5 c4a2 e7d7 e5f4 a5f5 f4e3 f5f3 a2d5 f3h3 e3c1 h3h2 d4c5 h2c2 c5b4 c2c1 b4a3 d7d6 a3b2 c1c8 d5a2 d6e5 b2b3 e5d4 a2b1 c8a8 b3b2 a8b8 b2c2 b8b6 b1a2 b6f6 c2b3 f6a6 a2b1 a6b6 b3c2 b6b4 b1a2 b4a4 c2b3 a4c4 a2b1 c4c7 b1a2 c7c6 a2b1 c6d6 b3c2 d4c4 b1a2 c4b4 a2f7 b4c5 c2c3 d6d7

[styx]

May be your position is too difficult. Try a #5.

[D]rk6/p1r3p1/P3B1Kp/1p2B3/8/8/8/8 w - - 0 1
Current SF could not solve it in some hours. One thread, slow computer.
Kind regards
Bernhard

Yes, the latest Cfish is also failing here. I suppose this shows how aggressively Stockfish reduces/prunes.

One thread (so deterministic) and still blind at depth 60!

Code: Select all

info depth 60 seldepth 80 multipv 1 score cp -37 nodes 14264391730 nps 3558700 hashfull 999 tbhits 0 time 4008315 pv e6d5 b8c8 d5a8 c7c4 e5g7 b5b4 g6h6 c8c7 a8d5 c4c5 d5e4 c5a5 g7d4 a5a6 h6g5 c7d6 g5f4 a6a2 e4g6 a7a5 f4e3 a2g2 g6f7 a5a4 e3d3 g2g4 f7h5 g4h4 h5d1 b4b3 d3c3 h4h1 d1b3 h1h3 c3b4 a4b3 d4c3 d6d5 b4b3 d5c5 b3c2 c5c4 c3e5 h3e3 e5f6 e3e2 c2d1 c4d3 d1c1 e2c2 c1b1 d3d2 f6b2 c2c7 b2d4 c7c4 d4f6 c4b4 b1a2 b4b5 f6d8 d2d3 d8f6 d3c4 f6d8 b5b3 d8g5 b3g3 g5f6 g3f3 f6b2 f3e3 b2f6 e3e6 f6g7 e6e2 a2a3 e2e7

Still not seeing!

Code: Select all

info depth 72 seldepth 87 multipv 1 score cp -25 nodes 275738340039 nps 5120082 hashfull 999 tbhits 0 time 53854274 pv e6d5 b8c8 d5a8 c7c4 e5g7 b5b4 a8d5 c4c5 d5e6 c8d8 g7h6 d8e7 e6g8 c5c6 g6g5 c6a6 h6g7 a6c6 g8b3 a7a5 g7e5 c6a6 g5f5 a5a4 b3c4 a6a8 f5e4 a4a3 e4d4 a8a5 c4a2 e7d7 e5f4 a5f5 f4e3 f5f3 a2d5 f3h3 e3c1 h3h2 d4c5 h2c2 c5b4 c2c1 b4a3 d7d6 a3b2 c1c8 d5a2 d6e5 b2b3 e5d4 a2b1 c8a8 b3b2 a8b8 b2c2 b8b6 b1a2 b6f6 c2b3 f6a6 a2b1 a6b6 b3c2 b6b4 b1a2 b4a4 c2b3 a4c4 a2b1 c4c7 b1a2 c7c6 a2b1 c6d6 b3c2 d4c4 b1a2 c4b4 a2f7 b4c5 c2c3 d6d7

Texel 1.07 finds it, 1.08 does not

[MikeB]

May be your position is too difficult. Try a #5.

[D]rk6/p1r3p1/P3B1Kp/1p2B3/8/8/8/8 w - - 0 1
Current SF could not solve it in some hours. One thread, slow computer.
Kind regards
Bernhard

Yes, the latest Cfish is also failing here. I suppose this shows how aggressively Stockfish reduces/prunes.

One thread (so deterministic) and still blind at depth 60!

Code: Select all

info depth 60 seldepth 80 multipv 1 score cp -37 nodes 14264391730 nps 3558700 hashfull 999 tbhits 0 time 4008315 pv e6d5 b8c8 d5a8 c7c4 e5g7 b5b4 g6h6 c8c7 a8d5 c4c5 d5e4 c5a5 g7d4 a5a6 h6g5 c7d6 g5f4 a6a2 e4g6 a7a5 f4e3 a2g2 g6f7 a5a4 e3d3 g2g4 f7h5 g4h4 h5d1 b4b3 d3c3 h4h1 d1b3 h1h3 c3b4 a4b3 d4c3 d6d5 b4b3 d5c5 b3c2 c5c4 c3e5 h3e3 e5f6 e3e2 c2d1 c4d3 d1c1 e2c2 c1b1 d3d2 f6b2 c2c7 b2d4 c7c4 d4f6 c4b4 b1a2 b4b5 f6d8 d2d3 d8f6 d3c4 f6d8 b5b3 d8g5 b3g3 g5f6 g3f3 f6b2 f3e3 b2f6 e3e6 f6g7 e6e2 a2a3 e2e7

Still not seeing!

Code: Select all

info depth 72 seldepth 87 multipv 1 score cp -25 nodes 275738340039 nps 5120082 hashfull 999 tbhits 0 time 53854274 pv e6d5 b8c8 d5a8 c7c4 e5g7 b5b4 a8d5 c4c5 d5e6 c8d8 g7h6 d8e7 e6g8 c5c6 g6g5 c6a6 h6g7 a6c6 g8b3 a7a5 g7e5 c6a6 g5f5 a5a4 b3c4 a6a8 f5e4 a4a3 e4d4 a8a5 c4a2 e7d7 e5f4 a5f5 f4e3 f5f3 a2d5 f3h3 e3c1 h3h2 d4c5 h2c2 c5b4 c2c1 b4a3 d7d6 a3b2 c1c8 d5a2 d6e5 b2b3 e5d4 a2b1 c8a8 b3b2 a8b8 b2c2 b8b6 b1a2 b6f6 c2b3 f6a6 a2b1 a6b6 b3c2 b6b4 b1a2 b4a4 c2b3 a4c4 a2b1 c4c7 b1a2 c7c6 a2b1 c6d6 b3c2 d4c4 b1a2 c4b4 a2f7 b4c5 c2c3 d6d7

Texel 1.07 finds it, 1.08 does not

Pruning related - current SF-McBrain 9 sees it after a minute on my machine

Code: Select all

 48	    #5 	1.41G	1:00.15	Bd7 h5 Kf7 h4 Ke8 g6 Kd8 g5 Bxc7# 
 47	    #5 	1.41G	1:00.15	Bd7 h5 Kf7 h4 Ke8 g6 Kd8 g5 Bxc7# 
 46	    #5 	1.41G	1:00.15	Bd7 h5 Kf7 h4 Ke8 g6 Kd8 g5 Bxc7# 
 45	    #5 	1.41G	1:00.15	Bd7 h5 Kf7 h4 Ke8 g6 Kd8 g5 Bxc7# 
 44	    #5!	1.41G	1:00.15	Bd7! 
 43	  0.00 	964.5M	0:42.54	Bd5 Kc8 Bxa8 Rc4 Bxg7 Kc7 Bxh6 Kb6 Bb7 b4 Kf5 b3 Bg7 Kc5 Be4 Kb4 Bb2 Rc7 Bd3 Kc5 Ke4 Re7+ Kf3 Kb4 Kf4 Ka4 Bd4 Rd7 Ke5 Ka3 Bf5 Rf7 Ke4 Rc7 Kd5 b2 Bxb2+ Kxb2 
 42	  0.00 	856.1M	0:38.14	Bd5 Kc8 Bxa8 Rc4 Bxg7 Kc7 Bxh6 Kb6 Bb7 b4 Kf5 b3 Bg7 Kc5 Be4 Kb4 Bb2 Rc7 Bd3 Kc5 Ke4 Re7+ Kf3 Kb4 Kf4 Ka4 Bd4 Rd7 Ke5 Ka3 Bf5 Rf7 Ke4 Rc7 Kd5 b2 Bxb2+ Kxb2 
 41	  0.00 	147.2M	0:06.41	Bd5 Kc8 Bxa8 Rc4 Bxg7 Kc7 Bxh6 Kb6 Bb7 b4 Kf5 b3 Bg7 Kc5 Be4 Kb4 Bb2 Rc7 Bd3 Kc5 Ke4 Re7+ Kf3 Kb4 Kf4 Ka4 Bd4 Rd7 Ke5 Ka3 Bf5 Rf7 Ke4 Rc7 Kd5 b2 Bxb2+ Kxb2 
 40	  0.00 	122.8M	0:05.34	Bd5 Kc8 Bxa8 Rc4 Bxg7 Kc7 Bxh6 Kb6 Bb7 b4 Kf5 b3 Bg7 Kc5 Be4 Kb4 Bb2 Rc7 Bd3 Kc5 Ke4 Re7+ Kf3 Kb4 Kf4 Ka4 Bd4 Rd7 Ke5 Ka3 Bf5 Rf7 Ke4 Rc7 Kd5 b2 Bxb2+ Kxb2 
 39	  0.00 	104.3M	0:04.56	Bd5 Kc8 Bxa8 Rc4 Bxg7 Kc7 Bxh6 Kb6 Bb7 b4 Kf5 b3 Bg7 Kc5 Be4 Kb4 Bb2 Rc7 Bd3 Kc5 Ke4 Re7+ Kf3 Kb4 Kf4 Ka4 Bd4 Rd7 Ke5 Ka3 Bf5 Rf7 Be6 Rc7 Kd5 b2 Bxb2+ Kxb2 
 38	  0.00 	93.5M  	0:04.08	Bd5 Kc8 Bxa8 Rc4 Bxg7 Kc7 Bxh6 Kb6 Bb7 b4 Kf5 b3 Bg7 Kc5 Be4 Kb4 Bb2 Rc7 Bd3 Kc5 Ke4 Re7+ Kf3 Kb4 Kf4 Ka4 Bd4 Rd7 Ke5 Ka3 Bf5 Rf7 Be6 Rc7 Kd5 b2 Bxb2+ Kxb2 
 37	  0.00 	85.1M  	0:03.72	Bd5 Kc8 Bxa8 Rc4 Bxg7 Kc7 Bxh6 Kb6 Bb7 b4 Kf5 b3 Bg7 Kc5 Be4 Kb4 Bb2 Rc7 Bd3 Kc5 Ke4 Re7+ Kf3 Kb4 Kf4 Ka4 Bd4 Rd7 Ke5 Ka3 Bf5 Rf7 Be6 Rc7 Kd5 b2 Bxb2+ Kxb2 
 36	  0.00 	75.1M  	0:03.30	Bd5 Kc8 Bxa8 Rc4 Bxg7 Kc7 Bxh6 Kb6 Bb7 b4 Kf5 b3 Bg7 Kc5 Be4 Kb4 Bb2 Rc7 Bd3 Kc5 Ke4 Re7+ Kf3 Kb4 Kf4 Ka4 Bd4 Rd7 Ke5 Ka3 Bf5 Rf7 Be6 Rc7 Kd5 b2 Bxb2+ Kxb2 
 35	  0.00 	69.7M  	0:03.06	Bd5 Kc8 Bxa8 Rc4 Bxg7 Kc7 Bxh6 Kb6 Bb7 b4 Kf5 b3 Bg7 Kc5 Be4 Kb4 Bb2 Rc7 Bd3 Kc5 Ke4 Re7+ Kf3 Kb4 Kf4 Ka4 Bd4 Rd7 Ke5 Ka3 Bf5 Rf7 Be6 Rc7 Kd5 b2 Bxb2+ Kxb2 
 34	  0.00 	64.0M  	0:02.81	Bd5 Kc8 Bxa8 Rc4 Bxg7 Kc7 Bxh6 Kb6 Bb7 b4 Kf5 b3 Bg7 Kc5 Be4 Kb4 Bb2 Rc7 Bd3 Kc5 Ke4 Re7+ Kf3 Kb4 Kf4 Ka4 Bd4 Rd7 Ke5 Ka3 Bf5 Rf7 Be6 Rc7 Kd5 b2 Bxb2+ Kxb2 
 33	  0.00 	56.9M  	0:02.51	Bd5 Kc8 Bxa8 Rc4 Bxg7 Kc7 Bxh6 Kb6 Bb7 b4 Kf5 b3 Bg7 Kc5 Be4 Kb4 Bb2 Rc7 Bd3 Kc5 Ke4 Re7+ Kf3 Kb4 Kf4 Ka4 Bd4 Rd7 Ke5 Ka3 Bf5 Rf7 Be6 Rc7 Kd5 b2 Bxb2+ Kxb2 
 32	  0.00 	54.6M  	0:02.40	Bd5 Kc8 Bxa8 Rc4 Bxg7 Kc7 Bxh6 Kb6 Bb7 b4 Kf5 b3 Bg7 Kc5 Be4 Kb4 Bb2 Rc7 Bd3 Kc5 Ke4 Re7+ Kf3 Kb4 Kf4 Ka4 Bd4 Rd7 Ke5 Ka3 Bf5 Rf7 Be6 Rc7 Kd5 b2 Bxb2+ Kxb2 
 31	  0.00 	43.7M  	0:01.82	Bd5 Kc8 Bxa8 Rc4 Bxg7 Kc7 Bxh6 Kb6 Bb7 b4 Kf5 b3 Bg7 Kc5 Be4 Kb4 Bb2 Rc7 Bd3 Kc5 Ke4 Re7+ Kf3 Kb4 Kf4 Ka4 Kf3 Re8 Kf4 Re1 Bd4 Re7 Bc5 Rd7 Ke4 Ka5 Ba3 Ka4 Bb2 
 30	  0.00 	39.2M  	0:01.62	Bd5 Kc8 Bxa8 Rc4 Bxg7 Kc7 Bxh6 Kb6 Bb7 b4 Kf5 b3 Bg7 Kc5 Be4 Kb4 Bb2 Rc7 Bd3 Kc5 Ke4 Re7+ Kf3 Kb4 Kf4 Ka4 Kf3 Re8 Be4 Rd8 Ke3 Rd6 Bd3 Rd7 Ke4 Rd8 Ke3 Re8+ Kd4 Kb4 Kd5 Re3 
 29	  0.00 	36.8M  	0:01.51	Bd5 Kc8 Bxa8 Rc4 Bxg7 Kc7 Bxh6 Kb6 Bb7 b4 Kf5 b3 Bg7 Kc5 Be4 Kb4 Bb2 Rc7 Bd3 Kc5 Ke4 Re7+ Kf3 Kb4 Kf4 Ka4 Kf3 Re8 Be4 Rd8 Ke3 Rd6 Bd3 Rd7 Ke4 Rd8 Ke3 Re8+ Kd4 Kb4 
 28	  0.00 	34.4M  	0:01.42	Bd5 Kc8 Bxa8 Rc4 Bxg7 Kc7 Bxh6 Kb6 Bb7 b4 Kf5 b3 Bg7 Kc5 Be4 Kb4 Bb2 Rc7 Bd3 Kc5 Ke4 Re7+ Kf3 Kb4 Kf4 Ka4 Kf3 Re8 Be4 Rd8 Ke3 Rd6 Bd3 Rc6 Ke4 Rc7 Ke3 
 27	  0.00 	32.9M  	0:01.35	Bd5 Kc8 Bxa8 Rc4 Bxg7 Kc7 Bxh6 Kb6 Bb7 b4 Kf5 b3 Bg7 Kc5 Be4 Kb4 Bb2 Rc7 Bd3 Kc5 Ke4 Re7+ Kf3 Kb4 Kf4 Ka4 Kf3 Re8 Be4 Rd8 Ke3 Rd6 Bd3 Re6+ Kf3 Ka5 
 26	  0.00 	31.7M  	0:01.30	Bd5 Kc8 Bxa8 Rc4 Bxg7 Kc7 Bxh6 Kb6 Bb7 b4 Kf5 b3 Bg7 Kc5 Be4 Kb4 Bb2 Rc7 Bd3 Kc5 Ke4 Re7+ Kf3 Kb4 Kf4 Ka4 Kf3 Re8 Be4 Rd8 Ke3 Rd6 Bd3 Re6+ Kf3 
 25	 -0.08 	25.9M  	0:01.06	Bd5 Kc8 Bxa8 Rc4 Bxg7 Kc7 Bxh6 Kb6 Bb7 b4 Kf5 b3 Bg7 Kc5 Be4 Kb4 Bb2 Rc8 Bd3 Kc5 Ke4 Re8+ Kf3 Kb4 Kf4 Ka4 Kf3 Re7 Kf2 Kb4 Kf3 Ka5 Bc3+ Ka4 
 24	 -0.08 	25.2M  	0:01.03	Bd5 Kc8 Bxa8 Rc4 Bxg7 Kc7 Bxh6 Kb6 Be3+ Kxa6 Kf5 b4 Be4 Rc7 Ke6 Ka5 Kd6 Rg7 Bd4 Rg4 Kd5 a6 Bd3 Rg3 Bf1 Rg6 Kc4 Ka4 Bd3 Rh6 Bg7 Rc6+ Kd5 
 23	 -0.08 	24.9M  	0:01.02	Bd5 Kc8 Bxa8 Rc4 Bxg7 Kc7 Bxh6 Kb6 Be3+ Kxa6 Kf5 b4 Be4 Rc7 Ke6 Ka5 Kd6 Rg7 Bd4 Rg4 Kd5 a6 Bd3 Rg3 Bf1 Rg6 Bd3 Rh6 Kc5 
 22	 -0.08 	24.4M  	0:01.00	Bd5 Kc8 Bxa8 Rc4 Bxg7 Kd7 Kxh6 Kd6 Bb7 b4 Kg5 b3 Kf5 Kc5 Be4 Ra4 Bd3 Rh4 Bf6 Rh6 Bc3 Kd5 Kg4 Rc6 Bb2 Kc5 Kf3 Kb4 Ke4 
 21	 -0.08 	24.1M  	0:00.99	Bd5 Kc8 Bxa8 Rc4 Bxg7 Kd7 Kxh6 Kd6 Kg6 Rg4+ Kf6 Kc5 Bb7 Kd4 Bc8 Rg1 Kf7+ Kc5 Bf8+ Kb6 Bd6 Rd1 Ke7 Rf1 Be6 Kxa6 Kd7 
 20	 -0.18 	14.4M  	0:00.60	Bd5 Kc8 Bxa8 Rc4 Bxg7 b4 Kxh6 Kc7 Kg5 Kb6 Bb7 b3 Kf5 Kc5 Be4 Ra4 Bd3 Rh4 Bf6 Rh6 Bc3 Kd5 Kg4 Rc6 Bg7 Rb6 Bb2 
 19	 -0.38 	10.4M  	0:00.44	Bd5 Kc8 Bxa8 Rc4 Bxg7 b4 Kxh6 Kc7 Bb7 Kb6 Kg5 b3 Kf5 Kc5 Be4 Kb4 Bb2 Rc7 Bd3 Re7 Kf4 Ka4 Kf3 
 18	 -0.51 	6.55M  	0:00.29	Bd5 Kc8 Bxa8 Rc4 Bxg7 b4 Kxh6 Kc7 Bd5 Rc5 Be4 Ra5 Kg6 Rxa6+ Kf5 b3 Be5+ Kd7 Kf4 Rb6 Bb2 a5 Ke3 a4 
 17	 -0.50 	3.87M  	0:00.18	Bd5 Kc8 Bxa8 Rc4 Bxg7 Kc7 Kxh6 Kb6 Bd5 Rc2 Be4 Rc8 Bb7 Rd8 Be5 b4 Kg5 
 16	 -0.46 	1.91M  	0:00.09	Bd5 Kc8 Bxa8 Rc4 Kxg7 Kd7 Kxh6 Ke6 Bg7 Kf5 Kh7 b4 Bd5 Rc5 Bb3 Ke4 Kh6 Rc6+ Kg5 
 15	 -0.56 	1.49M  	0:00.07	Bd5 Kc8 Bxa8 Rc4 Bxg7 b4 Bd5 Rc5 Be6+ Kd8 Bxh6 Ke7 Bg8 Rc6+ Kh5 Rxa6 Bd2 Rb6 Be3 Rb7 Bb3 a5 
 14	 -0.61 	1.19M  	0:00.06	Bd5 Kc8 Bxa8 Rc4 Bxg7 b4 Bd5 Rc5 Be6+ Kd8 Bxh6 Ke7 Bg8 Rc3 Bg5+ Kd6 Bf4+ Kc6 Be5 Ra3 Kf6 Rxa6 
 13	 -0.47 	972305	0:00.05	Bd5 Kc8 Bxa8 Rc4 Bxg7 b4 Bd5 Rc5 Be6+ Kd8 Bg8 Kc7 Kxh6 Rc6+ Kg5 Rxa6 Kf5 Ra5+ Kf4 
 12	 -0.44 	644226	0:00.04	Bd5 Kc8 Bxa8 Rc4 Bxg7 h5 Kxh5 Kc7 Bf3 Kb6 Kh6 Rf4 Be2 
 11	 -0.17 	118237	0:00.02	Bd5 Kc8 Bxa8 Rc2 Be4 Ra2 Bf5+ Kd8 Kxg7 Rxa6 Bd3 Rb6 
 10	  0.00 	22960  	0:00.01	Bd5 b4 Bxa8 Kxa8 Bxc7 b3 Be5 h5 Kxh5 b2 Bxb2 
  9	 -0.08 	8935    	0:00.00	Bd5 b4 Bxa8 Kxa8 Bxc7 b3 Be5 h5 Kxh5 b2 Bxb2 
  8	 -0.08 	5557    	0:00.00	Bd5 b4 Bxa8 Kxa8 Bxc7 b3 Be5 h5 Kxh5 
  7	 -0.08 	5297    	0:00.00	Bd5 b4 Bxa8 Kxa8 Bxc7 b3 Be5 h5 
  6	 -0.08 	4978    	0:00.00	Bd5 b4 Bxa8 Kxa8 Bxc7 b3 Be5 
  5	 -0.08 	3997    	0:00.00	Bd5 b4 Bxa8 Kxa8 Bxc7 
  4	 -0.08 	3164    	0:00.00	Bd5 b4 Bxa8 Kxa8 
  3	 -0.08 	2279    	0:00.00	Bd5 b4 Bxa8 
  2	 -0.55 	1467    	0:00.00	Bd5 b4 
  1	 -3.94 	170      	0:00.00	Bd5 
  0	# 

[Master Om]

Matefinder found it.


[Analysis "MateFinder 64"]
[AnalysisTime "58"]
[FEN "[D]rk6/p1r3p1/P3B1Kp/1p2B3/8/8/8/8 w - - 0 1"]

1. Bd7 b4 2. Kf7 b3 3. Ke7 b2 4. Kd8 b1=Q 5. Bxc7# {(0:00:58) 61323kN}{[%eval
29995,127,MateFinder 64][%meval 58s|TB:1m]} *