Stockfish MateFinder Update

Discussion of anything and everything relating to chess playing software and machines.

Moderators: hgm, Rebel, chrisw

User avatar
yurikvelo
Posts: 710
Joined: Sat Dec 06, 2014 1:53 pm

Re: Stockfish MateFinder Update

Post by yurikvelo »

What is #46 solution?
User avatar
Eelco de Groot
Posts: 4567
Joined: Sun Mar 12, 2006 2:40 am
Full name:   

Re: Stockfish MateFinder Update

Post by Eelco de Groot »

yurikvelo wrote:What is #46 solution?
It is probably 1. Bg5{!} Rainbow Serpent will choose that move after ten minutes but it will take much longer to get a Mate in X score. There are no special adaptions in the code for finding those, Matefinder and Sting are probably much better at this.


qrr1b3/pn2p3/npppp1P1/4pP2/2P2BPp/PPN1P2B/4R2K/2k5 w - -

Engine: Rainbow Serpent 20162803_016 MP (i7 6700 4 threads, 512 MB)
by T. Romstad, M. Costalba, J. Kiiski, G. Linscott

27/08 0:01 0.00 1.Na2+ Kb1 2.Nc3+ Kc1 (11.905.807) 6302

28/08 0:10 0.00 1.Na2+ Kb1 2.Nc3+ Kc1 (62.853.515) 5904

29/08 0:11 0.00 1.Na2+ Kb1 2.Nc3+ Kc1 (71.058.878) 5976

30/08 0:18 0.00 1.Na2+ Kb1 2.Nc3+ Kc1 (112.953.801) 6097

31/08 0:32 0.00 1.Na2+ Kb1 2.Nc3+ Kc1 (197.698.376) 6095

32/08 0:47 0.00 1.Na2+ Kb1 2.Nc3+ Kc1 (290.380.016) 6122

33/08 0:55 0.00 1.Na2+ Kb1 2.Nc3+ Kc1 (338.122.711) 6113

34/08 1:13 0.00 1.Na2+ Kb1 2.Nc3+ Kc1 (452.857.245) 6137

35/30 10:00 +0.03++ 1.Bg5 (3.530.306.297) 5875

35/30 10:02 +0.06++ 1.Bg5 (3.537.436.178) 5874

35/30 10:03 +0.12++ 1.Bg5 (3.544.671.096) 5872

35/30 10:04 +0.20++ 1.Bg5 (3.547.612.690) 5872

35/30 10:04 +0.33++ 1.Bg5 (3.549.088.505) 5872

35/30 10:04 +0.51++ 1.Bg5 (3.550.168.937) 5871

35/30 10:04 +0.75++ 1.Bg5 (3.551.103.690) 5871

35/30 10:10 +1.07++ 1.Bg5 (3.580.278.121) 5867

35/30 10:24 +1.48++ 1.Bg5 (3.657.279.074) 5855

35/30 10:40 +2.02++ 1.Bg5 (3.742.249.585) 5845

35/30 10:59 +2.70++ 1.Bg5 (3.844.383.216) 5832

35/30 11:53 +3.58++ 1.Bg5 (4.142.839.251) 5802

35/30 12:30 +4.69++ 1.Bg5 (4.344.719.597) 5786

35/30 13:07 +6.10++ 1.Bg5 (4.555.507.301) 5783

35/50 14:53 +7.87++ 1.Bg5 (5.186.519.751) 5806

35/66 17:12 +8.64 1.Bg5 e4 2.Nxe4 e5 3.Nc3 e4 4.Nxe4 Nbc5
5.Nc3 Ne4 6.Nxe4 Nb4 7.axb4 c5 8.Nc3 Qe4
9.Nxe4 cxb4 10.Bxe7 d5 11.cxd5 Rc3
12.g7 Bf7 13.d6 Rxb3 14.d7 (6.022.219.854) 5833

36/66 26:14 +8.67++ 1.Bg5 (9.310.988.107) 5913

36/66 27:05 +8.70++ 1.Bg5 (9.593.984.166) 5900

36/66 27:45 +8.76++ 1.Bg5 (9.815.425.293) 5892

36/66 28:26 +8.85++ 1.Bg5 (10.036.542.167) 5881

36/66 28:56 +8.98++ 1.Bg5 (10.197.053.082) 5873

36/66 29:23 +9.16++ 1.Bg5 (10.350.459.354) 5867

36/66 30:11 +9.40++ 1.Bg5 (10.630.779.551) 5868

36/66 34:03 +9.72++ 1.Bg5 (12.032.349.867) 5887

36/66 41:51 +10.13++ 1.Bg5 (14.709.898.251) 5857
Debugging is twice as hard as writing the code in the first
place. Therefore, if you write the code as cleverly as possible, you
are, by definition, not smart enough to debug it.
-- Brian W. Kernighan
User avatar
yurikvelo
Posts: 710
Joined: Sat Dec 06, 2014 1:53 pm

Re: Stockfish MateFinder Update

Post by yurikvelo »

[pgn]
[Event "Computer chess game"]
[SetUp "1"]
[FEN "qrr1b3/pn2p3/npppp1P1/4pP2/2P2BPp/PPN1P2B/4R2K/2k5 w - - 0 1"]
[PlyCount "3"]

1. Bg5 e4 2. Nxe4 *[/pgn]

Code: Select all

D=41/69, 55 277 MN, SF Matefinder
+11,82	2. ... Nbc5 3.Nc3 Ne4 4.Nxe4 c5 5.Nc3 Qe4
+13,60	2. ... e5 3.Nc3 e4 4.Nxe4 Nbc5 5.Nc3 Ne4
+M18	2. ... Nac5 3.Nc3 Ne4 4.Nxe4 Nc5 5.Nc3 Ne4
+M11	2. ... exf5 3.Nc3 e5 4.Na2+ Kb1 5.gxf5 e4
+M11	2. ... Nb4 3.axb4 Nc5 4.bxc5 e5 5.Nc3 e4
User avatar
yurikvelo
Posts: 710
Joined: Sat Dec 06, 2014 1:53 pm

Re: Stockfish MateFinder Update

Post by yurikvelo »

Even after 7-ply manual deepening - no progress.
From D=1 to D=41 no eval raise

[pgn]
[Event "Computer chess game"]
[SetUp "1"]
[FEN "qrr1b3/pn2p3/npppp1P1/4pP2/2P2BPp/PPN1P2B/4R2K/2k5 w - - 0 1"]
[PlyCount "7"]

1. Bg5 e4 2. Nxe4 Nbc5 3. Nc3 Ne4 4. Nxe4 *
[/pgn]

Code: Select all

D=41/72, 74 243 MN, SF Matefinder
+11,91	4. ... Nb4 5.axb4 c5 6.Nc3 Qe4 7.Nxe4 cxb4
+10,97	4. ... e5 5.Nc3 e4 6.Nxe4 Nb4 7.axb4 c5
+M16	4. ... Nc5 5.Nc3 Ne4 6.Nxe4 c5 7.Nc3 Qe4
+M10	4. ... exf5 5.Nc3 e5 6.Na2+ Kb1 7.gxf5 e4
User avatar
Eelco de Groot
Posts: 4567
Joined: Sun Mar 12, 2006 2:40 am
Full name:   

Re: Stockfish MateFinder Update

Post by Eelco de Groot »

No, there did not seem to be an easy mate this way. But even if there is, it is hard for Stockfsh to find; because of the large material difference it tries to escape into perpetual check. That Rainbow Serpent found something better than a perpetual seems largely luck. Another version still can't find Bg5 as better than 0.00 but quickly went to Bh6 with almost the same line as after Bg5. But after a while, no progress there anymore either. So there is maybe something simpler but Stockfish, at least Rainbow Serpent, does not see it. Of course if you want an answer quickly you should try ChestUCI itself, but I was more interested in what Stockfish does or does not see here.

I stopped version 016 here:


38/66 150:31 +11.38 1.Bg5 e4 2.Nxe4 Nbc5 3.Nc3 Ne4
4.Nxe4 c5 5.Nc3 Qe4 6.Nxe4 Nb4
7.axb4 cxb4 8.Bxe7 a5 9.Nxd6 Rc7
10.g7 Bc6 11.Bf8 Rxg7 12.Bxg7 exf5
13.gxf5 Rd8 14.Be5 (53.357.105.610) 5907

39/66 217:11 +11.41++ 1.Bg5 (77.551.874.310) 5951

39/66 218:01 +11.44++ 1.Bg5 (77.852.538.225) 5951

39/66 219:20 +11.50++ 1.Bg5 (78.343.035.920) 5952

39/66 220:03 +11.59++ 1.Bg5 (78.602.143.043) 5953

39/66 239:00 +11.72++ 1.Bg5 (85.521.013.546) 5963

best move: Bf4-g5 time: 242:42.188 min n/s: 5.963.400 nodes: 86.869.092.145


Version 017 found something else

[D]qrr1b3/pn2p3/npppp1P1/4pP2/2P2BPp/PPN1P2B/4R2K/2k5 w - -

Engine: Rainbow Serpent 20162803_017 MP (i7 6700, 4 threads, 512 MB)
by T. Romstad, M. Costalba, J. Kiiski, G. Linscott
Change: Futility LMR, rudimental, called FutilityReductions, just one ply added to LMR if FutilityValue <= alpha

28/06 0:02 0.00 1.Na2+ Kb1 2.Nc3+ Kc1 (14.269.048) 6255

29/06 0:04 0.00 1.Na2+ Kb1 2.Nc3+ Kc1 (28.346.113) 6294

30/06 0:09 0.00 1.Na2+ Kb1 2.Nc3+ Kc1 (60.388.615) 6079

31/06 0:12 0.00 1.Na2+ Kb1 2.Nc3+ Kc1 (76.879.816) 6123

32/06 0:16 0.00 1.Na2+ Kb1 2.Nc3+ Kc1 (101.677.081) 6137

33/06 0:36 0.00 1.Na2+ Kb1 2.Nc3+ Kc1 (222.361.323) 6095

34/06 0:49 0.00 1.Na2+ Kb1 2.Nc3+ Kc1 (297.669.077) 6049

35/06 2:14 0.00 1.Na2+ Kb1 2.Nc3+ Kc1 (798.807.768) 5929

36/24 4:30 +0.03++ 1.Bh6 (1.611.244.654) 5946

36/24 4:32 +0.06++ 1.Bh6 (1.619.984.366) 5945

36/24 4:35 +0.12++ 1.Bh6 (1.636.030.929) 5943

36/24 4:36 +0.20++ 1.Bh6 (1.644.958.709) 5943

36/24 4:38 +0.33++ 1.Bh6 (1.656.163.728) 5944

36/24 4:39 +0.51++ 1.Bh6 (1.662.575.150) 5944

36/24 4:40 +0.75++ 1.Bh6 (1.669.536.523) 5943

36/24 4:44 +1.07++ 1.Bh6 (1.690.435.460) 5942

36/24 4:46 +1.48++ 1.Bh6 (1.703.689.344) 5941

36/24 4:49 +2.02++ 1.Bh6 (1.717.940.827) 5941

36/24 4:51 +2.70++ 1.Bh6 (1.729.274.138) 5939

36/24 4:54 +3.58++ 1.Bh6 (1.750.645.536) 5941

36/24 5:18 +4.69++ 1.Bh6 (1.890.465.217) 5929

36/62 6:33 +6.10++ 1.Bh6 (2.321.964.744) 5905

36/62 7:46 +6.79 1.Bh6 e4 2.Nxe4 Nbc5 3.Nc3 Ne4
4.Nxe4 c5 5.Nc3 Qe4 6.Nxe4 Nb4
7.axb4 cxb4 8.g7 Bf7 9.f6 exf6
10.Nxd6 Kd1 11.Rf2 Rc7 12.Rxf6 Kc2
13.Rxf7 Rxf7 14.Nxf7 (2.741.608.545) 5881
.
.
.

42/77 1053:06+10.34 1.Bh6 e4 2.Nxe4 Nbc5 3.Nc3 Ne4
4.Nxe4 Nb4 5.axb4 c5 6.Nc3 Qe4
7.Nxe4 cxb4 8.g7 Bf7 9.f6 Rc7 10.g5 a5
11.Rf2 Rg8 12.g6 Bxg6 13.Bxe6 exf6
14.Bxg8 (354.106.993.531) 5604

43/77 1213:54+10.37++ 1.Bh6 (408.770.229.424) 5612

43/77 1237:42+10.41++ 1.Bh6 (416.773.134.894) 5612

43/77 1247:44+10.37-- 1.Bh6 e4 (420.096.361.012) 5611


But if I go forward in this line, opening a new instance of version 017 again, until now the score goes not much higher than 10.3. I switched the first instance to Multi PV but it sees only Bh6... :lol:
Debugging is twice as hard as writing the code in the first
place. Therefore, if you write the code as cleverly as possible, you
are, by definition, not smart enough to debug it.
-- Brian W. Kernighan
User avatar
Eelco de Groot
Posts: 4567
Joined: Sun Mar 12, 2006 2:40 am
Full name:   

Re: Stockfish MateFinder Update

Post by Eelco de Groot »

Eelco de Groot wrote: But if I go forward in this line, opening a new instance of version 017 again, until now the score goes not much higher than 10.3. I switched the first instance to Multi PV but it sees only Bh6... :lol:
Finally at depth 35 version 17 Multi PV sees both moves. But it is not sure that either of these is the intended solution to the problem. I am not sure how come it takes so long to find Bg5. I started with hash containing the Bh6 result so it already knew that move but it should have found Bg5 sooner.

qrr1b3/pn2p3/npppp1P1/4pP2/2P2BPp/PPN1P2B/4R2K/2k5 w - -

Engine: Rainbow Serpent 20162803_017 MP (512 MB)
by T. Romstad, M. Costalba, J. Kiiski, G. Linscott

35 212:27 +8.52 1.Bg5 e4 2.Nxe4 Nbc5 3.Nc3 Ne4
4.Nxe4 Nb4 5.axb4 c5 6.Nc3 Qe4
7.Nxe4 cxb4 8.Bxe7 d5 9.cxd5 Bxg6
10.fxg6 exd5 11.Nf6 Rb7 12.Nxd5 a5
13.Bg2 Rg8 14.Be4 (45.898.306.704) 3600

35 212:27 +7.41 1.Bh6 e4 2.Nxe4 Nbc5 3.Nc3 Ne4
4.Nxe4 Nb4 5.axb4 c5 6.Nc3 Qe4
7.Nxe4 cxb4 8.g7 Bf7 9.f6 Rc7 10.g5 a5
11.Rg2 Bg6 12.Rf2 exf6 13.gxf6 Bxe4
14.f7 (45.898.306.704) 3600

35 212:27 0.00 1.g5 Nb4 2.axb4 Rd8 3.g7 exf4 4.Na2+ Kb1
5.g8Q Bh5 6.Nc3+ Kc1 7.Na2+ Kd1
8.Nc3+ Kc1 (45.898.306.704) 3600

35 212:27 0.00 1.Kh1 Nb4 2.axb4 Bf7 3.Na2+ Kb1
4.Nc3+ Kc1 (45.898.306.704) 3600

35 212:27 0.00 1.Rf2 Nb4 2.axb4 Nc5 3.Na2+ Kb1
4.Nc3+ Kc1 (45.898.306.704) 3600

35 212:27 0.00 1.f6 Nb4 2.axb4 Bxg6 3.Na2+ Kb1
4.Nc3+ Kc1 (45.898.306.704) 3600

35 212:27 0.00 1.e4+ exf4 2.Na2+ Kb1 3.Nc3+ Kc1 (45.898.306.704) 3600

35 212:27 0.00 1.Na2+ Kb1 2.Nc3+ Kc1 (45.898.306.704) 3600

35 212:27 0.00 1.b4 Nxb4 2.axb4 Nc5 3.Na2+ Kb1
4.Nc3+ Kc1 (45.898.306.704) 3600

35 212:27 0.00 1.Bxe5 Nb4 2.axb4 dxe5 3.Na2+ Kd1
4.Nc3+ Kc1 (45.898.306.704) 3600

35 212:27 0.00 1.g7 Bd7 2.g8Q Rxg8 3.Na2+ Kd1
4.Nc3+ Kc1 (45.898.306.704) 3600

35 212:27 0.00 1.fxe6 Nb4 2.axb4 Bxg6 3.e4+ exf4
4.Na2+ Kb1 5.Nc3+ Kc1 (45.898.306.704) 3600

35 212:27 0.00 1.Bg2 exf5 2.Na2+ Kb1 3.Nc3+ Kc1 (45.898.306.704) 3600

35 212:27 0.00 1.Kg1 Nb4 2.axb4 exf4 3.g5 fxe3
4.Na2+ Kb1 5.Nc3+ Kc1 (45.898.306.704) 3600
Debugging is twice as hard as writing the code in the first
place. Therefore, if you write the code as cleverly as possible, you
are, by definition, not smart enough to debug it.
-- Brian W. Kernighan
MOBMAT
Posts: 385
Joined: Sat Feb 04, 2017 11:57 pm
Location: USA

Re: Stockfish MateFinder Update

Post by MOBMAT »

Eelco de Groot wrote: Thu Apr 21, 2016 5:35 pm Rainbow Serpent can find the second solution but it takes a bit longer to see it is Mate in 17
8/1N6/p1R3p1/p2k1prb/p4Kpb/p5p1/P3P1P1/8 w - -

Engine: Rainbow Serpent 20162803_016 MP (i7 6700, 4 threads, 512 MB)
by T. Romstad, M. Costalba, J. Kiiski, G. Linscott
.
.
.
47/65 3:23 +M20 1.Nd8 Kd4 2.Nf7 Kd5 3.Ne5 Kd4 4.Rc1 Kd5
5.Rd1+ Ke6 6.Rd7 Kf6 7.Rd6+ Ke7
8.Rb6 Kd8 9.Rb7 Kc8 10.Rd7 Kb8
11.Re7 Kc8 12.Nf7 Kb8 13.Nd6 Ka8
14.Rd7 (1.639.460.072) 8062

48/65 3:57 +M19 1.Nd8 Kd4 2.Nf7 Kd5 3.Ne5 Kd4 4.Rd6+ Kc3
5.Rd8 Kc2 6.Nc4 Kc3 7.Ne3 Kb4 8.Rc8 Kb5
9.Rc7 Kb6 10.Nd5+ Kb5 11.Nf6 Kb6
12.Ne8 Kb5 13.Nd6+ Kb6 14.Rc1 (1.897.371.917) 7977

49/65 5:25 +M19 1.Nd8 Kd4 2.Nf7 Kd5 3.Ne5 Kd4 4.Rd6+ Kc3
5.Rd8 Kc2 6.Nc4 Kc3 7.Ne3 Kb4 8.Rc8 Kb5
9.Rc7 Kb6 10.Nd5+ Kb5 11.Nf6 Kb6
12.Ne8 Kb5 13.Nd6+ Kb6 14.Rc1 (2.557.058.387) 7862

50/65 6:55 +M19 1.Nd8 Kd4 2.Nf7 Kd5 3.Ne5 Kd4 4.Rd6+ Kc3
5.Rd8 Kc2 6.Nc4 Kc3 7.Ne3 Kb4 8.Rc8 Kb5
9.Rc7 Kb6 10.Nd5+ Kb5 11.Nf6 Kb6
12.Ne8 Kb5 13.Nd6+ Kb6 14.Rc1 (3.250.978.107) 7827

51/65 9:42 +M19 1.Nd8 Kd4 2.Nf7 Kd5 3.Ne5 Kd4 4.Rd6+ Kc3
5.Rd8 Kc2 6.Nc4 Kc3 7.Ne3 Kb4 8.Rc8 Kb5
9.Rc7 Kb6 10.Nd5+ Kb5 11.Nf6 Kb6
12.Ne8 Kb5 13.Nd6+ Kb6 14.Rc1 (4.513.097.906) 7754

52/65 12:02 +M19 1.Nd8 Kd4 2.Nf7 Kd5 3.Ne5 Kd4 4.Rd6+ Kc3
5.Rd8 Kc2 6.Nc4 Kc3 7.Ne3 Kb4 8.Rc8 Kb5
9.Rc7 Kb6 10.Nd5+ Kb5 11.Nf6 Kb6
12.Ne8 Kb5 13.Nd6+ Kb6 14.Rc1 (5.587.711.526) 7732

53/65 17:39 +M19 1.Nd8 Kd4 2.Nf7 Kd5 3.Ne5 Kd4 4.Rd6+ Kc3
5.Rd8 Kc2 6.Nc4 Kc3 7.Ne3 Kb4 8.Rc8 Kb5
9.Rc7 Kb6 10.Nd5+ Kb5 11.Nf6 Kb6
12.Ne8 Kb5 13.Nd6+ Kb6 14.Rc1 (8.142.465.466) 7688

54/65 24:28 +M19 1.Nd8 Kd4 2.Nf7 Kd5 3.Ne5 Kd4 4.Rd6+ Kc3
5.Rd8 Kc2 6.Nc4 Kc3 7.Ne3 Kb4 8.Rc8 Kb5
9.Rc7 Kb6 10.Nd5+ Kb5 11.Nf6 Kb6
12.Ne8 Kb5 13.Nd6+ Kb6 14.Rc1 (11.184.819.885) 7614

55/65 32:12 +M17 1.Nd8 Kd4 2.Nf7 Kd5 3.Rd6+ Kc5 4.Rd3 Kc4
5.Ne5+ Kb4 6.e3 Kc5 7.Rd2 Kb4 8.Rc2 Kb5
9.Nf7 Kb4 10.Rc7 Kb5 11.Nd6+ Kb6
12.Rc1 Ka7 13.Rb1 Ka8 14.Nc4 (14.679.922.043) 7597


best move: Nb7-d8 time: 32:59.203 min n/s: 7.597.611 nodes: 15.032.880.677
This position is a triple.

Code: Select all

FEN: 8/1N6/p1R3p1/p2k1prb/p4Kpb/p5p1/P3P1P1/8 w - - 0 1

Crystal 2.0:

---------------------------------------------------------------------------
 29	00:13	 95,534k	7,330k	+M18	1.Rc7 Kd4 2.Nd8 Kd5 3.Rd7+ Kc4 4.Rd3 Kb4 5.Nf7 Kc5 6.Ne5 Kb4 7.e3 Kc5 8.Rd2 Kb5 9.Rc2 Kb6 10.Nf7 Ka7 11.Nd6 Ka8 12.Rc7 Kb8 13.Rb7+ Ka8 14.Rb1 Ka7 15.Nf7 Ka8 16.Nd8 Ka7 17.Nc6+ Ka8 18.Rb8+
 29	00:13	 95,534k	7,330k	+M18	1.Rc1 Kd4 2.Nd6 Kd5 3.Rd1+ Kc5 4.Nf7 Kc4 5.Rd3 Kc5 6.Ne5 Kb4 7.e3 Kc5 8.Rd2 Kb4 9.Rc2 Kb5 10.Rc8 Kb6 11.Nf7 Ka7 12.Nd6 Kb6 13.Rc1 Ka7 14.Rb1 Ka8 15.Nc4 Ka7 16.Nxa5 Ka8 17.Nc6 a5 18.Rb8+
 29	00:13	 95,534k	7,330k	+M17	1.Nd8 Kd4 2.Nf7 Kd5 3.Rd6+ Kc5 4.Rd3 Kc4 5.Ne5+ Kb4 6.e3 Kc5 7.Rd2 Kb5 8.Rc2 Kb6 9.Nf7 Ka7 10.Nd6 Ka8 11.Rc7 Kb8 12.Rb7+ Ka8 13.Rb1 Ka7 14.Nc4 Ka8 15.Nxa5 Ka7 16.Nc6+ Ka8 17.Rb8+
 29	00:13	 95,534k	7,330k	+M17	1.Rd6+ Kc4 2.Rd3 Kb4 3.Nd8 Kc4 4.Nf7 Kc5 5.Ne5 Kb4 6.e3 Kc5 7.Rd2 Kb4 8.Rc2 Kb5 9.Rc8 Kb6 10.Nf7 Kb7 11.Rc1 Kb8 12.Nd6 Ka7 13.Rb1 Ka8 14.Nc4 Ka7 15.Nxa5 Ka8 16.Nc6 a5 17.Rb8+
---------------------------------------------------------------------------
 30	00:16	 122,440k	7,421k	+M18	1.Rc1 Kd4 2.Nc5 Kd5 3.Nd7 Ke6 4.Rd1 Ke7 5.Nc5 Kf7 6.Rd6 Ke7 7.Rd3 Kf7 8.Re3 Kg7 9.Nd7 Kf7 10.Re5 Kg7 11.Re7+ Kh6 12.Re8 Kh7 13.Rf8 Kg7 14.e3 Kh7 15.Nc5 Kh6 16.Ne6 Kh7 17.Re8 Kh6 18.Rh8+
 30	00:16	 122,440k	7,421k	+M18	1.Rd6+ Kc4 2.Rd3 Kb4 3.Nd8 Kc5 4.Nf7 Kc4 5.Ne5+ Kb4 6.e3 Kc5 7.Rd1 Kb5 8.Rc1 Kb6 9.Nd7+ Kb5 10.Rc7 Kb4 11.Nb6 Kb5 12.Nc8 Kb4 13.Rc6 Kb5 14.Na7+ Kb4 15.Ke5 f4+ 16.Kd4 Rd5+ 17.Kxd5 fxe3 18.Rc4+
 30	00:16	 122,440k	7,421k	+M17	1.Rc3 Kd4 2.Rd3+ Kc4 3.Nd8 Kc5 4.Nf7 Kc4 5.Ne5+ Kb4 6.e3 Kc5 7.Rd2 Kb6 8.Rc2 Kb5 9.Nd7 Kb4 10.Nb6 Kb5 11.Nc8 Kb4 12.Rc6 Kb5 13.Na7+ Kb4 14.Ke5 f4+ 15.Kd4 Rd5+ 16.Kxd5 fxe3 17.Rc4+
 30	00:16	 122,440k	7,421k	+M17	1.Nd8 Kd4 2.Nf7 Kd5 3.Rd6+ Kc5 4.Rd3 Kc4 5.Ne5+ Kb4 6.e3 Kc5 7.Rd2 Kb5 8.Rc2 Kb6 9.Nf7 Ka7 10.Nd6 Ka8 11.Rc7 Kb8 12.Rb7+ Ka8 13.Rb1 Ka7 14.Nc8+ Ka8 15.Ne7 Ka7 16.Nc6+ Ka8 17.Rb8+
---------------------------------------------------------------------------
 31	00:21	 163,178k	7,550k	+M18	1.Rc1 Kd4 2.Nd8 Kd5 3.Rc3 Kd6 4.Rd3+ Ke7 5.Rd5 Ke8 6.Nb7 Ke7 7.Nc5 Kf6 8.Re5 Kg7 9.Nd7 Kf7 10.Re3 Kg7 11.Re7+ Kh6 12.Re8 Kh7 13.Rf8 Kg7 14.e3 Kh7 15.Nc5 Kh6 16.Ne6 Kh7 17.Re8 Kh6 18.Rh8+
 31	00:21	 163,178k	7,550k	+M17	1.Rd6+ Kc4 2.Rd3 Kb4 3.Nd8 Kc4 4.Nc6 Kc5 5.Ne5 Kb4 6.e3 Kc5 7.Rd2 Kb5 8.Rc2 Kb6 9.Nf7 Ka7 10.Nd6 Ka8 11.Rc7 Kb8 12.Rb7+ Ka8 13.Rb1 Ka7 14.Nc4 Ka8 15.Nxa5 Ka7 16.Nc6+ Ka8 17.Rb8+
 31	00:21	 163,178k	7,550k	+M17	1.Rc3 Kd4 2.Rd3+ Kc4 3.Nd8 Kb4 4.Nc6+ Kc5 5.Ne5 Kb4 6.e3 Kc5 7.Rd2 Kb6 8.Rc2 Kb5 9.Nd7 Kb4 10.Nb6 Kb5 11.Nc8 Kb4 12.Rc6 Kb5 13.Na7+ Kb4 14.Ke5 f4+ 15.Kd4 Rd5+ 16.Kxd5 fxe3 17.Rc4+
 31	00:21	 163,178k	7,550k	+M17	1.Nd8 Kd4 2.Nf7 Kd5 3.Ne5 Kd4 4.Rd6+ Kc3 5.Rd7 Kc2 6.Nc4 Kc3 7.Ne3 Kb4 8.Rc7 Kb5 9.Nc4 Kb4 10.Nb6 Kb5 11.Nc8 Kb4 12.Rc6 Kb5 13.Na7+ Kb4 14.Ke3 f4+ 15.Kd4 Rd5+ 16.Kxd5 f3 17.Rc4+
---------------------------------------------------------------------------
 32	00:27	 205,718k	7,590k	+M18	1.Rc1 Kd4 2.Nd8 Kd5 3.Rd1+ Kc4 4.Rd3 Kc5 5.Nf7 Kc4 6.Ne5+ Kb4 7.e3 Kc5 8.Rd2 Kb5 9.Rc2 Kb6 10.Nf7 Ka7 11.Nd6 Ka8 12.Rc7 Kb8 13.Rb7+ Ka8 14.Rb1 Ka7 15.Nc4 Ka8 16.Nxa5 Ka7 17.Nc6+ Ka8 18.Rb8+
 32	00:27	 205,718k	7,590k	+M17	1.Rd6+ Kc4 2.Rd3 Kb4 3.Nd6 Kc5 4.Nf7 Kc4 5.Ne5+ Kb4 6.e3 Kc5 7.Rd2 Kb5 8.Rc2 Kb6 9.Nf7 Ka7 10.Nd6 Ka8 11.Rc7 Kb8 12.Rb7+ Ka8 13.Rb1 Ka7 14.Nc4 Ka8 15.Nxa5 Ka7 16.Nc6+ Ka8 17.Rb8+
 32	00:27	 205,718k	7,590k	+M17	1.Rc3 Kd4 2.Rd3+ Kc4 3.Nd8 Kc5 4.Nf7 Kc6 5.Ne5+ Kc7 6.Rd2 Kc8 7.Rd7 Kb8 8.Nf7 Kc8 9.Re7 Kb8 10.Nd6 Ka8 11.e3 Kb8 12.Rb7+ Ka8 13.Rb1 Ka7 14.Nc4 Ka8 15.Nxa5 Ka7 16.Nc6+ Ka8 17.Rb8+
 32	00:27	 205,718k	7,590k	+M17	1.Nd8 Kd4 2.Nf7 Kd5 3.Rd6+ Kc5 4.Rd3 Kc4 5.Ne5+ Kb4 6.e3 Kc5 7.Rd2 Kb5 8.Rc2 Kb6 9.Nf7 Ka7 10.Nd6 Ka8 11.Rc7 Kb8 12.Rb7+ Ka8 13.Rb1 Ka7 14.Nc4 Ka8 15.Nxa5 Ka7 16.Nc6+ Ka8 17.Rb8+
---------------------------------------------------------------------------
 33	00:48	 377,988k	7,766k	+M18	1.Rc1 Kd4 2.Nd6 Kd5 3.Rd1+ Kc5 4.Nf7 Kc4 5.Rd7 Kc5 6.Ne5 Kb6 7.e3 Kb5 8.Rc7 Kb6 9.Rc2 Kb5 10.Nd7 Kb4 11.Nb6 Kb5 12.Nc8 Kb4 13.Rc6 Kb5 14.Na7+ Kb4 15.Ke5 f4+ 16.Kd4 Rd5+ 17.Kxd5 fxe3 18.Rc4+
 33	00:48	 377,988k	7,766k	+M17	1.Rd6+ Kc4 2.Rd3 Kb4 3.Nd6 Kc5 4.Nf7 Kc6 5.Ne5+ Kc7 6.Rd2 Kc8 7.Rd7 Kb8 8.Nf7 Kc8 9.Re7 Kb8 10.Nd6 Ka8 11.e3 Kb8 12.Rb7+ Ka8 13.Rb1 Ka7 14.Nc4 Ka8 15.Nxa5 Ka7 16.Nc6+ Ka8 17.Rb8+
 33	00:48	 377,988k	7,766k	+M17	1.Rc3 Kd4 2.Rd3+ Kc4 3.Nd8 Kb4 4.Nc6+ Kc4 5.Ne5+ Kb4 6.e3 Kc5 7.Rd2 Kb4 8.Rc2 Kb5 9.Nd7 Kb4 10.Nb6 Kb5 11.Nc8 Kb4 12.Rc6 Kb5 13.Na7+ Kb4 14.Ke5 f4+ 15.Kd4 Rd5+ 16.Kxd5 fxe3 17.Rc4+
 33	00:48	 377,988k	7,766k	+M17	1.Nd8 Kd4 2.Nf7 Kd5 3.Rd6+ Kc5 4.Rd3 Kc4 5.Ne5+ Kb4 6.e3 Kc5 7.Rd2 Kb5 8.Rc2 Kb6 9.Nf7 Ka7 10.Nd6 Ka8 11.Rc7 Kb8 12.Rb7+ Ka8 13.Rb1 Ka7 14.Nc4 Ka8 15.Nxa5 Ka7 16.Nc6+ Ka8 17.Rb8+
---------------------------------------------------------------------------
 34	01:00	 474,347k	7,810k	+M18	1.Rc1 Kd4 2.Nd8 Kd5 3.Rd1+ Kc5 4.Nf7 Kc4 5.Ne5+ Kc3 6.Rd7 Kc2 7.Nc4 Kc3 8.Ne3 Kb4 9.Rc7 Kb5 10.Nc4 Kb4 11.Nb6 Kb5 12.Nc8 Kb4 13.Rc6 Kb5 14.Na7+ Kb4 15.Ke3 f4+ 16.Kd4 Rd5+ 17.Kxd5 f3 18.Rc4+
 34	01:00	 474,347k	7,810k	+M17	1.Rd6+ Kc4 2.Nd8 Kc5 3.Nf7 Kc4 4.Ne5+ Kc3 5.Rd7 Kc2 6.Nc4 Kc3 7.Ne3 Kb4 8.Rc7 Kb5 9.Nc4 Kb4 10.Nb6 Kb5 11.Nc8 Kb4 12.Rc6 Kb5 13.Na7+ Kb4 14.Ke3 f4+ 15.Kd4 Rd5+ 16.Kxd5 f3 17.Rc4+
 34	01:00	 474,347k	7,810k	+M17	1.Rc3 Kd4 2.Rd3+ Kc4 3.Nd8 Kc5 4.Nf7 Kc4 5.Ne5+ Kb4 6.e3 Kb5 7.Rc3 Kb6 8.Nd7+ Kb5 9.Rc7 Kb4 10.Nb6 Kb5 11.Nc8 Kb4 12.Rc6 Kb5 13.Na7+ Kb4 14.Ke5 f4+ 15.Kd4 Rd5+ 16.Kxd5 fxe3 17.Rc4+
 34	01:00	 474,347k	7,810k	+M17	1.Nd8 Kd4 2.Nf7 Kd5 3.Rd6+ Kc5 4.Rd3 Kc4 5.Ne5+ Kb4 6.e3 Kb5 7.Rc3 Kb4 8.Rc2 Kb5 9.Rc8 Kb6 10.Nf7 Ka7 11.Nd6 Kb6 12.Rc1 Ka7 13.Rb1 Ka8 14.Nc4 Ka7 15.Nxa5 Ka8 16.Nc6 a5 17.Rb8+
---------------------------------------------------------------------------
 35	02:22	 1,098,763k	7,733k	+M18	1.Rc1 Kd4 2.Nd6 Kd5 3.Rd1+ Kc5 4.Nf7 Kc4 5.Rd3 Kc5 6.Ne5 Kb4 7.e3 Kb5 8.Rc3 Kb4 9.Rc7 Kb5 10.Nc4 Kb4 11.Nb6 Kb5 12.Nc8 Kb4 13.Rc6 Kb5 14.Na7+ Kb4 15.Ke5 f4+ 16.Kd4 Rd5+ 17.Kxd5 fxe3 18.Rc4+
 35	02:22	 1,098,763k	7,733k	+M17	1.Rd6+ Kc4 2.Rd3 Kb4 3.Nd6 Kc5 4.Nf7 Kc6 5.Ne5+ Kc7 6.Rd2 Kc8 7.Rd7 Kb8 8.Nf7 Kc8 9.Re7 Kb8 10.Nd6 Ka8 11.e3 Kb8 12.Rb7+ Ka8 13.Rb1 Ka7 14.Nc4 Ka8 15.Nxa5 Ka7 16.Nc6+ Ka8 17.Rb8+
 35	02:22	 1,098,763k	7,733k	+M17	1.Rc3 Kd4 2.Rd3+ Kc4 3.Nd6+ Kb4 4.Nf7 Kc5 5.Ne5 Kb4 6.e3 Kc5 7.Rd2 Kb6 8.Rc2 Ka7 9.Nc4 Kb7 10.Nd6+ Ka7 11.Rc6 Kb8 12.Rc1 Ka7 13.Rb1 Ka8 14.Nc4 Ka7 15.Nxa5 Ka8 16.Nc6 a5 17.Rb8+
 35	02:22	 1,098,763k	7,733k	+M17	1.Nd8 Kd4 2.Rd6+ Kc4 3.Rd3 Kc5 4.Nf7 Kc4 5.Ne5+ Kb4 6.e3 Kc5 7.Rd2 Kb5 8.Rc2 Kb6 9.Nf7 Ka7 10.Nd6 Ka8 11.Rc7 Kb8 12.Rb7+ Ka8 13.Rb1 Ka7 14.Nc8+ Ka8 15.Ne7 Ka7 16.Nc6+ Ka8 17.Rb8+
---------------------------------------------------------------------------

i7-6700K @ 4.00Ghz 32Gb, Win 10 Home, EGTBs on PCI SSD
Benchmark: Stockfish15.1 NNUE x64 bmi2 (nps): 1277K
Dann Corbit
Posts: 12541
Joined: Wed Mar 08, 2006 8:57 pm
Location: Redmond, WA USA

Re: Stockfish MateFinder Update

Post by Dann Corbit »

yurikvelo wrote: Fri Apr 22, 2016 8:32 pm Even after 7-ply manual deepening - no progress.
From D=1 to D=41 no eval raise

[pgn]
[Event "Computer chess game"]
[SetUp "1"]
[FEN "qrr1b3/pn2p3/npppp1P1/4pP2/2P2BPp/PPN1P2B/4R2K/2k5 w - - 0 1"]
[PlyCount "7"]

1. Bg5 e4 2. Nxe4 Nbc5 3. Nc3 Ne4 4. Nxe4 *
[/pgn]

Code: Select all

D=41/72, 74 243 MN, SF Matefinder
+11,91	4. ... Nb4 5.axb4 c5 6.Nc3 Qe4 7.Nxe4 cxb4
+10,97	4. ... e5 5.Nc3 e4 6.Nxe4 Nb4 7.axb4 c5
+M16	4. ... Nc5 5.Nc3 Ne4 6.Nxe4 c5 7.Nc3 Qe4
+M10	4. ... exf5 5.Nc3 e5 6.Na2+ Kb1 7.gxf5 e4
It looks to me like Bg5 and Na2+ both win:
ce 1363 pv Bg5 e4 Nxe4 Nbc5 Nc3 Ne4 Nxe4 Nb4 axb4 c5 Nc3 Qe4 Nxe4 cxb4 Bxe7 a5 Nxd6 Bxg6 Nxc8 Bf7 Nd6 exf5 gxf5 Bh5 Rf2 a4 bxa4 Ra8 f6 Rxa4 Bg4 Bg6 f7 Bxf7 Rxf7 Ra8 Bxh4 b3 Bg5 Rg8 Rf1+ Kc2 Rf2+ Kd3 Bf5+ Kc3 Bf6+ Kb4 Bd3 Kc5 Be5 Kc6 Be4+ Kd7 Bd5 Rg6 Rf7+ Kd8

ce 1210 pv Na2+ Kb1 Nc3+ Kc1 Bg5 e4 Nxe4 Nbc5 Nc3 Ne4 Nxe4 Nb4 axb4 c5 Nc3 Qe4 Nxe4 cxb4 Bxe7 d5 cxd5 exd5 Nd6 Rc7 g7 Bb5 f6 Bxe2 f7 Rxe7 f8=Q Rxf8 gxf8=Q Rc7 Nf5 Bd3 Qxb4 Kb2 Nd4 Rc3 Qf8 Rc1 Bg2 Kc3 Bxd5 Rf1 Qe7 a6 Qe6 b5 Qxa6 Kb4 Qb6 Rc1 Kh3 Rd1 Kxh4 Rd2 Kg3
Taking ideas is not a vice, it is a virtue. We have another word for this. It is called learning.
But sharing ideas is an even greater virtue. We have another word for this. It is called teaching.