Can't for the life of me find that solution

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

Moderators: bob, hgm, Harvey Williamson

Forum rules
This textbox is used to restore diagrams posted with the [d] tag before the upgrade.
Dann Corbit
Posts: 10187
Joined: Wed Mar 08, 2006 7:57 pm
Location: Redmond, WA USA
Contact:

Can't for the life of me find that solution

Post by Dann Corbit » Mon May 27, 2019 5:58 pm

This position was from my ChestUCI database, and I have never found a solution for it.
I told it to use the database parameters and search, and no mate was found.

FEN: 0 1

FEN: 5K2/8/5B2/p7/8/p4p2/pn1PpPp1/kb2R3 w - - (5+9)
Position-Analysis: C0/R0/K1/P2/X5 W:4/24
Parameters found in Database: #24; --:-- @ C0/R0/K3/P2/X11;
Search for Special-Mate [C0/R0/K3/P2/X11] in 24 ... (Hash=2044MB)
d=1 t=0.00s [1.00] n=0kN [1.00] Hash: spd=1.00 in=1 out=0
d=2 t=0.22s [1.00] n=0kN [1.00] Hash: spd=0.99 in=1 out=0
d=3 t=0.22s [1.00] n=0kN [8.08] Hash: spd=0.98 in=15 out=0
d=4 t=0.22s [1.00] n=1kN [2.87] Hash: spd=1.37 in=34 out=0
d=5 t=0.22s [1.00] n=2kN [2.32] Hash: spd=1.88 in=52 out=0
d=6 t=0.23s [1.05] n=8kN [4.02] Hash: spd=2.67 in=327 out=0
d=7 t=0.26s [1.13] n=27kN [3.30] Hash: spd=3.71 in=1979 out=0
d=8 t=0.35s [1.35] n=81kN [2.99] Hash: spd=4.51 in=6280 out=0
d=9 t=0.59s [1.69] n=212kN [2.61] Hash: spd=5.77 in=19931 out=0
d=10 t=1.27s [2.15] n=624kN [2.94] Hash: spd=7.47 in=54085 out=0
d=11 t=3.00s [2.36] n=1715kN [2.75] Hash: spd=9.22 in=144520 out=0
d=12 t=7.07s [2.36] n=4426kN [2.58] Hash: spd=11.27 in=314340 out=0
d=13 t=15.78s [2.23] n=10260kN [2.32] Hash: spd=13.87 in=653510 out=0
d=14 t=30.93s [1.96] n=21097kN [2.06] Hash: spd=17.38 in=1200423 out=0
d=15 t=58.60s [1.89] n=40782kN [1.93] Hash: spd=21.37 in=2253155 out=1
d=16 t=109.51s [1.87] n=77426kN [1.90] Hash: spd=25.98 in=4210782 out=14
d=17 t=210.98s [1.93] n=148427kN [1.92] Hash: spd=29.89 in=8145272 out=318
d=18 t=408.90s [1.94] n=289239kN [1.95] Hash: spd=34.43 in=15560728 out=7698
d=19 t=792.81s [1.94] n=559614kN [1.93] Hash: spd=38.61 in=29856461 out=414854
d=20 t=1560.42s [1.97] n=1103625kN [1.97] Hash: spd=43.40 in=58360167 out=12570997
d=21 t=3517.89s [2.25] n=2528310kN [2.29] Hash: spd=41.83 in=144257295 out=95715859
d=22 t=11273.28s [3.20] n=7970407kN [3.15] Hash: spd=38.55 in=461515425 out=412966376
d=23 t=43952.17s [3.90] n=34324808kN [4.31] Hash: spd=36.19 in=1995272177 out=1946723128
d=24 t=1258127.47s [28.62] n=1142201663kN [33.28] Hash: spd=260.27 in=1841486049 out=1792937000
Search completed ... (Time=1258127.52s)
No Mate in 24 found ! (349:28:47)
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.

pferd
Posts: 122
Joined: Thu Jul 24, 2014 12:49 pm

Re: Can't for the life of me find that solution

Post by pferd » Mon May 27, 2019 6:10 pm

This position was discussed previously on the german CSS-Forum:

http://forum.computerschach.de/cgi-bin/ ... l?tid=3382

The discussion is 8 years old, but it would be interesting to see, how modern engine handle the position

Jouni
Posts: 2024
Joined: Wed Mar 08, 2006 7:15 pm

Re: Can't for the life of me find that solution

Post by Jouni » Mon May 27, 2019 7:48 pm

Use right engine :)

Analysis by Stockfish MateFinder 9 64 BMI2:
...
1.Bh8
+- (98.34 ++) Depth: 40/78 00:01:04 611mN, tb=1463779
1.Bh8
+- (99.28 ++) Depth: 40/78 00:01:04 611mN, tb=1463993
1.Bh8
+- (#55 ++) Depth: 40/78 00:01:04 611mN, tb=1468275
1.Bh8 a4 2.Kg7 Nd1 3.Kf7+ Nb2 4.Kf6 Nd1 5.Ke6+ Nb2 6.Ke5 Nd1 7.Kd5+ Nb2 8.Kd4 g1Q 9.Rxg1 e1Q 10.Rxe1 Nd1 11.Kc4+ Nb2+ 12.Kc3 Nd1+ 13.Kb4+ Nb2 14.d4 Nd3+ 15.Kxa3 Nb2 16.Rc1 Nc4+ 17.Rxc4 Bc2 18.Rxc2 Kb1 19.Rxa2 Kc1 20.d5 Kb1 21.d6 Kc1 22.d7 Kd1 23.d8Q+ Ke1 24.Qh4 Kd1 25.Qh1#
+- (#25) Depth: 40/78 00:01:15 723mN, tb=1577068
1.Bh8 a4 2.Kg7 Nd1 3.Kf7+ Nb2 4.Kf6 Nd1 5.Ke6+ Nb2 6.Ke5 Nd1 7.Kd5+ Nb2 8.Kd4 g1Q 9.Rxg1 e1Q 10.Rxe1 Nd1 11.Kc4+ Nb2+ 12.Kc3 Nd1+ 13.Kb4+ Nb2 14.d4 Nd3+ 15.Kxa3 Nb2 16.Rc1 Nc4+ 17.Rxc4 Bc2 18.Rxc2 Kb1 19.Rxa2 Kc1 20.d5 Kb1 21.Bc3 Kc1 22.Kxa4 Kd1 23.Kb3 Kc1 24.Ra1#
+- (#24) Depth: 41/48 00:01:17 754mN, tb=1588662
1.Bh8 a4 2.Kg7 Nd1 3.Kf7+ Nb2 4.Kf6 Nd1 5.Ke6+ Nb2 6.Ke5 Nd1 7.Kd5+ Nb2 8.Kd4 g1Q 9.Rxg1 e1Q 10.Rxe1 Nd1 11.Kc4+ Nb2+ 12.Kc3 Nd1+ 13.Kb4+ Nb2 14.d4 Nd3+ 15.Kxa3 Nb2 16.Rc1 Nc4+ 17.Rxc4 Bc2 18.Rxc2 Kb1 19.Rxa2 Kc1 20.d5 Kb1 21.Bc3 Kc1 22.Kxa4 Kd1 23.Kb3 Kc1 24.Ra1#
+- (#24) Depth: 42/48 00:01:36 948mN, tb=1742342
1.Bh8 a4 2.Kg7 Nd1 3.Kf7+ Nb2 4.Kf6 Nd1 5.Ke6+ Nb2 6.Ke5 Nd1 7.Kd5+ Nb2 8.Kd4 g1Q 9.Rxg1 e1Q 10.Rxe1 Nd1 11.Kc4+ Nb2+ 12.Kc3 Nd1+ 13.Kb4+ Nb2 14.d4 Nd3+ 15.Kxa3 Nb2 16.Rc1 Nc4+ 17.Rxc4 Bc2 18.Rxc2 Kb1 19.Rxa2 Kc1 20.d5 Kb1 21.Bc3 Kc1 22.Kxa4 Kd1 23.Kb3 Kc1 24.Ra1#
+- (#24) Depth: 43/48 00:01:43 1023mN, tb=1781143
Jouni

MikeB
Posts: 3541
Joined: Thu Mar 09, 2006 5:34 am
Location: Pen Argyl, Pennsylvania

Re: Can't for the life of me find that solution

Post by MikeB » Tue May 28, 2019 12:16 am

Dann Corbit wrote:
Mon May 27, 2019 5:58 pm
This position was from my ChestUCI database, and I have never found a solution for it.
I told it to use the database parameters and search, and no mate was found.

FEN: 0 1

FEN: 5K2/8/5B2/p7/8/p4p2/pn1PpPp1/kb2R3 w - - (5+9)
Position-Analysis: C0/R0/K1/P2/X5 W:4/24
Parameters found in Database: #24; --:-- @ C0/R0/K3/P2/X11;
Search for Special-Mate [C0/R0/K3/P2/X11] in 24 ... (Hash=2044MB)
d=1 t=0.00s [1.00] n=0kN [1.00] Hash: spd=1.00 in=1 out=0
d=2 t=0.22s [1.00] n=0kN [1.00] Hash: spd=0.99 in=1 out=0
d=3 t=0.22s [1.00] n=0kN [8.08] Hash: spd=0.98 in=15 out=0
d=4 t=0.22s [1.00] n=1kN [2.87] Hash: spd=1.37 in=34 out=0
d=5 t=0.22s [1.00] n=2kN [2.32] Hash: spd=1.88 in=52 out=0
d=6 t=0.23s [1.05] n=8kN [4.02] Hash: spd=2.67 in=327 out=0
d=7 t=0.26s [1.13] n=27kN [3.30] Hash: spd=3.71 in=1979 out=0
d=8 t=0.35s [1.35] n=81kN [2.99] Hash: spd=4.51 in=6280 out=0
d=9 t=0.59s [1.69] n=212kN [2.61] Hash: spd=5.77 in=19931 out=0
d=10 t=1.27s [2.15] n=624kN [2.94] Hash: spd=7.47 in=54085 out=0
d=11 t=3.00s [2.36] n=1715kN [2.75] Hash: spd=9.22 in=144520 out=0
d=12 t=7.07s [2.36] n=4426kN [2.58] Hash: spd=11.27 in=314340 out=0
d=13 t=15.78s [2.23] n=10260kN [2.32] Hash: spd=13.87 in=653510 out=0
d=14 t=30.93s [1.96] n=21097kN [2.06] Hash: spd=17.38 in=1200423 out=0
d=15 t=58.60s [1.89] n=40782kN [1.93] Hash: spd=21.37 in=2253155 out=1
d=16 t=109.51s [1.87] n=77426kN [1.90] Hash: spd=25.98 in=4210782 out=14
d=17 t=210.98s [1.93] n=148427kN [1.92] Hash: spd=29.89 in=8145272 out=318
d=18 t=408.90s [1.94] n=289239kN [1.95] Hash: spd=34.43 in=15560728 out=7698
d=19 t=792.81s [1.94] n=559614kN [1.93] Hash: spd=38.61 in=29856461 out=414854
d=20 t=1560.42s [1.97] n=1103625kN [1.97] Hash: spd=43.40 in=58360167 out=12570997
d=21 t=3517.89s [2.25] n=2528310kN [2.29] Hash: spd=41.83 in=144257295 out=95715859
d=22 t=11273.28s [3.20] n=7970407kN [3.15] Hash: spd=38.55 in=461515425 out=412966376
d=23 t=43952.17s [3.90] n=34324808kN [4.31] Hash: spd=36.19 in=1995272177 out=1946723128
d=24 t=1258127.47s [28.62] n=1142201663kN [33.28] Hash: spd=260.27 in=1841486049 out=1792937000
Search completed ... (Time=1258127.52s)
No Mate in 24 found ! (349:28:47)
This will be pretty close to McCain X4 - close to release. An earlier run was faster and another run was slower.

Code: Select all

dep	score	nodes	time	(not shown:  tbhits	knps	seldep)
 63	  #24 	1.33G	0:47.53	Bh8 a4 Kg7 g1=Q+ Rxg1 Nc4 Kf7+ Nb2 Kf6 Nd3 Ke6+ Nb2 Ke5 e1=Q+ Rxe1 Nd3+ Kd5+ Nb2 Kd4 Nd1 Kc4+ Nb2+ Kc3 Nd1+ Kb4+ Nb2 d4 Nd3+ Kxa3 Ne5 Rxe5 Be4 Rxe4 Kb1 d5 Kc2 Re3 a1=Q+ Bxa1 Kd1 Kxa4 Kc2 Bc3 Kb1 Kb3 Kc1 Re1# 
 62	+100.00 	1.15G	0:40.23	Bh8 a4 Kg7 g1=Q+ Rxg1 Nc4 Kf7+ Nb2 Kf6 Nd3 Ke6+ Nb2 Ke5 e1=Q+ Rxe1 Nd3+ Kd5+ Nb2 Kd4 Nd1 Kc4+ Nb2+ Kc3 Nd1+ Kb4+ Nb2 Re3 Bh7 Kxa3 Kb1 Bxb2 Kc2 d4 Kd2 d5 Bf5 d6 Bg4 Re7 Kd1 d7 Bxd7 Rxd7+ Ke1 Kxa2 Kf1 Ka3 Kg2 Kxa4 Kf1 Rd3 Kg2 Rx 
 61	+100.00 	951.9M	0:32.47	Bh8 a4 Kg7 g1=Q+ Rxg1 Nc4 Kf7+ Nb2 Kf6 Nd3 Ke6+ Nb2 Ke5 e1=Q+ Rxe1 Nd3+ Kd5+ Nb2 Kd4 Nd1 Kc4+ Nb2+ Kc3 Nd1+ Kb4+ Nb2 Re3 Bh7 Kxa3 Kb1 Bxb2 Kc2 d4 Kd2 d5 Bf5 d6 Bg4 Re7 Kd1 d7 Bxd7 Rxd7+ Ke1 Kxa2 Kf1 Ka3 Kg2 Kxa4 Kf1 Rd3 Kg2 R 
 60	+100.00 	950.5M	0:32.41	Bh8 a4 Kg7 g1=Q+ Rxg1 Nc4 Kf7+ Nb2 Kf6 Nd3 Ke6+ Nb2 Ke5 e1=Q+ Rxe1 Nd3+ Kd5+ Nb2 Kd4 Nd1 Kc4+ Nb2+ Kc3 Nd1+ Kb4+ Nb2 Re3 Bh7 Kxa3 Kb1 Bxb2 Kc2 d4 Kd2 d5 Bf5 d6 Bg4 Re7 Kd1 d7 Bxd7 Rxd7+ Ke1 Kxa2 Kf1 Ka3 Kg2 Kxa4 Kf1 Rd3 Kg2 R 
 59	+100.00 	947.6M	0:32.29	Bh8 a4 Kg7 g1=Q+ Rxg1 Nc4 Kf7+ Nb2 Kf6 Nd3 Ke6+ Nb2 Ke5 e1=Q+ Rxe1 Nd3+ Kd5+ Nb2 Kd4 Nd1 Kc4+ Nb2+ Kc3 Nd1+ Kb4+ Nb2 Re3 Bh7 Kxa3 Kb1 Bxb2 Kc2 d4 Kd2 d5 Bf5 d6 Bg4 Re7 Kd1 d7 Bxd7 Rxd7+ Ke1 Kxa2 Kf1 Ka3 Kg2 Kxa4 Kf1 Rd3 Kg2 R 
 58	+100.00 	946.8M	0:32.26	Bh8 a4 Kg7 g1=Q+ Rxg1 Nc4 Kf7+ Nb2 Kf6 Nd3 Ke6+ Nb2 Ke5 e1=Q+ Rxe1 Nd3+ Kd5+ Nb2 Kd4 Nd1 Kc4+ Nb2+ Kc3 Nd1+ Kb4+ Nb2 Re3 Bh7 Kxa3 Kb1 Bxb2 Kc2 d4 Kd2 d5 Bf5 d6 Bg4 Re7 Kd1 d7 Bxd7 Rxd7+ Ke1 Kxa2 Kf1 Ka3 Kg2 Kxa4 Kf1 Rd3 Kg2 R 
 57	+100.00 	945.5M	0:32.21	Bh8 a4 Kg7 g1=Q+ Rxg1 Nc4 Kf7+ Nb2 Kf6 Nd3 Ke6+ Nb2 Ke5 e1=Q+ Rxe1 Nd3+ Kd5+ Nb2 Kd4 Nd1 Kc4+ Nb2+ Kc3 Nd1+ Kb4+ Nb2 Re3 Bh7 Kxa3 Kb1 Bxb2 Kc2 d4 Kd1 d5 Bf5 d6 Kc2 Kxa2 Kd2 Re7 Kd3 d7 Bxd7 Rxd7+ Kc4 Rd4+ Kb5 Rxa4 Kc6 Rf4 Kc5  
 56	+100.00 	944.4M	0:32.16	Bh8 a4 Kg7 g1=Q+ Rxg1 Nc4 Kf7+ Nb2 Kf6 Nd3 Ke6+ Nb2 Ke5 e1=Q+ Rxe1 Nd3+ Kd5+ Nb2 Kd4 Nd1 Kc4+ Nb2+ Kc3 Nd1+ Kb4+ Nb2 Re3 Bh7 Kxa3 Kb1 Bxb2 Kc2 d4 Kd1 d5 Bf5 d6 Kc2 Kxa2 Kd2 Re7 Kd3 d7 Bxd7 Rxd7+ Kc4 Rd4+ Kb5 Rxa4 Kc6 Rf4 Kc5  
 55	+100.00 	941.7M	0:32.06	Bh8 a4 Kg7 g1=Q+ Rxg1 Nc4 Kf7+ Nb2 Kf6 Nd3 Ke6+ Nb2 Ke5 e1=Q+ Rxe1 Nd3+ Kd5+ Nb2 Kd4 Nd1 Kc4+ Nb2+ Kc3 Nd1+ Kb4+ Nb2 Re3 Bh7 Kxa3 Kb1 Bxb2 Kc2 d4 Kd1 d5 Bf5 d6 Kc2 Kxa2 Kd2 Re7 Kd3 d7 Bxd7 Rxd7+ Kc4 Rd4+ Kb5 Rxa4 Kc6 Rf4 Kc5  
 54	+100.00 	940.7M	0:32.02	Bh8 a4 Kg7 g1=Q+ Rxg1 Nc4 Kf7+ Nb2 Kf6 Nd3 Ke6+ Nb2 Ke5 e1=Q+ Rxe1 Nd3+ Kd5+ Nb2 Kd4 Nd1 Kc4+ Nb2+ Kc3 Nd1+ Kb4+ Nb2 Re3 Bh7 Kxa3 Kb1 Bxb2 Kc2 d4 Kd1 d5 Bf5 d6 Kc2 Kxa2 Kd2 Re7 Kd3 d7 Bxd7 Rxd7+ Kc4 Rd4+ Kb5 Rxa4 Kc6 Rf4 Kc5  
 53	+100.00 	933.4M	0:31.74	Bh8 a4 Kg7 g1=Q+ Rxg1 Nc4 Kf7+ Nb2 Kf6 e1=Q Rxe1 Nd3 Ke6+ Nb2 Ke5 Nd3+ Kd5+ Nb2 Kd4 Nd1 Kc4+ Nb2+ Kc3 Nd1+ Kb4+ Nb2 Re3 Bh7 Kxa3 Kb1 Bxb2 Kc2 d4 Bg8 Re5 Kd3 d5 Kc4 d6 Be6 Rxe6 Kd5 Kxa2 Kc6 d7+ Kxd7 Re3 Kd6 Rxf3 Kc7 Rg3 Kd6 f3 
 52	+100.00 	932.8M	0:31.71	Bh8 a4 Kg7 g1=Q+ Rxg1 Nc4 Kf7+ Nb2 Kf6 e1=Q Rxe1 Nd3 Ke6+ Nb2 Ke5 Nd3+ Kd5+ Nb2 Kd4 Nd1 Kc4+ Nb2+ Kc3 Nd1+ Kb4+ Nb2 Re3 Bh7 Kxa3 Kb1 Bxb2 Kc2 d4 Bg8 Re5 Kd3 d5 Kc4 d6 Be6 Rxe6 Kd5 Kxa2 Kc6 d7+ Kxd7 Re3 Kd6 Rxf3 Kc7 Rg3 Kd6 f3 
 51	+100.00 	932.4M	0:31.69	Bh8 a4 Kg7 g1=Q+ Rxg1 Nc4 Kf7+ Nb2 Kf6 Nd3 Ke6+ Nb2 Ke5 e1=Q+ Rxe1 Nd3+ Kd5+ Nb2 Kd4 Nd1 Kc4+ Nb2+ Kc3 Nd1+ Kb4+ Nb2 Re3 Bh7 Kxa3 Kb1 Bxb2 Kc2 d4 Bg8 Re5 Kd3 d5 Kc4 d6 Be6 Rxe6 Kd5 Kxa2 Kc6 d7+ Kxd7 Re3 Kd6 Rxf3 Kc7 Rg3 Kd6 f 
 50	+100.00 	931.7M	0:31.67	Bh8 a4 Kg7 g1=Q+ Rxg1 Nc4 Kf7+ Nb2 Kf6 Nd3 Ke6+ Nb2 Ke5 e1=Q+ Rxe1 Nd3+ Kd5+ Nb2 Kd4 Nd1 Kc4+ Nb2+ Kc3 Nd1+ Kb4+ Nb2 Re3 Bh7 Kxa3 Kb1 Bxb2 Kc2 d4 Bg8 Re5 Kd3 d5 Kc4 d6 Be6 Rxe6 Kd5 Kxa2 Kc6 d7+ Kxd7 Re3 Kd6 Rxf3 Kc7 Rg3 Kd6 f 
 49	+100.00 	930.7M	0:31.63	Bh8 a4 Kg7 g1=Q+ Rxg1 Nc4 Kf7+ Nb2 Kf6 e1=Q Rxe1 Nd3 Ke6+ Nb2 Ke5 Nd3+ Kd5+ Nb2 Kd4 Nd1 Kc4+ Nb2+ Kc3 Nd1+ Kb4+ Nb2 Re3 Bh7 Kxa3 Kb1 Bxb2 Kc2 d4 Bg8 Re5 Kd3 d5 Kc4 d6 Be6 Rxe6 Kd5 Kxa2 Kc6 d7+ Kxd7 Re3 Kd6 Rxf3 Kc7 Rg3 Kd6 f3 
 48	+100.00 	930.5M	0:31.62	Bh8 a4 Kg7 g1=Q+ Rxg1 Nc4 Kf7+ Nb2 Kf6 Nd3 Ke6+ Nb2 Ke5 e1=B Rxe1 Nc4+ Kd5+ Nb2 Kd4 Nd1 Kc4+ Nb2+ Kc3 Nd1+ Kb4+ Nb2 Re3 Bh7 Kxa3 Kb1 Bxb2 Kc2 d4 Bg8 Re5 Kd3 d5 Kc4 d6 Be6 Rxe6 Kd5 Kxa4 Kc6 d7+ Kc7 d8=Q+ Kxd8 Re3 Kd7 Rxf3 Kd6 
 47	+100.00 	928.9M	0:31.56	Bh8 a4 Kg7 g1=Q+ Rxg1 Nc4 Kf7+ Nb2 Kf6 Nd3 Ke6+ Nb2 Ke5 e1=B Rxe1 Nc4+ Kd5+ Nb2 Kd4 Nd1 Kc4+ Nb2+ Kc3 Nd1+ Kb4+ Nb2 Re3 Bf5 Kxa3 Kb1 Bxb2 Kc2 d4 Kd2 d5 Bd7 Kxa2 Bb5 d6 Kc2 Ka3 Bd7 Re7 Kd3 Rxd7 Ke4 Rf7 Kd3 Rxf3+ Ke2 Kxa4 Kd1 R 
 46	+100.00!	900.7M	0:30.80	Bh8! 
 45	+100.00!	862.2M	0:29.95	Bh8! 
 45	+99.95!	862.2M	0:29.95	Bh8! 
 45	+99.88!	862.2M	0:29.95	Bh8! 
 45	+99.62!	862.2M	0:29.95	Bh8! 
 44	+99.10 	862.1M	0:29.95	Bh8 a4 Kg7 Nd1 Kf7+ Nb2 Kf6 Nd1 Ke6+ Nb2 Ke5 Nd1 Kd5+ Nb2 Kd4 Nd1 Kc4+ Nb2+ Kc3 g1=Q Rxg1 e1=Q Rxe1 Nd1+ Kb4+ Nb2 Re3 Bh7 Kxa3 Kb1 Bxb2 a1=Q+ Bxa1 Kc2 d4 Bg8 Rxf3 Kb1 Kxa4 Kc2 d5 
 44	+100.00!	862.1M	0:29.95	Bh8! 
 44	+99.97!	862.1M	0:29.94	Bh8! 
 44	+99.91!	831.7M	0:29.17	Bh8! 
 44	+99.77!	739.9M	0:26.62	Bh8! 
 44	+99.36!	739.9M	0:26.62	Bh8! 
 44	+98.78!	739.9M	0:26.62	Bh8! 
 44	+97.97!	647.7M	0:23.73	Bh8! 
 44	+96.98!	532.6M	0:20.66	Bh8! 
 44	+95.88!	528.6M	0:20.54	Bh8! 
 44	+94.77!	526.9M	0:20.48	Bh8! 
 44	+93.72!	526.5M	0:20.47	Bh8! 
 43	+92.48 	476.1M	0:18.84	Bh8 a4 Kg7 Nd1 Kf7+ Nb2 Kf6 g1=Q Rxg1 Nd1 Ke6+ Nb2 Ke5 Nc4+ Kd5+ Nb2 Kd4 e1=Q Rxe1 Nd1 Kc4+ Nb2+ Kc3 Nd1+ Kb4+ Nb2 Re3 Bg6 Kxa3 Kb1 Bxb2 Kc2 Kxa2 Bf7+ Ka3 Bd5 d4 Bb7 Kxa4 Bd5 Bc3 Bb7 Kb4 Kb1 Kc5 Kc2 d5 Ba6 
 43	+87.60!	447.8M	0:18.00	Bh8! 
 43	+81.89!	433.9M	0:17.55	Bh8! 
 43	+76.10!	433.1M	0:17.52	Bh8! 
 43	+69.02!	433.1M	0:17.52	Bh8! 
 43	+64.01!	433.0M	0:17.52	Bh8! 
 43	+60.14!	433.0M	0:17.52	Bh8! 
 43	+57.11!	433.0M	0:17.52	Bh8! 
 43	+54.79!	432.9M	0:17.52	Bh8! 
 43	+53.08!	432.7M	0:17.51	Bh8! 
 43	+51.85!	396.9M	0:16.34	Bh8! 
 43	+51.02!	396.2M	0:16.32	Bh8! 
 43	+50.53!	372.7M	0:15.46	Bh8! 
 42	+50.04 	285.5M	0:12.01	d4 a4 Bh8 Nd3 d5+ Nb2 Kg7 Nd3 Kf7+ Nb2 
 41	+50.04 	237.1M	0:10.05	d4 a4 Bh8 Nd3 d5+ Nb2 Kg7 Nd3 Kf7+ Nb2 
 40	+50.04 	208.2M	0:08.88	d4 a4 Bh8 Nd3 d5+ Nb2 Kg7 Nd3 Kf7+ Nb2 
 39	+50.04 	206.0M	0:08.79	d4 a4 Bh8 Nd3 d5+ Nb2 Kg7 Nd3 Kf7+ Nb2 Kf6 Nd3 Ke6+ Nb2 Ke5 Nd1 Kf4+ Nb2 Ke5 
 38	+50.04 	142.2M	0:06.17	d4 a4 Rc1 Nd1 d5+ Nb2 Bd8 g1=Q Rxg1 Nd3 Bf6+ Nb2 Bd8 
 37	+50.04 	79.4M  	0:03.59	d4 a4 Bh8 Nd3 d5+ Nb2 Kg7 Nd3 
 36	+50.04 	65.0M  	0:02.99	d4 a4 Bh8 Nd3 d5+ Nb2 Kg7 Nd3 Kf7+ Nb2 
 35	+50.04 	39.7M  	0:01.87	d4 a4 Bh8 Nd3 d5+ Nb2 Kg7 Nd3 Kf7+ Nb2 Kf6 Nd3 Ke7+ Nb2 Kf6 
 34	+50.00 	20.8M  	0:01.06	d4 a4 Ke7 Nd3 d5+ Nb2 Bc3 g1=B Rxg1 e1=R+ Bxe1 Nd1 d6 Kb2 d7 a1=Q d8=Q Bc2 Qd5 Qa2 Qd4+ Kb1 Bb4 Qb3 Bd6 a2 Be5 Qa3+ Ke6 Bb3+ Kd7 a1=Q Rxd1+ Bxd1 Qxd1+ Qc1 Qd3+ Ka2 Qd5+ Ka3 Bxa1 Qxa1 Qxf3+ 
 33	+50.00 	16.9M  	0:00.87	d4 a4 Ke7 g1=Q Rxg1 Nd1 d5+ Nb2 Bc3 e1=R+ Bxe1 Nd1 d6 Kb2 d7 Bc2 d8=Q a1=Q Qd5 Qa2 Qd4+ Kb1 Bb4 Qb3 Bd6 a2 Be5 Qa3+ Ke6 Bb3+ Kd7 a1=Q Rxd1+ Bxd1 Qxd1+ Qc1 Qd3+ Ka2 Qd5+ Ka3 Bxa1 Qxa1 Qxf3+ 
 32	+50.00 	13.6M  	0:00.70	d4 a4 Ke7 g1=Q Rxg1 Nd1 d5+ Nb2 Bc3 e1=R+ Bxe1 Nd1 d6 Kb2 d7 Bc2 d8=Q a1=Q Qd5 Qa2 Qd4+ Kb1 Bb4 Qb3 Bd6 a2 Be5 Qa3+ Ke6 Bb3+ Kd7 a1=Q Rxd1+ Bxd1 Qxd1+ Qc1 Qd3+ Ka2 Qd5+ Ka3 Bxa1 Qxa1 Qxf3+ 
 31	+50.00 	13.2M  	0:00.68	d4 a4 Ke7 g1=Q Rxg1 Nd1 d5+ Nb2 Bc3 e1=R+ Bxe1 Nd1 d6 Kb2 d7 Bc2 d8=Q a1=Q Qd5 Qa2 Qd4+ Kb1 Bb4 Qb3 Bd6 a2 Be5 Qa3+ Ke6 Bb3+ Kd7 a1=Q Rxd1+ Bxd1 Qxd1+ Qc1 Qd3+ Ka2 Qd5+ Ka3 Bxa1 Qxa1 Qxf3+ 
 30	+50.00 	13.0M  	0:00.66	d4 a4 Ke7 Nd3 d5+ Nb2 Bc3 g1=B Rxg1 e1=R+ Bxe1 Nd1 d6 Kb2 d7 a1=Q d8=Q Bc2 Qd5 Qa2 Qd4+ Kb1 Bb4 Qb2 Rxd1+ Bxd1 Qxd1+ Qc1 Qxa4 Qc4 Qxa3 Qe2+ Kf6 Qxf2 
 29	+50.00 	6.47M  	0:00.35	d4 a4 Ke7 Nd3 d5+ Nb2 Bc3 g1=B Rxg1 e1=R+ Bxe1 Nd1 d6 Kb2 d7 a1=Q d8=Q Bc2 Qd5 Qa2 Qd4+ Kb1 Bb4 Qb2 Rxd1+ Bxd1 Qxd1+ Qc1 Qxa4 Qc4 Qxa3 Qe2+ Kf6 Qxf2 
 28	+50.00 	5.97M  	0:00.33	d4 a4 Ke7 Nd3 d5+ Nb2 Bc3 g1=B Rxg1 e1=R+ Bxe1 Nd1 d6 Kb2 d7 a1=Q d8=Q Bc2 Qd5 Qa2 Qd4+ Kb1 Bb4 Qb2 Rxd1+ Bxd1 Qxd1+ Qc1 Qxa4 Qc4 Qxa3 Qe2+ Kf6 Qxf2 
 27	+50.00 	5.75M  	0:00.32	d4 a4 Ke7 Nd3 d5+ Nb2 Bc3 g1=B Rxg1 e1=R+ Bxe1 Nd1 d6 Kb2 d7 a1=Q d8=Q Bc2 Qd5 Qa2 Qd4+ Kb1 Bb4 Qb2 Rxd1+ Bxd1 Qxd1+ Qc1 Qxa4 Qc4 Qxa3 Qe2+ Kf6 Qxf2 
 26	+50.00 	5.69M  	0:00.31	d4 a4 Ke7 Nd3 d5+ Nb2 Bc3 g1=B Rxg1 e1=R+ Bxe1 Nd1 d6 Kb2 d7 Bc2 d8=Q a1=Q Qd5 Qa2 Qd4+ Kb1 Bb4 Qb2 Rxd1+ Bxd1 Qxd1+ Qc1 Qxa4 Qc4 Qxa3 Qe2+ Kf6 Qxf2 
 25	+50.00 	5.66M  	0:00.31	d4 a4 Ke7 Nd3 d5+ Nb2 Bc3 g1=B Rxg1 e1=R+ Bxe1 Nd1 d6 Kb2 d7 Bc2 d8=Q a1=Q Qd5 Qa2 Qd4+ Kb1 Bb4 Qb2 Rxd1+ Bxd1 Qxd1+ Qc1 Qxa4 Qc4 Qxa3 Qe2+ Kf6 Qxf2 
 24	+50.00 	5.34M  	0:00.30	d4 a4 Ke7 Nd3 d5+ Nb2 Bc3 g1=B Rxg1 e1=R+ Bxe1 Nd1 d6 Kb2 d7 Bc2 d8=Q a1=Q Qd5 Qa2 Qd4+ Kb1 Bb4 Qb2 Rxd1+ Bxd1 Qxd1+ Qc1 Qxa4 Qc4 Qxa3 Qe2+ Kf6 Qxf2 
 23	+50.00 	2.00M  	0:00.14	d4 g1=Q Rxg1 a4 Ke7 Nd1 d5+ Nb2 Bc3 e1=Q+ Bxe1 Nd1 d6 Kb2 d7 a1=Q d8=Q Bc2 Qd5 Qa2 Qd4+ Kb1 Bb4 Qb2 Rxd1+ Bxd1 Qxd1+ Ka2 Qd5+ Kb1 Qf5+ Qc2 Qxc2+ Kxc2 Bxa3 
 22	+50.00 	1.92M  	0:00.13	d4 g1=Q Rxg1 a4 Ke7 Nd1 d5+ Nb2 Bc3 e1=Q+ Bxe1 Nd1 d6 Kb2 d7 a1=Q d8=Q Bc2 Qd5 Qa2 Qd4+ Kb1 Bb4 Qb2 Rxd1+ Bxd1 Qxd1+ Ka2 Qxa4 Qxf2 Qxa3+ 
 21	+50.00 	1.68M  	0:00.12	d4 g1=Q Rxg1 a4 Ke7 Nd1 d5+ Nb2 Bc3 e1=Q+ Bxe1 Nd1 d6 Kb2 d7 a1=Q d8=Q Bc2 Qd5 Qa2 Qd4+ Kb1 Bb4 Qb2 Rxd1+ Bxd1 Qxd1+ Ka2 Qxa4 Qxf2 Qxa3+ 
 20	+50.00 	1.66M  	0:00.12	d4 g1=Q Rxg1 a4 Ke7 Nd1 d5+ Nb2 Bc3 e1=Q+ Bxe1 Nd1 d6 Kb2 d7 a1=Q d8=Q Bc2 Qd5 Qa2 Qd4+ Kb1 Bb4 Qb2 Rxd1+ Bxd1 Qxd1+ Ka2 Qxa4 Qxf2 Qxa3+ 
 19	+50.00 	1.16M  	0:00.08	d4 Nd3 d5+ Nb2 Bc3 a4 Ke7 g1=Q Rxg1 e1=R+ Bxe1 Nd1 d6 Kb2 d7 a1=Q d8=Q Bc2 Qd5 Qa2 Qd4+ Kb1 Bb4 Qb2 Rxd1+ Bxd1 Qxd1+ Qc1 Qxa4 a2 Qb3+ Qb2 Qd1+ Qc1 
 18	+58.03 	570003	0:00.03	d4 g1=Q Rxg1 a4 Ke7 Nd3 d5+ Nb2 Bc3 e1=B Bxe1 Nd1 d6 Kb2 d7 a1=Q d8=Q 
 17	+50.00 	208266	0:00.01	Rc1 a4 Ke7 g1=Q Rxg1 e1=Q+ Rxe1 
 16	+50.00 	150839	0:00.01	Rc1 a4 Ke7 g1=Q Rxg1 e1=Q+ Rxe1 
 15	+50.00 	121534	0:00.01	Rc1 a4 Ke7 g1=Q Rxg1 e1=Q+ Rxe1 
 14	+50.00 	92505  	0:00.01	Rc1 a4 Ke7 g1=Q Rxg1 e1=Q+ Rxe1 
 13	+50.00 	68744  	0:00.00	Rc1 a4 Ke7 g1=Q Rxg1 e1=Q+ Rxe1 
 12	+50.00 	50987  	0:00.00	Rc1 a4 Ke7 g1=Q Rxg1 e1=Q+ Rxe1 
 11	+50.00 	39878  	0:00.00	Rc1 a4 Ke7 g1=Q Rxg1 e1=Q+ Rxe1 
 10	+50.00 	32165  	0:00.00	Rc1 a4 Ke7 g1=Q Rxg1 e1=Q+ Rxe1 
  9	+50.00 	26158  	0:00.00	Rc1 a4 Ke7 g1=Q Rxg1 e1=Q+ Rxe1 
  8	+50.00 	21551  	0:00.00	Rc1 a4 Ke7 g1=Q Rxg1 e1=Q+ Rxe1 
  7	+50.00 	19171  	0:00.00	Rc1 a4 Ke7 g1=Q Rxg1 e1=Q+ Rxe1 
  6	+41.80 	12606  	0:00.00	Rc1 e1=B Rxe1 g1=Q Rxg1 
  5	+25.89 	9452    	0:00.00	Rc1 a4 Ke7 
  4	+16.37 	5273    	0:00.00	Rc1 g1=Q Rxg1 a4 
  3	+14.56 	2786    	0:00.00	Rc1 g1=Q Rxg1 
  2	+16.48 	2360    	0:00.00	Ke7 g1=Q 
  1	+4.13 	1933    	0:00.00	Ke7 
  0	# 

Paloma
Posts: 857
Joined: Thu Dec 25, 2008 8:07 pm

Re: Can't for the life of me find that solution

Post by Paloma » Tue May 28, 2019 12:49 am

Dann Corbit wrote:
Mon May 27, 2019 5:58 pm
This position was from my ChestUCI database, and I have never found a solution for it.
I told it to use the database parameters and search, and no mate was found.
...
d=23 t=43952.17s [3.90] n=34324808kN [4.31] Hash: spd=36.19 in=1995272177 out=1946723128
d=24 t=1258127.47s [28.62] n=1142201663kN [33.28] Hash: spd=260.27 in=1841486049 out=1792937000
Search completed ... (Time=1258127.52s)
No Mate in 24 found ! (349:28:47)
Try it with /X12

In lower depth it cost little more Time, at d=23 [3.90] (Faktor to previous depth), but at d=24 it will not be a Faktor of 28.62
but maybe only a factor of 3.xx to 4.xx, and the solution time on your machine around 250.000 sec instead 1.258.127 sec.

349 hour your run, estimated run "only" 76 hour

User avatar
xr_a_y
Posts: 778
Joined: Sat Nov 25, 2017 1:28 pm
Location: France

Re: Can't for the life of me find that solution

Post by xr_a_y » Tue May 28, 2019 3:33 pm

Dann Corbit wrote:
Mon May 27, 2019 5:58 pm
This position was from my ChestUCI database, and I have never found a solution for it.
I told it to use the database parameters and search, and no mate was found.

FEN: 0 1

FEN: 5K2/8/5B2/p7/8/p4p2/pn1PpPp1/kb2R3 w - - (5+9)
Position-Analysis: C0/R0/K1/P2/X5 W:4/24
Parameters found in Database: #24; --:-- @ C0/R0/K3/P2/X11;
Search for Special-Mate [C0/R0/K3/P2/X11] in 24 ... (Hash=2044MB)
d=1 t=0.00s [1.00] n=0kN [1.00] Hash: spd=1.00 in=1 out=0
d=2 t=0.22s [1.00] n=0kN [1.00] Hash: spd=0.99 in=1 out=0
d=3 t=0.22s [1.00] n=0kN [8.08] Hash: spd=0.98 in=15 out=0
d=4 t=0.22s [1.00] n=1kN [2.87] Hash: spd=1.37 in=34 out=0
d=5 t=0.22s [1.00] n=2kN [2.32] Hash: spd=1.88 in=52 out=0
d=6 t=0.23s [1.05] n=8kN [4.02] Hash: spd=2.67 in=327 out=0
d=7 t=0.26s [1.13] n=27kN [3.30] Hash: spd=3.71 in=1979 out=0
d=8 t=0.35s [1.35] n=81kN [2.99] Hash: spd=4.51 in=6280 out=0
d=9 t=0.59s [1.69] n=212kN [2.61] Hash: spd=5.77 in=19931 out=0
d=10 t=1.27s [2.15] n=624kN [2.94] Hash: spd=7.47 in=54085 out=0
d=11 t=3.00s [2.36] n=1715kN [2.75] Hash: spd=9.22 in=144520 out=0
d=12 t=7.07s [2.36] n=4426kN [2.58] Hash: spd=11.27 in=314340 out=0
d=13 t=15.78s [2.23] n=10260kN [2.32] Hash: spd=13.87 in=653510 out=0
d=14 t=30.93s [1.96] n=21097kN [2.06] Hash: spd=17.38 in=1200423 out=0
d=15 t=58.60s [1.89] n=40782kN [1.93] Hash: spd=21.37 in=2253155 out=1
d=16 t=109.51s [1.87] n=77426kN [1.90] Hash: spd=25.98 in=4210782 out=14
d=17 t=210.98s [1.93] n=148427kN [1.92] Hash: spd=29.89 in=8145272 out=318
d=18 t=408.90s [1.94] n=289239kN [1.95] Hash: spd=34.43 in=15560728 out=7698
d=19 t=792.81s [1.94] n=559614kN [1.93] Hash: spd=38.61 in=29856461 out=414854
d=20 t=1560.42s [1.97] n=1103625kN [1.97] Hash: spd=43.40 in=58360167 out=12570997
d=21 t=3517.89s [2.25] n=2528310kN [2.29] Hash: spd=41.83 in=144257295 out=95715859
d=22 t=11273.28s [3.20] n=7970407kN [3.15] Hash: spd=38.55 in=461515425 out=412966376
d=23 t=43952.17s [3.90] n=34324808kN [4.31] Hash: spd=36.19 in=1995272177 out=1946723128
d=24 t=1258127.47s [28.62] n=1142201663kN [33.28] Hash: spd=260.27 in=1841486049 out=1792937000
Search completed ... (Time=1258127.52s)
No Mate in 24 found ! (349:28:47)
don't you need depth 48 to find the mate #24 ?

User avatar
Ajedrecista
Posts: 1401
Joined: Wed Jul 13, 2011 7:04 pm
Location: Madrid, Spain.
Contact:

Re: Can't for the life of me find that solution

Post by Ajedrecista » Tue May 28, 2019 6:00 pm

Hello:
xr_a_y wrote:
Tue May 28, 2019 3:33 pm
don't you need depth 48 to find the mate #24 ?
It depends on the unit of measure. Usual engines search X depths which means X plies (1 ply = 1 half move), but Chest mate solver has the option of 'SearchDepth n' which means n moves (understanding one move as two plies).
  • In a problem of 'checkmate in n moves' with the winning side being the side to move, you must set SearchDepth equal to n, and there will be one or more checkmates in 2n - 1 plies, not 2n plies.
  • In a problem of 'checkmate in n moves' with the losing side being the side to move, you must set SearchDepth equal to n, tick the DefenderMoves option and there will be one or more checkmates in 2n plies.
Regards from Spain.

Ajedrecista.

User avatar
xr_a_y
Posts: 778
Joined: Sat Nov 25, 2017 1:28 pm
Location: France

Re: Can't for the life of me find that solution

Post by xr_a_y » Tue May 28, 2019 6:34 pm

Ajedrecista wrote:
Tue May 28, 2019 6:00 pm
Hello:
xr_a_y wrote:
Tue May 28, 2019 3:33 pm
don't you need depth 48 to find the mate #24 ?
It depends on the unit of measure. Usual engines search X depths which means X plies (1 ply = 1 half move), but Chest mate solver has the option of 'SearchDepth n' which means n moves (understanding one move as two plies).
  • In a problem of 'checkmate in n moves' with the winning side being the side to move, you must set SearchDepth equal to n, and there will be one or more checkmates in 2n - 1 plies, not 2n plies.
  • In a problem of 'checkmate in n moves' with the losing side being the side to move, you must set SearchDepth equal to n, tick the DefenderMoves option and there will be one or more checkmates in 2n plies.
Regards from Spain.

Ajedrecista.
Thanks for this clarification !

Dann Corbit
Posts: 10187
Joined: Wed Mar 08, 2006 7:57 pm
Location: Redmond, WA USA
Contact:

Re: Can't for the life of me find that solution

Post by Dann Corbit » Tue May 28, 2019 8:59 pm

Paloma wrote:
Tue May 28, 2019 12:49 am
Dann Corbit wrote:
Mon May 27, 2019 5:58 pm
This position was from my ChestUCI database, and I have never found a solution for it.
I told it to use the database parameters and search, and no mate was found.
...
d=23 t=43952.17s [3.90] n=34324808kN [4.31] Hash: spd=36.19 in=1995272177 out=1946723128
d=24 t=1258127.47s [28.62] n=1142201663kN [33.28] Hash: spd=260.27 in=1841486049 out=1792937000
Search completed ... (Time=1258127.52s)
No Mate in 24 found ! (349:28:47)
Try it with /X12

In lower depth it cost little more Time, at d=23 [3.90] (Faktor to previous depth), but at d=24 it will not be a Faktor of 28.62
but maybe only a factor of 3.xx to 4.xx, and the solution time on your machine around 250.000 sec instead 1.258.127 sec.

349 hour your run, estimated run "only" 76 hour
If I changed the parameter and spent the time, would it find the mate?
The reason I am asking is that I ran using the parameters in the database which were supposed to have found it.
No mate was found using those parameters.
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.

Paloma
Posts: 857
Joined: Thu Dec 25, 2008 8:07 pm

Re: Can't for the life of me find that solution

Post by Paloma » Tue May 28, 2019 10:43 pm

The solution from Jouni posted was this:

1.Bh8 a4 2.Kg7 Nd1 3.Kf7+ Nb2 4.Kf6 Nd1 5.Ke6+ Nb2 6.Ke5 Nd1 7.Kd5+ Nb2 8.Kd4 g1Q 9.Rxg1 e1Q 10.Rxe1 Nd1 11.Kc4+ Nb2+ 12.Kc3 Nd1+ 13.Kb4+ Nb2 14.d4 Nd3+ 15.Kxa3 Nb2 16.Rc1 Nc4+ 17.Rxc4 Bc2 18.Rxc2 Kb1 19.Rxa2 Kc1 20.d5 Kb1 21.Bc3 Kc1 22.Kxa4 Kd1 23.Kb3 Kc1 24.Ra1#
+- (#24) Depth: 43/48 00:01:43 1023mN, tb=1781143


I have tried now with these paras (C0/R0/K3/P2/X11) backwards (Retro-Analysis) start from move 20.
At move 7.Kd5+ i've got No Mate in 18 found

Now i changed the X para to 12, and +M19 was found.

But... time increased much more than I thought.

So the complete solution will take as long as your 1st attempt ... or more. :)

Post Reply