Mate in 13

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

Moderator: Ras

peter
Posts: 3480
Joined: Sat Feb 16, 2008 7:38 am
Full name: Peter Martan

Re: Mate in 13

Post by peter »

F.Huber wrote: Mon Dec 15, 2025 7:53 pm Much faster (9 sec) with XPK order
Great, even from orginal starting position of the problem with AutoTurbo + SearchOrder XPK:

Code: Select all

Engine: ChestUCI Ver.5.2 (0 MB)
von Franz Huber
FEN: 5B2/5R2/2p3K1/8/2P1P1PP/1p1BpPP1/prp1p3/bk1bR3 w - -   (11+10)
Stellungs-Analyse:  C0/R0/K2/P2/X2   W:10/36
AutoTurbo-Suche nach Spezial-Matt [C1/R0/K2/P0/X0] in 15 ...  (Hash=2044MB)
AutoTurbo-Suche nach Spezial-Matt [C0/R0/K2/P0/X1] in 15 ...  (Hash=2044MB)
AutoTurbo-Suche nach Spezial-Matt [C0/R0/K2/P0/X2] in 15 ...  (Hash=2044MB)
AutoTurbo-Suche nach Spezial-Matt [C0/R0/K2/P0/X3] in 15 ...  (Hash=2044MB)
AutoTurbo-Suche nach Spezial-Matt [C0/R0/K2/P0/X4] in 15 ...  (Hash=2044MB)
AutoTurbo-Suche nach Spezial-Matt [C0/R0/K2/P1/X4] in 15 ...  (Hash=2044MB)
Matt in 15 gefunden !  (1 Lösung in 00:00)
 15/15	 0:00 	 +M15 	1.Lc5 Kc1 2.Lxe3+ Kb1 3.Lh6 c5 4.Kg5 Kc1 5.Kh5+ Kb1 6.g5 Kc1 7.g6+ Kb1 8.Tf4 Kc1 9.Tg4+ Kb1 10.f4 Kc1 11.f5+ Kb1 12.Tf4 Kc1 13.Tff1+ Kb1 14.Txd1+ 4062
Bester Zug: Lf8-c5 Zeit: 0:00.813 min  K/s: 4.062.600  Knoten: 243.756 
:)
But the "secret" here seems to be AutoTurbo, which I hadn't tried before, in this mode with other one kinds of SeachOrder: still under 1 minute at KPX and again almost at once with KXP.

Edit: of course there do exist best settings for Gustav too to make it solve as well as at once:

Code: Select all

*****  Gustav 4.2 h   64 Bit  *****    Berechnung beendet am  15.12.2025  21:21

Matt in 15 Zügen, Weiß beginnt, ,   

Lösung gefunden bei folgenden Parametern: 
Fluchtfelder: 1, max. Zugzahl Schwarz: 1, Ausnahmen: 1, Gültig bis: 14
alle Lösungen suchen / keine Duale in Kurzvarianten anzeigen
Zugzahl unbekannt / Hashtabelle: 1024 MB

Lösezeit:    00,46 s        Zaehler: 328409

1.Lf8-c5 Kb1-c1 2.Lc5xe3 Kc1-b1 3.Le3-h6 Bc6-c5 4.Kg6-g5 Kb1-c1 5.Kg5-h5 Kc1-b1 6.Bg4-g5 Kb1-c1 7.Bg5-g6 Kc1-b1 8.Tf7-f4 Kb1-c1 9.Tf4-g4 Kc1-b1 10.Bf3-f4 Kb1-c1 11.Bf4-f5 Kc1-b1 12.Tg4-f4 Kb1-c1 13.Tf4-f1 Kc1-b1 14.Te1xd1 e2xd1D 15.Tf1xd1#
Peter.
User avatar
Steve Maughan
Posts: 1307
Joined: Wed Mar 08, 2006 8:28 pm
Location: Florida, USA

Re: Mate in 13

Post by Steve Maughan »

The development version of Juggernaut, running on my AMD laptop with eight cores, finds a mate in 19 after 33 secs. Not too bad.

[d]8/5R2/2p3K1/8/2P1P1PP/1p1BBPP1/prp1p3/bk1bR3 w - -

Code: Select all

Engine: Juggernaut 1.34 [8-Threads] (4096 MB)
by Steve Maughan

21/47  0:01   +20.77   1.Rd7 c5 2.Bxe2 c1Q 3.Rdxd1 Rc2 
                       4.Bxc1 Rxc1 5.Rxc1+ Kb2 6.Rxa1 Kc2 
                       7.h5 b2 8.Rxa2 Kb3 9.Ra8 Kc2 10.h6 Kd2 
                       11.Ra2 Kxe1 12.Rxb2 Kf2 13.h7 Kxg3 
                       14.h8Q (53.454.728) 29954 

22/50  0:02   +26.08   1.Rd7 c5 2.Bxe2 c1Q 3.Rdxd1 Rc2 
                       4.Bxc1 Rxc1 5.Rxc1+ Kb2 6.Rxa1 Kc2 
                       7.e5 b2 8.Rxa2 Kb3 9.e6 Kxa2 10.e7 b1Q+ 
                       11.Rxb1 Kxb1 12.e8Q Kc1 13.h5 Kd2 
                       14.h6 (88.976.672) 35647 

23/50  0:03   +26.26   1.Rd7 c5 2.Bxe2 c1Q 3.Rdxd1 Rc2 
                       4.Bxc1 Rxc1 5.Rxc1+ Kb2 6.e5 Ka3 
                       7.Rxa1 b2 8.e6 bxa1Q 9.Rxa1 Kb2 
                       10.Rxa2+ Kxa2 11.e7 Kb2 12.e8Q Kc1 
                       13.h5 Kd2 14.h6 (137.149.717) 39594 

24/52  0:05   +27.92   1.Rd7 c5 2.Bxe2 c1Q 3.Rdxd1 Rc2 
                       4.Bxc1 Bb2 5.Be3+ Bc1 6.Bxc1 Rxc1 
                       7.Rxc1+ Kb2 8.h5 Ka3 9.Ra1 Kb4 10.h6 Ka5 
                       11.h7 Kb6 12.h8Q Kb7 13.e5 Kc7 14.e6 (261.988.894) 44195 

25/58  0:08   +33.77   1.Rd7 c5 2.Bxe2 c1Q 3.Rdxd1 Rc2 
                       4.Bxc1 Bb2 5.Be3+ Bc1 6.Bxc1 Rxc1 
                       7.Rxc1+ Kb2 8.h5 Ka3 9.Ra1 Kb4 10.h6 Ka5 
                       11.h7 Kb6 12.h8Q Kb7 13.e5 Kc7 14.f4 (397.675.933) 46983 

26/60  0:15   +34.25   1.Rd7 c5 2.Bxe2 c1Q 3.Rdxd1 Rc2 
                       4.Bxc1 Bb2 5.Be3+ Bc1 6.Bxc1 Rxc1 
                       7.Rxc1+ Kb2 8.h5 Ka3 9.Ra1 Kb4 10.h6 Ka5 
                       11.h7 Kb6 12.h8Q Kb7 13.Bd1 Kc7 
                       14.Bxb3 (750.945.503) 48244 

27/60  0:33   +M19     1.Rd7 c5 2.Bxe2 c1Q 3.Rdxd1 Rc2 
                       4.Bxc1 Bb2 5.Be3+ Bc1 6.Bxc1 Rxc1 
                       7.Rxc1+ Kb2 8.h5 Ka3 9.Ra1 Kb4 10.h6 Ka5 
                       11.h7 Kb6 12.h8Q Kc7 13.Bd1 b2 
                       14.Rxa2 (1.576.429.823) 47665 

http://www.chessprogramming.net - Juggernaut & Maverick Chess Engine
User avatar
towforce
Posts: 12694
Joined: Thu Mar 09, 2006 12:57 am
Location: Birmingham UK
Full name: Graham Laight

Re: Mate in 13

Post by towforce »

Steve Maughan wrote: Tue Dec 16, 2025 9:51 am The development version of Juggernaut, running on my AMD laptop with eight cores, finds a mate in 19 after 33 secs. Not too bad.

I am pleased that it picked Rd7 as the first move, because that's actually the first move I came up with looking at it visually! :)
Human chess is partly about tactics and strategy, but mostly about memory
peter
Posts: 3480
Joined: Sat Feb 16, 2008 7:38 am
Full name: Peter Martan

Re: Mate in 13

Post by peter »

Joerg Oster wrote: Mon Dec 15, 2025 7:48 pm Matefish's Proof-Number Search is really quick at this one :D

Code: Select all

setoption name Hash value 2048
setoption name ProofNumberSearch value true
position fen 8/5R2/2p3K1/8/2P1P1PP/1p1BBPP1/prp1p3/bk1bR3 w - - 0 1
go mate 13
info string Starting Proof-Number Search ...
info time 572 multipv 1 depth 8 seldepth 25 nodes 1586752 nps 2774041 hashfull 0 tbhits 0 score cp 0 pv e3h6
info time 772 multipv 1 depth 12 seldepth 25 nodes 3097305 nps 4012053 hashfull 0 tbhits 0 score cp 0 pv e3h6
info time 972 multipv 1 depth 12 seldepth 25 nodes 4673861 nps 4808498 hashfull 0 tbhits 0 score cp 0 pv e3h6
info time 1172 multipv 1 depth 12 seldepth 25 nodes 6246886 nps 5330107 hashfull 0 tbhits 0 score cp 0 pv e3h6
info time 1372 multipv 1 depth 12 seldepth 25 nodes 7833956 nps 5709880 hashfull 0 tbhits 0 score cp 0 pv e3h6
info time 1572 multipv 1 depth 12 seldepth 25 nodes 9425133 nps 5995631 hashfull 0 tbhits 0 score cp 0 pv e3h6
info time 1772 multipv 1 depth 12 seldepth 25 nodes 11016562 nps 6217021 hashfull 0 tbhits 0 score cp 0 pv e3h6
info time 1972 multipv 1 depth 13 seldepth 25 nodes 12550701 nps 6364452 hashfull 0 tbhits 0 score cp 0 pv e3h6
info string Nodes statistics:   Total 5876393   Solved 307802   Proven 66   Disproven 307736   Recycled 138993
info string Success! Mate in 13 found!
info time 2376 multipv 1 depth 13 seldepth 25 nodes 15609465 nps 6569640 hashfull 0 tbhits 0 score mate 13 pv e3h6 c6c5 g6g5 b1c1 g5h5 c1b1 g4g5 b1c1 g5g6 c1b1 f7f4 b1c1 f4g4 c1b1 f3f4 b1c1 f4f5 c1b1 g4f4 b1c1 f4f1 c1b1 e1d1 e2d1n f1d1
bestmove e3h6 ponder c6c5
Great performance.
Even with my last one version compiled by Jim Ablett way back then about 1.5 years ago, and at original starting position of the composed puzzle, if I set KingMoves to 1:

Code: Select all

5B2/5R2/2p3K1/8/2P1P1PP/1p1BpPP1/prp1p3/bk1bR3 w - -

Engine: Matefish 3.2 BMI2(1024 MB)
von the Stockfish developers and J. Oster

29/29  0:01   +M15     1.Lc5 Kc1 2.Lxe3+ Kb1 3.Lh6 c5 4.Kg5 Kc1 
                       5.Kh5+ Kb1 6.g5 Kc1 7.g6+ Kb1 8.Tf4 Kc1 
                       9.Tg4+ Kb1 10.f4 Kc1 11.f5+ Kb1 
                       12.Tf4 Kc1 13.Tff1+ Kb1 14.Txd1+ (3.912.545) 3375 

Bester Zug: Lf8-c5 Zeit: 0:01.156 min  K/s: 3.375.793  Knoten: 3.912.545 
Yet without KingMoves restricted (0):

Code: Select all

Starting Proof-Number Search ...
Failure! No mate found!
 29/29	 0:00 	 0.00 	1.Txd1+ (75) 0
Bester Zug: Te1xd1 Zeit: 0:00.718 min  K/s: 137  Knoten: 75 
Time for a new compile anyhow
:)
(at mine overall hash is to be set to 1024Mb max. yet still too), regards
Peter.
acase
Posts: 1002
Joined: Wed Mar 15, 2006 1:14 am
Location: Columbus, Ohio USA
Full name: Andrew R Case

Re: Mate in 13.

Post by acase »

Ajedrecista wrote: Mon Dec 15, 2025 8:08 pm Hello Andrew:

Chest 5.2 with K1/P1/X1 parameters was not able to find a checkmate in 13 moves from the position of the OP. Surprisingly, I randomly found some parameters that worked for Chest!

Code: Select all

FEN: 8/5R2/2p3K1/8/2P1P1PP/1p1BBPP1/prp1p3/bk1bR3 w - - 0 1

ChestUCI:
FEN: 8/5R2/2p3K1/8/2P1P1PP/1p1BBPP1/prp1p3/bk1bR3 w - -   (11+9)
Stellungs-Analyse:  C0/R0/K1/P1/X1   W:10/41
Suche nach Spezial-Matt [C0/R0/K2/P3/X4] in 13 ...  (Hash=64MB)
  13	00:00	           0	0	+M13	Be3h6
Suche abgeschlossen ...  (Zeit=0.80s)
Matt in 13 gefunden !  (1 Lösung in 00:00)
 13/13	00:01	     981.249	1.231.178	+M13	Be3h6 c6c5 Kg6g5 Kb1c1 Kg5h5+ Kc1b1 g4g5 Kb1c1 g5g6+ Kc1b1 Rf7f4 Kb1c1 Rf4g4+ Kc1b1 f3f4 Kb1c1 f4f5+ Kc1b1 Rg4f4 Kb1c1 Rf4f1+ Kc1b1 Re1xd1+ e2xd1Q+ Rf1xd1+
The original checkmate in 15 moves is also solved with the same K2/P3/X4 parameters:

Code: Select all

FEN: 5B2/5R2/2p3K1/8/2P1P1PP/1p1BpPP1/prp1p3/bk1bR3 w - - 0 1

ChestUCI:
FEN: 5B2/5R2/2p3K1/8/2P1P1PP/1p1BpPP1/prp1p3/bk1bR3 w - -   (11+10)
Stellungs-Analyse:  C0/R0/K2/P2/X2   W:10/36
Suche nach Spezial-Matt [C0/R0/K2/P3/X4] in 15 ...  (Hash=64MB)
  15	00:01	           0	0	+M15	Bf8c5
Suche abgeschlossen ...  (Zeit=0.94s)
Matt in 15 gefunden !  (1 Lösung in 00:00)
 15/15	00:01	   1.122.500	1.192.879	+M15	Bf8c5 Kb1c1 Bc5xe3+ Kc1b1 Be3h6 c6c5 Kg6g5 Kb1c1 Kg5h5+ Kc1b1 g4g5 Kb1c1 g5g6+ Kc1b1 Rf7f4 Kb1c1 Rf4g4+ Kc1b1 f3f4 Kb1c1 f4f5+ Kc1b1 Rg4f4 Kb1c1 Rf4f1+ Kc1b1 Re1xd1+ e2xd1Q+ Rf1xd1+
I see that some people found working parameters for Chest while I was writing, so this is a kind of shared, independent solutions. :-) My parameters are with default KXP SearchOrder; the solving time was less than 1 second using 64 MB of hash in a CPU of year 2010 if I am not wrong.

------------

Thank you for the source. I replayed the solution at PDB and my head is still burning... wow!

Phénix site has links to many issues, including the one given in PDB:

Inédits - Phénix 325 (Décembre 2021)

The study is the No. 9181 at page 12681 and solution in French at page 12692. The author noted that the key ideas are the same than in other problems, for example one of his own:

Inédits - Phénix 312 (Novembre 2020)

The study No. 8889 at page 12168 and solution in French at page 12181. The author noted that No. 8889 was an Indian theme linked with Herlin, Zabunov and Klasinc themes, where each of the last three is explained in the solution. Chest 5.2 succeeded again with K2/P3/X4 parameters:

Code: Select all

FEN: 6R1/8/2p5/2p2P2/2P3PP/p1pB2P1/rpp1PK2/bk4B1 w - - 0 1

ChestUCI:
FEN: 6R1/8/2p5/2p2P2/2P3PP/p1pB2P1/rpp1PK2/bk4B1 w - -   (10+9)
Stellungs-Analyse:  C0/R0/K2/P1/X1   W:8/23
Suche nach Spezial-Matt [C0/R0/K2/P3/X4] in 14 ...  (Hash=64MB)
  14	00:01	           0	0	+M14	Kf2e1
Suche abgeschlossen ...  (Zeit=0.10s)
Matt in 14 gefunden !  (1 Lösung in 00:00)
 14/14	00:01	     121.947	1.270.281	+M14	Kf2e1 Kb1c1 Bg1e3+ Kc1b1 Be3xc5 Kb1c1 Bc5e3+ Kc1b1 Be3h6 c6c5 Rg8g5 Kb1c1 Rg5h5+ Kc1b1 g4g5 Kb1c1 g5g6+ Kc1b1 Rh5g5 Kb1c1 Rg5g4+ Kc1b1 Rg4f4 Kb1c1 Rf4f1+ Kc1b1 Ke1f2+
Regards from Spain.

Ajedrecista.
Greetings Jesus,

I beg your forgiveness for taking so long to get back to you, I've been quite busy lately :wink:, I truly appreciate your commentary on these problems I sometimes post, and I DEFINTELY appreciate how you are able to dig up the sources and give more information on the problem, I ALWAYS check the links you supply and of course look at other goodies that are in the sources you supply.

Thanks again,
Andrew
fishpov
Posts: 114
Joined: Sat Mar 07, 2015 6:05 pm

Re: Mate in 13

Post by fishpov »

Black Diamond is also good for these kind of problem when fortress detect should help
[d]8/5R2/2p3K1/8/2P1P1PP/1p1BBPP1/prp1p3/bk1bR3 w - - 0 1

Analysis by Black Diamond v13.1a:

...
3.Fh6 c5 4.Tf4 Rc1 5.Tf5+ Rb1 6.Rg5 Rc1 7.Rh5+ Rb1 8.Tf4 Rc1 9.Tf7+ Rb1 10.g5 Rc1 11.g6+ Rb1 12.Tf4 Rc1 13.Tg4+ Rb1 14.Rg5 Rc1 15.Rf6+ Rb1 16.f4 Rc1 17.f5+ Rb1 18.Tf4 Rc1 19.Tff1+ Rb1 20.Txd1+ exd1D 21.Txd1#
Les Blancs font mat: +- (#19) Profondeur: 19/41 00:00:02 17124kN
3.Fh6 c5 4.Tf4 Rc1 5.Tf5+ Rb1 6.Rg5 Rc1 7.Rh5+ Rb1 8.Tf4 Rc1 9.Tf7+ Rb1 10.g5 Rc1 11.g6+ Rb1 12.Tf4 Rc1 13.Tg4+ Rb1 14.Rg5 Rc1 15.Rf6+ Rb1 16.f4 Rc1 17.f5+ Rb1 18.Tf4 Rc1 19.Tff1+ Rb1 20.Txd1+ exd1D 21.Txd1#
Les Blancs font mat: +- (#19) Profondeur: 20/41 00:00:02 21690kN
3.Fh6 c5 4.Rg5 Rc1 5.Rh5+ Rb1 6.g5 Rc1 7.g6+ Rb1 8.Tf4 Rc1 9.Tg4+ Rb1 10.Rg5 Rc1 11.Rf6+ Rb1 12.f4 Rc1 13.f5+ Rb1 14.Tf4 Rc1 15.Tff1+ Rb1 16.Txd1+ exd1D 17.Txd1#
Les Blancs font mat: +- (#15) Profondeur: 21/41 00:00:03 27519kN
3.Fh6 c5 4.Rg5 Rc1 5.Rh5+ Rb1 6.g5 Rc1 7.g6+ Rb1 8.Tf4 Rc1 9.Tg4+ Rb1 10.Rg5 Rc1 11.Rf6+ Rb1 12.f4 Rc1 13.f5+ Rb1 14.Tf4 Rc1 15.Tff1+ Rb1 16.Txd1+ exd1D 17.Txd1#
Les Blancs font mat: +- (#15) Profondeur: 22/41 00:00:03 35887kN
3.Fh6 c5 4.Rg5 Rc1 5.Rh5+ Rb1 6.g5 Rc1 7.g6+ Rb1 8.Tf4 Rc1 9.Tg4+ Rb1 10.Rg5 Rc1 11.Rf6+ Rb1 12.f4 Rc1 13.f5+ Rb1 14.Tf4 Rc1 15.Tff1+ Rb1 16.Txd1+ exd1D 17.Txd1#
Les Blancs font mat: +- (#15) Profondeur: 23/41 00:00:05 56271kN
3.Fh6 c5 4.Rg5 Rc1 5.Rh5+ Rb1 6.g5 Rc1 7.g6+ Rb1 8.Tf4 Rc1 9.Tg4+ Rb1 10.Rg5 Rc1 11.Rf6+ Rb1 12.f4 Rc1 13.f5+ Rb1 14.Tf4 Rc1 15.Tff1+ Rb1 16.Txd1+ exd1D 17.Txd1#
Les Blancs font mat: +- (#15) Profondeur: 24/41 00:00:07 89736kN
3.Fh6 c5 4.Rg5 Rc1 5.Rh5+ Rb1 6.g5 Rc1 7.g6+ Rb1 8.Tf4 Rc1 9.Tg4+ Rb1 10.f4 Rc1 11.f5+ Rb1 12.Tf4 Rc1 13.Tff1+ Rb1 14.Txd1+ exd1D+ 15.Txd1#
Les Blancs font mat: +- (#13) Profondeur: 24/41 00:00:11 144mN