KNNN vs K : how come Stockfish cannot find the mate in 17?

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

Moderators: hgm, Rebel, chrisw

User avatar
MikeB
Posts: 4889
Joined: Thu Mar 09, 2006 6:34 am
Location: Pen Argyl, Pennsylvania

Re: KNNN vs K : how come Stockfish cannot find the mate in 1

Post by MikeB »

zullil wrote:
zullil wrote:
bstjean wrote:To make a long story short, I have posted an entry on the subject on my blog. Am I missing something here?

Stockfish seems to be unable to find this mate in 17 and alternates between different results even though its search deep enough to have seen the mate in 17!

My blog entry:

https://endormitoire.wordpress.com/2018 ... 3-knights/

P.S. Please reply here (not on my blog) !!

tia
What is Stockfish 240813? Is it four years old?

Latest Stockfish (1 thread, 256 MB hash) finds Mate-in-20 at depth 45, Mate-in 19 at depth 46, Mate-in-18 at depth 54 and Mate-in-17 at depth ... not there yet!
And Mate-in-17 at depth 77 after almost an hour.

Code: Select all

info depth 77 seldepth 36 multipv 1 score mate 17 nodes 15506190692 nps 4684397 hashfull 999 tbhits 0 time 3310178 pv e1e2 e8d7 f1e3 d7d6 e2d3 d6c5 h1g3 c5d6 d3d4 d6c6 g1f3 c6b5 d4d5 b5b6 f3d4 b6c7 g3f5 c7b7 e3c4 b7a8 d5c6 a8a7 c6d7 a7b8 f5d6 b8a7 d7c8 a7a6 d6e8 a6a7 d4b5 a7a6 e8c7
Using 20 threads saves some time. :wink:

Code: Select all

info depth 67 seldepth 50 multipv 1 score mate 17 nodes 5813324357 nps 76498155 hashfull 84 tbhits 0 time 75993 pv e1f2 e8e7 f2e3 e7d6 e3d4 d6c6 h1g3 c6d7 f1e3 d7e8 d4c5 e8d7 g3f5 d7e8 c5d6 e8f8 g1f3 f8e8 f3e5 e8d8 f5d4 d8c8 e5d7 c8d8 e3c4 d8e8 d4e6 e8f7 c4e5 f7g8 d7f6 g8h8 e5g6
Using Cfish and 20 threads save a bit more time:

Code: Select all

info depth 66 seldepth 36 multipv 1 score mate 17 nodes 5028731282 nps 84039093 hashfull 82 tbhits 0 time 59838 pv e1d2 e8e7 f1e3 e7f6 d2d3 f6e5 g1f3 e5d6 d3d4 d6e6 d4c5 e6e7 e3d5 e7e6 h1g3 e6d7 f3d4 d7e8 d4e6 e8d7 e6c7 d7c8 c5c6 c8d8 g3e4 d8c8 e4d6 c8b8 d5b6 b8a7 d6b5 a7b8 c7a6
But the winner is Asmfish, who might have been very lucky.

Code: Select all

info depth 56 seldepth 36 multipv 1 time 11619 nps 77041413 score mate 17 nodes 895144179 hashfull 52 tbhits 0 pv e1e2 e8d7 e2d3 d7e6 d3d4 e6d6 f1e3 d6e6 h1g3 e6d6 g1f3 d6c6 g3f5 c6d7 d4d5 d7c7 f3d4 c7b6 e3c4 b6b7 f5d6 b7a7 d5c6 a7b8 d4e6 b8a8 c6b6 a8b8 c4e5 b8a8 e6c7 a8b8 e5c6
Current dev-SF-McB based on SF 9, single thread 8MB hash, a little slower than normal as 18 of the 24 cores ( 24 logical, 12 physical) were busy. There appears to be multiple paths to mate in 17, note the pv is different.

Code: Select all

dep	score	nodes	time	(not shown:  tbhits	knps	seldep)
 62	  #17 	793.6M	7:19.08	Nf3 Kd7 Nhg3 Kc6 Ke2 Kc5 Kd3 Kc6 Ne4 Kd5 Ne3+ Ke6 Kc4 Ke7 Nfg5 Kd7 Nf5 Kc6 Ne6 Kb6 Ne7 Ka6 N4c5+ Kb6 Kb4 Ka7 Kb5 Kb8 Kb6 Ka8 Nc7+ Kb8 N5a6# 
 61	  #17 	641.8M	5:57.24	Nf3 Kd7 Nhg3 Kc6 Ke2 Kc5 Kd3 Kc6 Ne4 Kd5 Ne3+ Ke6 Kc4 Ke7 Nfg5 Kd7 Nf5 Kc6 Ne6 Kb6 Ne7 Ka6 N4c5+ Kb6 Kb4 Ka7 Kb5 Kb8 Kb6 Ka8 Nc7+ Kb8 N5a6# 
 60	  #18 	505.3M	4:44.26	Nf3 Kd7 Nhg3 Kc6 Ke2 Kc5 Kd3 Kc6 Ne4 Kd5 Ne3+ Ke6 Kc4 Ke7 Ne5 Ke6 Kd4 Ke7 Kd5 Kd8 Kd6 Kc8 Nd5 Kb7 Kc5 Kc8 Kb5 Kb8 Kb6 Kc8 Nef6 Kd8 Nc6+ Kc8 Nde7# 
 59	  #18 	425.7M	4:01.66	Nf3 Kd7 Nhg3 Kc6 Ke2 Kc5 Kd3 Kc6 Ne4 Kd5 Ne3+ Ke6 Kc4 Ke7 Ne5 Ke6 Kd4 Ke7 Kd5 Kd8 Kd6 Kc8 Nd5 Kb7 Kd7 Ka6 Kc6 Ka5 Nec3 Ka6 Kc7 Ka5 Nc6+ Ka6 Ndb4# 
 58	  #18 	345.3M	3:17.27	Nf3 Kd7 Nhg3 Kc6 Ke2 Kc5 Kd3 Kc6 Ne4 Kd5 Ne3+ Ke6 Kc4 Ke7 Ne5 Ke6 Kd4 Ke7 Kd5 Kd8 Kd6 Kc8 Nd5 Kb7 Kd7 Ka6 Kc6 Ka5 Nec3 Ka6 Kc7 Ka5 Nc6+ Ka6 Ndb4# 
 57	  #18 	288.3M	2:45.20	Nf3 Kd7 Nhg3 Kc6 Ke2 Kc5 Kd3 Kc6 Ne4 Kd5 Ne3+ Ke6 Kc4 Ke7 Ne5 Ke6 Kd4 Ke7 Kd5 Kd8 Kd6 Kc8 Nd5 Kb7 Kd7 Ka6 Kc6 Ka5 Nec3 Ka6 Kc7 Ka5 Nc6+ Ka6 Ndb4# 
 56	  #18 	250.9M	2:24.35	Nf3 Kd7 Nhg3 Kc6 Ke2 Kc5 Kd3 Kc6 Ne4 Kd5 Ne3+ Ke6 Kc4 Ke7 Ne5 Ke6 Kd4 Ke7 Kd5 Kd8 Kd6 Kc8 Nd5 Kb7 Kd7 Ka6 Kc6 Ka5 Nec3 Ka6 Kc7 Ka5 Nc6+ Ka6 Ndb4# 
 55	  #18 	218.3M	2:06.37	Nf3 Kd7 Nhg3 Kc6 Ke2 Kc5 Kd3 Kc6 Ne4 Kd5 Ne3+ Ke6 Kc4 Ke7 Ne5 Ke6 Kd4 Ke7 Kd5 Kd8 Kd6 Kc8 Nd5 Kb7 Kd7 Ka6 Kc6 Ka5 Nec3 Ka6 Kc7 Ka5 Nc6+ Ka6 Ndb4# 
 54	  #19 	148.7M	1:27.05	Nhg3 Kd8 Ke2 Kc8 Ne4 Kc7 Kd3 Kd7 Kd4 Kc6 Nf3 Kb6 Kd5 Kc7 Nfg3 Kd7 Nf5 Kc7 N3d4 Kb6 Kd6 Ka6 Kc6 Ka5 Kc5 Ka6 Nfd6 Ka5 Nc6+ Ka4 Nc4 Kb3 Nd4+ Ka2 Nc3+ Ka1 Nc2# 
 53	  #19 	124.2M	1:13.05	Nhg3 Kd8 Ke2 Kc8 Ne4 Kc7 Kd3 Kd7 Kd4 Kc6 Nf3 Kb6 Kd5 Kc7 Nfg3 Kd7 Nf5 Kc7 N3d4 Kb6 Kd6 Ka6 Kc6 Ka5 Kc5 Ka6 Nfd6 Ka5 Nc6+ Ka4 Nc4 Kb3 Nd4+ Ka2 Nc3+ Ka1 Nc2# 
 52	  #19 	100.3M	0:59.19	Nhg3 Kd8 Ke2 Kc8 Ne4 Kc7 Kd3 Kd7 Kd4 Ke6 Nf3 Kd7 Kd5 Kc7 Nfg3 Kd7 Nf5 Kc7 N3d4 Kb6 Kd6 Ka6 Kc6 Ka5 Kc5 Ka6 Nfd6 Ka5 Nc6+ Ka4 Nc4 Kb3 Nd4+ Ka2 Nc3+ Ka1 Nc2# 
 51	  #19 	84.7M  	0:50.19	Nhg3 Kd8 Ke2 Kc8 Ne4 Kc7 Kd3 Kd7 Kd4 Ke6 Nf3 Kd7 Kd5 Kc7 Nfg3 Kd7 Nf5 Kc7 N3d4 Kb6 Kd6 Ka6 Kc6 Ka5 Kc5 Ka6 Nfd6 Ka5 Nc6+ Ka4 Nc4 Kb3 Nd4+ Ka2 Nc3+ Ka1 Nc2# 
 50	  #19 	75.7M  	0:44.91	Nhg3 Kd8 Ke2 Kc8 Ne4 Kc7 Kd3 Kd7 Kd4 Ke6 Nf3 Kd7 Kd5 Kc7 Nfg3 Kd7 Nf5 Kc7 N3d4 Kb6 Kd6 Ka6 Kc6 Ka5 Kc5 Ka6 Nfd6 Ka5 Nc6+ Ka4 Nc4 Kb3 Nd4+ Ka2 Nc3+ Ka1 Nc2# 
 49	  #19 	67.6M  	0:40.15	Nhg3 Kd8 Ke2 Kc8 Ne4 Kc7 Kd3 Kd7 Kd4 Ke6 Nf3 Kd7 Kd5 Kc7 Nfg3 Kd7 Nf5 Kc7 N3d4 Kb6 Kd6 Ka6 Kc6 Ka5 Kc5 Ka6 Nfd6 Ka5 Nc6+ Ka4 Nc4 Kb3 Nd4+ Ka2 Nc3+ Ka1 Nc2# 
 48	  #20 	52.3M  	0:30.96	Nf3 Kd7 Nhg3 Kc6 Ke2 Kb5 Kd3 Kc5 Ne4+ Kd5 Ne3+ Kc6 Kd4 Kc7 Kd5 Kd7 Nd4 Kd8 Kd6 Ke8 Nc6 Kf7 Nf5 Kg6 Nfg3 Kf7 Kd7 Kg8 Ke7 Kh7 Ne5 Kh6 Kf7 Kh7 Nf5 Kh8 Ng6+ Kh7 Nf6# 
 47	  #20 	46.1M  	0:27.44	Nf3 Kd7 Nhg3 Kc6 Ke2 Kb5 Kd3 Kc5 Ne4+ Kd5 Ne3+ Kc6 Kd4 Kc7 Kd5 Kd7 Nd4 Kd8 Kd6 Ke8 Nc6 Kf7 Nf5 Kg6 Nfg3 Kf7 Kd7 Kg8 Ke7 Kh7 Ne5 Kh6 Kf7 Kh7 Nf5 Kh8 Ng6+ Kh7 Nf6# 
 46	  #20 	40.5M  	0:24.26	Nf3 Kd7 Nhg3 Kc6 Ke2 Kb5 Kd3 Kc5 Ne4+ Kd5 Ne3+ Kc6 Kd4 Kc7 Kd5 Kd7 Nd4 Kd8 Kd6 Ke8 Nc6 Kf7 Nf5 Kg6 Nfg3 Kf7 Kd7 Kg8 Ke7 Kh7 Ne5 Kh6 Kf7 Kh7 Nf5 Kh8 Ng6+ Kh7 Nf6# 
 45	  #20 	34.4M  	0:20.64	Nf3 Kd7 Nhg3 Kc6 Ke2 Kb5 Kd3 Ka6 Kd4 Kb7 Ne4 Kc6 Ne3 Kd7 Kd5 Ke7 Ne5 Kd8 Kd6 Kc8 N3c4 Kd8 Nf6 Kc8 Nc6 Kb7 Kd7 Ka6 Nd4 Ka7 Ne4 Kb7 Nc5+ Ka8 Kc8 Ka7 Nc6+ Ka8 Nb6# 
 44	  #20 	30.4M  	0:18.29	Nf3 Kd7 Nhg3 Kc6 Ke2 Kb5 Kd3 Ka6 Kd4 Kb7 Kc5 Kc7 Ne4 Kd7 Nd4 Kc7 Nf6 Kd8 Kd6 Kc8 Nd2 Kb7 Nc4 Kc8 Ne6 Kb7 Kd7 Ka7 Nd4 Ka6 Ne4 Ka7 Nc5 Ka8 Kc8 Ka7 Nc6+ Ka8 Nb6# 
 43	  #21 	22.8M  	0:13.60	Ke2 Kd7 Kd3 Ke6 Ke4 Kd6 Kd4 Kc7 Kd5 Kd7 Nf2 Kc7 Ne4 Kd7 Nf3 Kc7 Ne3 Kd7 Ne5+ Kc7 N3c4 Kd8 Kd6 Ke8 Ne3 Kd8 Nf5 Kc8 Nc4 Kb7 Nd4 Kb8 Kd7 Kb7 Nc5+ Ka8 Kc8 Ka7 Nc6+ Ka8 Nb6# 
 42	  #21 	21.4M  	0:12.74	Ke2 Kd7 Kd3 Ke6 Ke4 Kd6 Kd4 Kc7 Kd5 Kd7 Nf2 Kc7 Ne4 Kd7 Nf3 Kc7 Ne3 Kd7 Ne5+ Kc7 N3c4 Kd8 Kd6 Ke8 Ne3 Kd8 Nf5 Kc8 Nc4 Kb7 Nd4 Kb8 Kd7 Kb7 Nc5+ Ka8 Kc8 Ka7 Nc6+ Ka8 Nb6# 
 41	  #21 	20.0M  	0:11.98	Ke2 Kd7 Kd3 Ke6 Ke4 Kd6 Kd4 Kc7 Kd5 Kd7 Nf2 Kc7 Ne4 Kd7 Nf3 Kc7 Ne3 Kd7 Ne5+ Kc7 N3c4 Kd8 Kd6 Ke8 Ne3 Kd8 Nf5 Kc8 Nc4 Kb7 Nd4 Kb8 Kd7 Kb7 Nc5+ Ka8 Kc8 Ka7 Nc6+ Ka8 Nb6# 
 40	  #21 	19.2M  	0:11.46	Ke2 Kd7 Kd3 Ke6 Ke4 Kd6 Kd4 Kc7 Kd5 Kb6 Nhg3 Kc7 Nf3 Kd7 Ne3 Kc7 Ne4 Kd7 Ne5+ Kc7 N3c4 Kd8 Kd6 Ke8 Ne3 Kd8 Nf5 Kc8 Nc4 Kb7 Nd4 Kb8 Kd7 Kb7 Nc5+ Ka8 Kc8 Ka7 Nc6+ Ka8 Nb6# 
 39	  #21 	17.9M  	0:10.67	Ke2 Kd7 Kd3 Ke6 Ke4 Kd6 Kd4 Kc7 Kd5 Kb6 Nhg3 Kc7 Ne4 Kd7 Nf3 Kc7 Ne3 Kd7 Ne5+ Kc7 N3c4 Kd8 Kd6 Ke8 Ne3 Kd8 Nf5 Kc8 Nc4 Kb7 Nd4 Kb8 Kd7 Kb7 Nc5+ Ka8 Kc8 Ka7 Nc6+ Ka8 Nb6# 
 39	+132.79 	12.2M  	0:07.10	Ke2 
 38	+132.79 	11.3M  	0:06.52	Ke2 Kd8 Kd3 Kd7 Kd4 Kd6 Nfg3 Kc6 Ne4 Kb5 Kd5 Kb6 Nf3 Kc7 Nhg3 Kd7 Ne5+ Kc7 Kc5 Kd8 Kd6 Ke8 Nf5 Kd8 Nf7+ Kc8 Kc6 Kb8 N7d6 Ka7 Nc4 Kb8 Nb6 Ka7 Nc5 Kb8 Ne3 Ka7 Nd1 Kb8 Nb2 Ka7 Nbd7 Ka8 Ne5 Ka7 
 37	+132.79 	8.66M  	0:05.02	Ke2 Kd8 Kd3 Kd7 Kd4 Kd6 Nfg3 Kc6 Ne4 Kb5 Kd5 Kb6 Nf3 Kc7 Nhg3 Kd7 Ne5+ Kc7 Kc5 Kd8 Kd6 Ke8 Ke6 Kd8 Nf1 Kc7 Kd5 Kd8 Kd6 Kc8 Nc6 Kb7 Nd4 Kc8 Nc5 Kd8 Nf3 Ke8 Ne4 Kf7 
 36	+132.79 	7.42M  	0:04.31	Ke2 Kd8 Kd3 Kd7 Kd4 Kd6 Nfg3 Kc6 Ne4 Kb5 Kd5 Kb4 Ne2 Kb5 Nd4+ Kb6 Nhg3 Kc7 Nb5+ Kb6 Na3 Kc7 Nc4 Kd8 Kd6 Kc8 Nf5 Kd8 Nf2 Ke8 Ne5 Kd8 Ne3 Ke8 Ne4 Kd8 Nc6+ Ke8 
 35	+132.79 	6.54M  	0:03.81	Ke2 Kd8 Kd3 Kd7 Kd4 Kd6 Nfg3 Kc6 Ne4 Kb5 Kd5 Kb4 Ne2 Kb5 Nd4+ Kb6 Nhg3 Kc7 Nf6 Kb7 Kc5 Kc7 Nc6 Kc8 Nh1 Kc7 Nd4 Kb7 Kd6 Kb6 Ne4 Kb7 Nhg3 Kb6 Nf6 Kb7 
 34	+132.79 	5.42M  	0:03.16	Ke2 Kd8 Kd3 Kd7 Kd4 Kd6 Nfg3 Kc6 Ne4 Kb5 Kd5 Kb4 Ne2 Kb5 Nd4+ Kb6 Nhg3 Kc7 Nf6 Kb7 Kc5 Kc7 Nc6 Kc8 Kd5 Kb7 Nd4 Kb6 Nge4 Kc7 Kc5 Kb7 Nf3 Ka6 
 33	+132.79 	4.65M  	0:02.71	Ke2 Kd8 Kd3 Kd7 Kd4 Kd6 Nfg3 Kc6 Ne4 Kb5 Kd5 Kb4 Ne2 Kb5 Nd4+ Kb6 Nhg3 Kc7 Nf6 Kb7 Kc5 Kc7 Nc6 Kc8 Kd5 Kb7 Nd4 Kb6 Nh1 Kb7 Kc5 Kc7 Nc6 
 32	+132.79 	3.51M  	0:02.07	Ke2 Kd8 Kd3 Kd7 Kd4 Kd6 Nfg3 Kc6 Ne4 Kb5 Nf3 Kc6 Ne5+ Kb5 Nhg3 Kb4 Nc6+ Kb5 Kd5 Kb6 Nh5 Kc7 Nd6 Kd7 Nf6+ Kc7 Nde4 Kb7 Kc5 Kc8 Nd6+ Kc7 Nb5+ Kc8 Nbd4 Kc7 Ne5 Kd8 
 31	+132.79 	2.92M  	0:01.73	Ke2 Kd8 Kd3 Kd7 Kd4 Kd6 Nfg3 Kc6 Ne4 Kb5 Nf3 Kc6 Ne5+ Kb5 Nhg3 Kb4 Nc6+ Kb5 Kd5 Kb6 Nh5 Kc7 Nd6 Kd7 Nf6+ Kc7 Nde4 Kb7 Ng3 Kb6 Nfe4 Kc7 Nc5 
 30	+132.79 	1.83M  	0:01.11	Ke2 Kd8 Kd3 Kd7 Nhg3 Kd6 Kd4 Ke6 Ne4 Ke7 Kd5 Kd7 Neg3 Ke7 Ke5 Kd7 Nh1 Kc6 Kd4 Kd6 Kc4 Ke5 Nhg3 Kf4 Kd4 Kg5 Ke5 Kg6 Ne4 Kf7 Kd5 Ke7 
 29	+132.79 	1.56M  	0:00.95	Ke2 Kd8 Kd3 Kd7 Nhg3 Kd6 Kd4 Ke6 Ne4 Ke7 Kd5 Kd7 Neg3 Ke7 Kc5 Ke6 Kd4 Kd6 Nh1 Kc6 Nfg3 Kd6 Ne4+ Ke6 Nhg3 Kd7 Kd5 Kc7 Nf5 Kd8 
 28	+132.79 	1.27M  	0:00.77	Ke2 Kd8 Kd3 Kd7 Nhg3 Kd6 Kd4 Ke6 Ne4 Kf5 Kd5 Kf4 Neg3 Kg5 Ke5 Kg6 Ne4 Kf7 Nd6+ Ke7 Nf5+ Kd7 Kd5 Kd8 N5g3 Kd7 Nd2 Ke7 Nge4 Kd7 Nc5+ Ke7 
 27	+132.79 	1.08M  	0:00.66	Ke2 Kd8 Kd3 Kd7 Nhg3 Kd6 Kd4 Ke6 Ne4 Kf5 Kd5 Kf4 Neg3 Kg5 Kc4 Kf4 Kd4 Kg5 Ke5 Kg6 Ne4 Kf7 Kd4 Kf8 Nfg3 Kf7 Ke5 Ke7 
 26	+132.79 	886670	0:00.54	Ke2 Kd8 Kd3 Kd7 Nhg3 Kd6 Kd4 Ke6 Ne4 Kf5 Kd5 Kf4 Neg3 Kg5 Ke5 Kg6 Ne4 Kf7 Nfg3 Ke7 Kd5 Kd7 N1e2 Ke7 Nf5+ Kd7 Nc5+ Kd8 
 25	+132.79 	717938	0:00.44	Ke2 Kd8 Kd3 Kd7 Nhg3 Kd6 Kd4 Ke6 Ne4 Kf5 Kd5 Kf4 Neg3 Kg5 Ke5 Kg6 Ne4 Kf7 Nfg3 Ke7 Kd5 Kd7 Nc5+ Ke7 Ke5 Kd8 
 24	+132.79 	607161	0:00.37	Ke2 Kd8 Kd3 Kd7 Nhg3 Kd6 Kd4 Ke6 Ne4 Kf5 Kd5 Kf4 Neg3 Kg4 Ke5 Kg5 Nf3+ Kg4 Ne1 Kg5 Ne4+ Kg4 Nc3 Kg5 Na2 Kg4 
 23	+132.79 	490614	0:00.30	Ke2 Kd8 Kd3 Kd7 Nhg3 Kd6 Kd4 Ke6 Ne4 Kf5 Kd5 Kf4 Neg3 Kg4 Ke5 Kg5 Nf3+ Kg4 Ne1 Kg5 Nh1 Kg4 Ke4 Kg5 
 22	+132.79 	402199	0:00.25	Ke2 Kd8 Kd3 Kd7 Nhg3 Kd6 Kd4 Ke6 Ne4 Kf5 Kd5 Kf4 Neg3 Kg4 Ke5 Kg5 Nf3+ Kg4 Ne1 Kg5 Nh1 Kg4 Ke4 
 21	+132.79 	337087	0:00.21	Ke2 Kd8 Kd3 Kd7 Nhg3 Kd6 Kd4 Ke6 Ne4 Kf5 Kd5 Kf4 Neg3 Kg4 Ke5 Kg5 Nf3+ Kg4 Ne1 Kg5 Nh1 Kg4 Ke4 Kg5 
 20	+132.79 	279054	0:00.17	Ke2 Kd8 Kd3 Kd7 Nhg3 Kd6 Kd4 Ke6 Ne4 Kf5 Kd5 Kf4 Neg3 Kg4 Ke5 Kg5 Nf3+ Kg4 Ne1 Kg5 Nh1 Kg4 Ke4 Kg5 
 19	+132.79 	226222	0:00.14	Ke2 Kd8 Kd3 Kd7 Nhg3 Kd6 Kd4 Ke6 Ne4 Kf5 Kd5 Kf4 Neg3 Kg4 Ke5 Kg5 Nf3+ Kg4 Ne1 Kg5 Nd2 Kg4 
 18	+132.79 	133740	0:00.08	Ke2 Kd8 Kd3 Kd7 Ke4 Kc6 Nd2 Kc5 Ng3 Kd6 Kd4 Kc6 Ndf1 Kd6 Nh1 Kc6 Kc4 Kd6 
 17	+132.79 	98542  	0:00.06	Ke2 Kd8 Kd3 Kd7 Ke4 Kc6 Nd2 Kc5 Ng3 Kd6 Kd4 Ke6 Nde4 Kd7 Nf6+ Kd6 Nfh5 Ke6 
 16	+132.79 	73774  	0:00.05	Ke2 Kd8 Kd3 Kd7 Ke4 Kc6 Nd2 Kc5 Ng3 Kd6 Kd4 Ke6 Nde4 Kd7 Nf6+ Kd6 Nfh5 Ke6 
 15	+132.79 	60673  	0:00.04	Ke2 Kd8 Kd3 Kd7 Ke4 Kc6 Nd2 Kc5 Ng3 Kd6 Kd4 Ke6 Nde4 Kd7 Nf6+ Kd6 Nfh5 Ke6 
 14	+132.79 	40651  	0:00.03	Ke2 Kd8 Kd3 Kd7 Ke4 Kc6 Nd2 Kc5 Ng3 Kd6 Kd4 Ke6 Nb3 Kd6 
 13	+132.79 	33488  	0:00.02	Ke2 Kd8 Kd3 Kd7 Ke4 Kc6 Nd2 Kc5 Ng3 Kd6 Kd4 Ke6 Nb3 Kd6 
 12	+132.79 	24480  	0:00.02	Ke2 Kd8 Kd3 Kd7 Ke4 Kc6 Nd2 Kc5 Ng3 Kd6 Kd4 Ke6 
 11	+132.79 	17110  	0:00.02	Ke2 Kd8 Kd3 Kd7 Ke4 Kc6 Nd2 Kd7 Kd5 Ke7 Kc4 
 10	+132.79 	13984  	0:00.01	Ke2 Kd8 Kd3 Kd7 Ke4 Kc6 Nd2 Kd7 Kd5 Ke7 
  9	+132.79 	8724    	0:00.01	Ke2 Ke7 Kd3 Kd7 Ke4 Kc6 Nh3 Kc5 Nf4 Kd6 
  8	+132.79 	3744    	0:00.01	Ke2 Kd7 Kd3 Kd6 Kd4 Kd7 Ke4 Kd6 
  7	+132.79 	2070    	0:00.01	Ke2 Kd7 Kd3 Kd6 Kd4 Kd7 Ke4 
  6	+132.79 	1138    	0:00.00	Ke2 Kd7 Kd3 Kd6 Ke4 Kc5 
  5	+132.79 	653      	0:00.00	Ke2 Kd7 Kd3 Kd6 Kc4 
  4	+132.79 	244      	0:00.00	Ke2 Kd7 Kd3 Kd6 
  3	+132.79 	130      	0:00.00	Ke2 Kd7 Kd3 
  2	+132.79 	45        	0:00.00	Kd2 Kd7 
  1	+132.79 	13        	0:00.00	Kd2 
  0	#  
syzygy
Posts: 5566
Joined: Tue Feb 28, 2012 11:56 pm

Re: KNNN vs K : how come Stockfish cannot find the mate in 1

Post by syzygy »

SIngle-threaded Cripplefish with 16 GB hash needs about 50 minutes:

Code: Select all

info depth 23 seldepth 29 multipv 1 score mate 18 nodes 14483023905 nps 9031321 hashfull 129 tbhits 0 time 1603644 pv e1d2 e8d8 d2d3 d8c7 f1d2 c7d6 d2e4 d6d7 h1g3 d7e7 g1f3 e7d8 d3c4 d8c7 c4b5 c7d7 f3g5 d7c7 g3f5 c7d7 e4f6 d7c7 g5e6 c7b7 f6e4 b7c8 e4c5 c8b8
info depth 24 seldepth 26 multipv 1 score mate 18 nodes 20174120775 nps 9190327 hashfull 134 tbhits 0 time 2195147 pv e1d2 e8d8 d2d3 d8c7 f1d2 c7d6 d2e4 d6d7 h1g3 d7e7 g1h3 e7e6 d3c4 e6d7 h3f4 d7c7 c4b5 c7d7 b5c5 d7c7 g3f5 c7b7 c5b5 b7c7
info depth 25 seldepth 28 multipv 1 score mate 18 nodes 24609696446 nps 9253807 hashfull 141 tbhits 0 time 2659413 pv e1d2 e8d8 d2d3 d8c7 f1d2 c7d6 d2e4 d6d7 g1h3 d7e6 d3c4 e6d7 c4c5 d7e6 h1g3 e6e7 h3g5 e7d7 c5b5 d7e8 b5c6 e8d8 g3f5 d8e8 e4d6 e8f8
info depth 26 seldepth 29 multipv 1 score mate 17 nodes 27749896002 nps 9225818 hashfull 147 tbhits 0 time 3007852 pv e1d2 e8d8 d2d3 d8c7 d3c4 c7b6 f1e3 b6b7 c4c5 b7c8 e3d5 c8d7 h1g3 d7e6 g1f3 e6d7 f3g5 d7e8 c5c6 e8f8 g3f5 f8g8 d5e3 g8h8 c6d7 h8g8
syzygy
Posts: 5566
Joined: Tue Feb 28, 2012 11:56 pm

Re: KNNN vs K : how come Stockfish cannot find the mate in 1

Post by syzygy »

And Cripplefish with 6 threads:

Code: Select all

info depth 22 seldepth 24 multipv 1 score mate 17 nodes 32654835523 nps 49310265 hashfull 131 tbhits 0 time 662232 pv e1d2 e8e7 f1e3 e7e6 g1f3 e6d6 h1g3 d6c6 g3e4 c6d7 d2c3 d7c7 f3e5 c7b7 c3b4 b7c7 e3d5 c7d8 e4f6 d8c8 b4a5 c8b7 f6e4
kgburcham
Posts: 2016
Joined: Sun Feb 17, 2008 4:19 pm

Re: KNNN vs K : how come Stockfish cannot find the mate in 1

Post by kgburcham »

[D] 4k3/8/8/8/8/8/8/4KNNN w - -


no tablebases

Engine: Stockfish 9 64 BMI2 (8192 MB)
by T. Romstad, M. Costalba, J. Kiiski, G.
37/39 0:00 +10.34 1.Ke2 Kd8 2.Kd3 Kd7 3.Ke4 Ke6 4.Nf3 Kd6 5.Ne3 Kc5 6.Ne5 Kd6 7.Kd4 Ke6 8.N5c4 Ke7 9.Ke5 Kf7 10.Nf5 Kg6 11.Nd4 Kg5 12.Ne6+ Kg4 13.Ke4 Kh3 14.Kf3 (14.099.173) 31754
38/43 0:00 +10.34 1.Ke2 Kd8 2.Kd3 Kd7 3.Ke4 Ke6 4.Nf3 Kd6 5.Ne3 Kc5 6.Ne5 Kd6 7.Kd4 Ke6 8.N5c4 Kd7 9.Kd5 Kc7 10.Ne5 Kb6 11.Nd3 Kc7 12.Ke5 Kc6 13.Nf5 Kd7 14.Kd5 (17.702.513) 32011
39/45 0:00 +10.42 1.Ke2 Kd8 2.Kd3 Kd7 3.Ke4 Ke6 4.Nf3 Kd6 5.Ne3 Kc5 6.Ne5 Kd6 7.Kd4 Ke6 8.N5c4 Kd7 9.Kd5 Kc7 10.Ne5 Kb6 11.N3c4+ Kc7 12.Ke6 Kc8 13.Kd6 Kd8 14.Ne3 (23.269.710) 32454
40/41 0:00 +10.42 1.Ke2 Kd8 2.Kd3 Kd7 3.Ke4 Ke6 4.Nf3 Kd6 5.Ne3 Kc5 6.Ne5 Kd6 7.Kd4 Ke6 8.N5c4 Kd7 9.Kd5 Kc7 10.Ne5 Kb6 11.N3c4+ Kc7 12.Ke6 Kc8 13.Kd6 Kd8 14.Nf3 (27.705.578) 32710
41/48 0:00 +10.42 1.Ke2 Kd8 2.Kd3 Kd7 3.Ke4 Ke6 4.Nf3 Kd6 5.Ne3 Ke7 6.Kd5 Kd7 7.Nd4 Ke7 8.Nef5+ Kd7 9.Ne6 Ke8 10.Ke5 Kd7 11.Ned4 Ke8 12.Kd6 Kf8 13.Ke6 Ke8 14.Nc6 (29.908.846) 32723
42/42 0:01 +10.42 1.Ke2 Kd8 2.Kd3 Kd7 3.Ke4 Ke6 4.Nf3 Kd6 5.Ne3 Ke7 6.Kd5 Kd7 7.Nd4 Ke7 8.Nef5+ Kd7 9.Ne6 Ke8 10.Ke5 Kd7 11.Ned4 Ke8 12.Kd6 Kf8 13.Ke6 Ke8 14.Ne3 (34.792.324) 32916
43/44 0:01 +10.42 1.Ke2 Kd8 2.Kd3 Kd7 3.Ke4 Ke6 4.Nf3 Kd6 5.Ne3 Ke7 6.Kd5 Kd7 7.Nd4 Ke7 8.Nef5+ Kd7 9.Ne6 Ke8 10.Ke5 Kd7 11.Ned4 Ke8 12.Kd6 Kf8 13.Ne3 Ke8 14.Ke6 (38.197.288) 33042
44/47 0:01 +10.42 1.Ke2 Kd8 2.Kd3 Kd7 3.Ke4 Ke6 4.Nf3 Kd6 5.Ne3 Ke7 6.Kd5 Kd7 7.Nd4 Ke7 8.Nef5+ Kd7 9.Ne6 Ke8 10.Ke5 Kd7 11.Ned4 Ke8 12.Nf3 Kd7 13.Ne3 Ke7 14.Ke4 (45.293.929) 33255
45/53 0:01 +10.42 1.Ke2 Kd8 2.Kd3 Kd7 3.Ke4 Ke6 4.Nf3 Kd6 5.Ne3 Ke7 6.Kd5 Kd7 7.Nd4 Ke7 8.Nef5+ Kd7 9.Ne6 Ke8 10.Ke5 Kd7 11.Ned4 Kc8 12.Kd6 Kb7 13.Ne3 Kc8 14.Ne6 (51.313.247) 33320
46/60 0:01 +10.42 1.Ke2 Kd8 2.Kd3 Kd7 3.Ke4 Ke6 4.Nf3 Kd6 5.Ne3 Ke7 6.Kd5 Kd7 7.Nd4 Ke7 8.Nef5+ Kd7 9.Ne6 Ke8 10.Ke5 Kd7 11.Ned4 Kc8 12.Ne3 Kd7 13.Nf3 Ke7 14.Ke4 (64.357.055) 33536
47/66 0:06 +M19 1.Ke2 Kd8 2.Nf2 Ke7 3.Kd3 Kd6 4.Ke4 Kc5 5.Ne3 Kd6 6.Nd3 Kc6 7.Ke5 Kd7 8.Ne2 Ke7 9.Nd4 Kf7 10.Kd6 Ke8 11.Ne5 Kd8 12.Nd5 Kc8 13.Ne6 Kb7 14.Nc5+ (223.474.310) 33782
48/52 0:07 +M19 1.Ke2 Kd8 2.Nf2 Ke7 3.Kd3 Kd6 4.Ke4 Kc5 5.Ne3 Kd6 6.Kf5 Ke7 7.Ke5 Kd7 8.Nf3 Kc7 9.Nd4 Kd7 10.Nd5 Kd8 11.Kd6 Ke8 12.Ke6 Kf8 13.Nd3 Kg7 14.Ne5 (243.240.445) 33825
49/38 0:07 +M19 1.Ke2 Kd8 2.Nf2 Ke7 3.Kd3 Kd6 4.Ke4 Kc5 5.Ne3 Kd6 6.Kf5 Ke7 7.Ke5 Kd7 8.Nf3 Kc7 9.Nd4 Kd7 10.Nd5 Kd8 11.Kd6 Ke8 12.Ke6 Kf8 13.Nd3 Kg7 14.Ne5 (258.292.032) 33861
50/40 0:08 +M19 1.Ke2 Kd8 2.Nf2 Ke7 3.Kd3 Kd6 4.Ke4 Ke6 5.Ne2 Kf6 6.Kd5 Ke7 7.Ne3 Kd7 8.Nd3 Kc7 9.Ke6 Kc6 10.Nd4+ Kb6 11.Kd6 Ka5 12.Kc6 Ka4 13.Kc5 Ka5 14.Nc4+ (293.717.188) 33721
51/38 0:10 +M19 1.Ke2 Kd8 2.Nf2 Ke7 3.Kd3 Kd6 4.Ke4 Ke6 5.Ne2 Kd6 6.Nd4 Ke7 7.Ke5 Kd7 8.Ne3 Ke7 9.Nd5+ Kf7 10.Kf5 Kf8 11.Kf6 Ke8 12.Ke6 Kf8 13.Nf5 Ke8 14.Nd3 (336.198.288) 33465
52/54 0:11 +M19 1.Ke2 Kd8 2.Nf2 Ke7 3.Kd3 Kd6 4.Ke4 Ke6 5.Ne2 Kd6 6.Ne3 Ke6 7.Nd4+ Kd6 8.Nd3 Ke7 9.Ke5 Kf7 10.Kd6 Kf6 11.Nf3 Kf7 12.Kd7 Kf8 13.Nde5 Kg7 14.Ke7 (376.739.082) 33571
53/38 0:11 +M19 1.Ke2 Kd8 2.Nf2 Ke7 3.Kd3 Kd6 4.Ke4 Ke6 5.Ne2 Kd6 6.Ne3 Ke6 7.Nd4+ Kd6 8.Nd3 Ke7 9.Ke5 Kf7 10.Kd6 Kf6 11.Nf3 Kf7 12.Kd7 Kf8 13.Nde5 Kg7 14.Ke7 (391.935.103) 33590
54/38 0:13 +M19 1.Ke2 Kd8 2.Nf2 Ke7 3.Kd3 Kd6 4.Ke4 Ke6 5.Ne2 Kd6 6.Ne3 Ke6 7.Nd4+ Kd6 8.Nd3 Ke7 9.Ke5 Kf7 10.Kd6 Kf6 11.Nf3 Kf7 12.Kd7 Kf8 13.Nde5 Kg7 14.Ke7 (446.291.559) 33720
55/38 0:17 +M19 1.Ke2 Kd8 2.Nf2 Ke7 3.Kd3 Kd6 4.Ke4 Ke6 5.Ne2 Kd6 6.Ne3 Ke6 7.Nd4+ Kd6 8.Nd3 Ke7 9.Ke5 Kf7 10.Kd6 Kf6 11.Nf3 Kf7 12.Kd7 Kf8 13.Nde5 Kg7 14.Ke7 (593.629.302) 33939
56/38 0:18 +M19 1.Ke2 Kd8 2.Nf2 Ke7 3.Kd3 Kd6 4.Ke4 Ke6 5.Ne2 Kd6 6.Ne3 Ke6 7.Nd4+ Kd6 8.Nd3 Kd7 9.Ke5 Ke7 10.Nd5+ Kf7 11.Kf5 Ke8 12.Ke6 Kf8 13.Ne5 Kg7 14.Nf5+ (614.051.446) 33985
57/42 0:20 +M19 1.Ke2 Kd8 2.Nf2 Ke7 3.Kd3 Kd6 4.Ke4 Ke6 5.Ne2 Kd6 6.Ne3 Ke6 7.Kd4 Kd6 8.Nd3 Ke6 9.Kc5 Ke7 10.Nd4 Kf7 11.Kd6 Kf6 12.Nf4 Kg5 13.Ke5 Kh4 14.Kf5 (696.533.515) 34168
58/36 0:29 +M18 1.Ke2 Kd8 2.Nf2 Ke7 3.Kd3 Kd6 4.Ke4 Ke6 5.Ne2 Kd6 6.Nd4 Ke7 7.Ke5 Kd7 8.Ne3 Ke7 9.Nd3 Kf7 10.Kd6 Kf6 11.Nf4 Kg5 12.Ke5 Kh4 13.Kf5 Kg3 14.Ng4 (1.028.332.942) 34897
59/36 0:34 +M18 1.Ke2 Kd8 2.Kf3 Ke7 3.Ke4 Ke6 4.Nf2 Kd6 5.Nd3 Kc6 6.Ne2 Kb7 7.Ne3 Kc7 8.Ke5 Kc8 9.Kd6 Kd8 10.Nd4 Ke8 11.Ne5 Kd8 12.Nd5 Kc8 13.Kc6 Kd8 14.Nf7+ (1.220.763.889) 35104
60/36 0:39 +M18 1.Ke2 Kd8 2.Kf3 Ke7 3.Ke4 Kd7 4.Ke5 Kc6 5.Ke6 Kc5 6.Nf2 Kc6 7.Ne2 Kb6 8.Ne3 Kc5 9.Nd3+ Kc6 10.Ke7 Kb5 11.Kd7 Ka4 12.Kc6 Kb3 13.Kb5 Ka3 14.Ndc1 (1.387.091.473) 35331
61/36 0:41 +M18 1.Ke2 Kd8 2.Kf3 Ke7 3.Ke4 Ke6 4.Nf2 Ke7 5.Ke5 Kd7 6.Ne3 Ke7 7.Nf3 Kd7 8.Nd4 Ke7 9.Nd3 Kf7 10.Kd6 Kf6 11.Nf4 Kg5 12.Ke5 Kh4 13.Kf5 Kg3 14.Ng4 (1.485.408.247) 35420
62/36 0:50 +M18 1.Ke2 Kd8 2.Kf3 Ke7 3.Ke4 Ke6 4.Nf2 Ke7 5.Ke5 Kd7 6.Ne3 Ke7 7.Nf3 Kd7 8.Nd4 Ke7 9.Nd3 Kf7 10.Kd6 Kf6 11.Nf4 Kg5 12.Ke5 Kh4 13.Kf5 Kg3 14.Ng4 (1.786.097.702) 35713
63/36 0:58 +M18 1.Ke2 Kd8 2.Kf3 Ke7 3.Ke4 Ke6 4.Nf2 Ke7 5.Ke5 Kd7 6.Ne3 Ke7 7.Nf3 Kd7 8.Nd4 Ke7 9.Nd3 Kf7 10.Kd6 Kf6 11.Nf4 Kg5 12.Ke5 Kh4 13.Kf5 Kg3 14.Ng4 (2.103.529.002) 35937
64/36 1:14 +M18 1.Ke2 Kd8 2.Kf3 Ke7 3.Ke4 Ke6 4.Nf2 Ke7 5.Ke5 Kd7 6.Ne3 Ke7 7.Nf3 Kd7 8.Nd3 Ke7 9.Nd5+ Kf7 10.Kd6 Kf8 11.Nde5 Kg8 12.Nd4 Kg7 13.Nf5+ Kf8 14.Kd7 (2.696.368.133) 36378
65/36 1:34 +M18 1.Ke2 Kd8 2.Kf3 Ke7 3.Ke4 Ke6 4.Nf2 Ke7 5.Ke5 Kd7 6.Ne3 Ke7 7.Nf3 Kd7 8.Ne4 Kc6 9.Nd4+ Kd7 10.Nd5 Ke8 11.Ke6 Kf8 12.Nd6 Kg8 13.Kf6 Kh7 14.Kg5 (3.487.619.262) 36772
66/36 1:45 +M18 1.Ke2 Kd8 2.Kf3 Ke7 3.Ke4 Ke6 4.Nf2 Ke7 5.Ke5 Kd7 6.Ne3 Ke7 7.Nf3 Kd7 8.Ne4 Kc6 9.Nd4+ Kd7 10.Nd5 Ke8 11.Ke6 Kf8 12.Nd6 Kg8 13.Kf6 Kh7 14.Kg5 (3.880.770.816) 36683
67/36 2:17 +M18 1.Ke2 Kd8 2.Kf3 Ke7 3.Ke4 Ke6 4.Nf2 Kd6 5.Nd3 Kc6 6.Ne2 Kb7 7.Ne3 Kc7 8.Ke5 Kc8 9.Kd6 Kd8 10.Nd4 Kc8 11.Ke7 Kc7 12.Nd5+ Kb7 13.Kd7 Ka6 14.Kc8 (5.046.562.294) 36689
68/36 2:50 +M18 1.Ke2 Kd8 2.Kf3 Ke7 3.Ke4 Ke6 4.Nf2 Kf7 5.Ke5 Ke7 6.Ne2 Kd7 7.Nd4 Kd8 8.Kd6 Ke8 9.Ke6 Kf8 10.Ne4 Kg7 11.Ke7 Kg6 12.Nfg3 Kg7 13.Nde2 Kg6 14.Nf4+ (6.276.087.044) 36709
69/36 3:32 +M18 1.Ke2 Kd8 2.Kf3 Ke7 3.Ke4 Ke6 4.Nf2 Kf7 5.Ke5 Ke7 6.Ne2 Kd7 7.Nd4 Kd8 8.Kd6 Ke8 9.Ke6 Kf8 10.Ne4 Kg7 11.Ke7 Kg6 12.Nfg3 Kg7 13.Nde2 Kg6 14.Nf4+ (7.789.673.428) 36578
70/36 4:00 +M18 1.Ke2 Kd8 2.Kf3 Ke7 3.Ke4 Ke6 4.Nf2 Kf7 5.Ke5 Ke7 6.Ne2 Kd7 7.Nd4 Kd8 8.Kd6 Ke8 9.Ke6 Kf8 10.Ne4 Kg7 11.Ke7 Kg6 12.Nfg3 Kg7 13.Nde2 Kg6 14.Nf4+ (8.805.332.178) 36562
71/36 7:07 +M17 1.Kd2 Kd8 2.Nhg3 Ke7 3.Nf3 Kd6 4.Kc3 Kd5 5.Ne3+ Kd6 6.Kc4 Ke7 7.Ngf5+ Ke6 8.Kc5 Kd7 9.Ng5 Kc7 10.Nd5+ Kd7 11.Nf6+ Kc7 12.Ne6+ Kb7 13.Kb5 Ka7 14.Nd6 (15.290.922.402) 35731
72/36 8:07 +M17 1.Kd2 Kd8 2.Nhg3 Ke7 3.Nf3 Kd6 4.Kc3 Kd5 5.Ne3+ Kd6 6.Kc4 Ke7 7.Ngf5+ Ke6 8.Kc5 Kd7 9.Ng5 Kc7 10.Nd5+ Kd7 11.Nf6+ Kc7 12.Ne6+ Kb7 13.Kb5 Ka7 14.Nd6 (17.386.458.430) 35650
no chess program was born totally from one mind. all chess programs have many ideas from many minds.
kgburcham
Posts: 2016
Joined: Sun Feb 17, 2008 4:19 pm

Re: KNNN vs K : how come Stockfish cannot find the mate in 1

Post by kgburcham »

[D] 4k3/8/8/8/8/8/8/4KNNN w - -


shredderbasses with 0 men found (0 MB)
Engine: Deep Shredder 13 x64 (8192 MB)
by Stefan Meyer-Kahlen
engine now running on 8 thread(s)

42/49 1:08 +M18 1.Nf2 Kd7 2.Nf3 Ke6 3.Ne3 Kf6 4.Ke2 Kg7 5.Nd4 Kf6 6.Ne4+ Ke7 7.Nd5+ Ke8 8.Nc5 Kf7 9.Nb5 Kf8 10.Nd6 Kg8 11.Kf3 Kg7 12.Kg4 Kh6 13.Ne7 Kg7 14.Nd7 (3.372.571.421) 49180
43/49 1:27 +M18 1.Nf2 Kd7 2.Nf3 Ke6 3.Ne3 Kf6 4.Ke2 Kg7 5.Nd4 Kf6 6.Ne4+ Ke7 7.Nd5+ Ke8 8.Nc5 Kf7 9.Nb5 Kf8 10.Nd6 Kg8 11.Kf3 Kg7 12.Kg4 Kh6 13.Ne7 Kg7 14.Nd7 (4.354.569.441) 49521
44/49 1:56 +M17 1.Nf2 Kd7 2.Nf3 Ke6 3.Ne3 Kf6 4.Ke2 Kg7 5.Ne4 Kf7 6.Kd3 Ke6 7.Kc4 Kd7 8.Nfg5 Kc6 9.Nf5 Kb6 10.Ne6 Ka6 11.N4c5+ Ka5 12.Ne7 Kb6 13.Kb4 Ka7 14.Kb5 (5.820.325.134) 50026
45/49 2:18 +M17 1.Nf2 Kd7 2.Nf3 Ke6 3.Ne3 Kf6 4.Ke2 Kg7 5.Nfg4 Kf7 6.Kd3 Ke8 7.Kc4 Kd7 8.Kb5 Ke6 9.Ng5+ Ke7 10.Nf5+ Kf8 11.Kc6 Ke8 12.Nge3 Kf8 13.Kd7 Kg8 14.Ke7 (7.049.061.060) 50806
no chess program was born totally from one mind. all chess programs have many ideas from many minds.
kgburcham
Posts: 2016
Joined: Sun Feb 17, 2008 4:19 pm

Re: KNNN vs K : how come Stockfish cannot find the mate in 1

Post by kgburcham »

[D] 4k3/8/8/8/8/8/8/4KNNN w - -


Engine: Stockfish MateFinder 64 POPCNT (8192 MB)
by T. Romstad, M. Costalba, J. Kiiski, G.

44/50 1:40 +M18 1.Nf3 Kd7 2.Kd2 Kc7 3.Ne3 Kd6 4.Ng3 Kc7 5.Ne4 Kd7 6.Kd3 Ke8 7.Kd4 Ke7 8.Kd5 Kd7 9.Ne5+ Kc7 10.Kc5 Kd8 11.Kd6 Kc8 12.Nd5 Kb7 13.Kc5 Ka7 14.Kb5 (3.075.546.711) 30718
45/36 2:56 +M17 1.Nf3 Kd7 2.Kd2 Kc7 3.Nhg3 Kd7 4.Kc3 Kc6 5.Ne3 Kd7 6.Ne4 Kc7 7.Ne5 Kd8 8.Kc4 Ke7 9.Kd5 Kd8 10.Ke6 Ke8 11.Nf6+ Kd8 12.Kd6 Kc8 13.Kc6 Kb8 14.Kb6 (5.567.964.616) 31600
no chess program was born totally from one mind. all chess programs have many ideas from many minds.
syzygy
Posts: 5566
Joined: Tue Feb 28, 2012 11:56 pm

Re: KNNN vs K : how come Stockfish cannot find the mate in 1

Post by syzygy »

My private patzer engine with 6 threads:

Code: Select all

  2:51.253  32  7928494712   +Mate17   1.Kd2 Ke7 2.Nhg3 Kd6 3.Nf3 Kd7 4.Ne4 Ke7 5.Kc3 Kd7 6.Kc4 Ke6 7.Ne3 Kd7 8.Nfg5 Kc6 9.Nf5 Kb6 10.Ne6 Ka6 11.Ne7 Ka5 12.N4c5 Kb6 13.Kb4 Ka7 14.Kb5 Kb8 15.Kb6 Ka8 16.Nc7+ Kb8 17.N5a6#
User avatar
MikeB
Posts: 4889
Joined: Thu Mar 09, 2006 6:34 am
Location: Pen Argyl, Pennsylvania

Re: KNNN vs K : how come Stockfish cannot find the mate in 1

Post by MikeB »

dev-SF-McB v9 ( going forward, releases of McB will follow SF - hence the jump to v9) : 18 threads, 12 real core, 8000 MB hash. So far it has outputted 7 different pvs that are all mate-in-17. Found the first one in little over 1GB nodes in 27 seconds, it might be lucky, but if so , it's the luckiest so far.

Code: Select all

dep	score	nodes	time	(not shown:  tbhits	knps	seldep)
 69	  #17 	11.9G	4:52.14	Ne3 Kd7 Nf2 Kd6 Nf3 Kd7 Kd2 Kc6 Ne4 Kb7 Kc3 Kc7 Kc4 Kc8 Kb5 Kc7 Nfg5 Kd7 Nf5 Kd8 Kc6 Ke8 Kc7 Kf8 Kd7 Kg8 Ke7 Kh8 Ke6 Kg8 Nf6+ Kf8 Ngh7# 
  68	  #17 	9.69G	3:59.30	Ne3 Kd7 Ke2 Kc7 Kd3 Kc6 Kd4 Kb5 Kd5 Kb6 Nf3 Kc7 Ng3 Kd7 Ne5+ Ke7 Ne4 Kd8 Ke6 Kc7 Nd5+ Kb7 Nc5+ Kc8 Kd6 Kd8 Ne6+ Kc8 Nc6 Kb7 Nc5+ Kc8 Nb6# 
 67	  #17 	8.56G	3:31.98	Ne3 Kd7 Nf2 Kd6 Nf3 Kd7 Kd2 Kc6 Ne4 Kb7 Kc3 Kc7 Kc4 Kc8 Kc5 Kc7 Ne5 Kd8 Nf5 Kc7 Ng5 Kd8 Kb6 Ke8 Ngf7 Kf8 N7h6 Ke8 Kc7 Kf8 Ng6+ Ke8 Nd6# 
 66	  #17 	5.92G	2:28.19	Ne3 Kd7 Nf2 Kd6 Nf3 Kd7 Kd2 Kc6 Ne4 Kb7 Kc3 Kc7 Kc4 Kc8 Kc5 Kc7 Ne5 Kd8 Kd6 Kc8 Nd5 Kb7 Nc5+ Kc8 Ke7 Kb8 Kd7 Ka8 Kc7 Ka7 Nc6+ Ka8 Nb6# 
 65	  #17 	5.24G	2:11.78	Ne3 Kd7 Ke2 Kc7 Kd3 Kc6 Kd4 Kb5 Kd5 Kb6 Nf3 Kc7 Ng3 Kd7 Ne5+ Ke7 Ne4 Kd8 Ke6 Kc7 Nd5+ Kb7 Nc5+ Kc8 Kd6 Kd8 Ne6+ Kc8 Nc6 Kb7 Nc5+ Kc8 Nb6# 
 64	  #17 	3.65G	1:32.53	Ne3 Kd7 Ke2 Kc7 Kd3 Kc6 Kd4 Kb5 Kd5 Kb6 Nf3 Kc7 Ng3 Kd7 Ne5+ Ke7 Ne4 Kd8 Ke6 Kc7 Nd5+ Kb7 Nc5+ Kc8 Kd6 Kd8 Ne6+ Kc8 Nc6 Kb7 Nc5+ Kc8 Nb6# 
 63	  #17 	2.97G	1:15.77	Ne3 Kd7 Ke2 Kc7 Kd3 Kc6 Kd4 Kb5 Kd5 Kb6 Nf3 Kc7 Ng3 Kd7 Ne5+ Ke7 Ne4 Kd8 Ke6 Kc7 Nd5+ Kb7 Nc5+ Kc8 Kd6 Kd8 Ne6+ Kc8 Nc6 Kb7 Nc5+ Kc8 Nb6# 
 62	  #17 	2.73G	1:09.64	Ne3 Kd7 Ke2 Kc7 Kd3 Kc6 Kd4 Kb5 Kd5 Kb6 Nf3 Kc7 Ng3 Kd7 Ne5+ Ke7 Ne4 Kd8 Kd6 Kc8 Nd5 Kb7 Nc5+ Kc8 Ke7 Kb8 Kd7 Ka8 Kc7 Ka7 Nc6+ Ka8 Nb6# 
 61	  #17 	2.34G	1:00.14	Ne3 Kd7 Ke2 Kc7 Kd3 Kc6 Kd4 Kb5 Kd5 Kb6 Nf3 Kc7 Ng3 Kd7 Ne5+ Ke7 Ne4 Kd8 Ke6 Kc7 Nd5+ Kb7 Kd6 Ka6 Kc6 Ka7 Kc7 Ka6 Nec3 Ka7 Nc6+ Ka8 Nb6# 
 60	  #17 	1.65G	0:43.02	Ne3 Kd7 Ke2 Kc7 Kd3 Kc6 Kd4 Kb5 Kd5 Kb6 Nf3 Kc7 Ng3 Kd7 Ne5+ Ke7 Ne4 Kd8 Ke6 Kc7 Nd5+ Kb7 Kd6 Ka6 Kc6 Ka7 Kc7 Ka6 Nec3 Ka7 Nc6+ Ka8 Nb6# 
 59	  #17 	1.47G	0:38.24	Ne3 Kd7 Ke2 Kc7 Kd3 Kc6 Kd4 Kb5 Kd5 Kb6 Nf3 Kc7 Ng3 Kb6 Ne5 Kb5 N5c4 Kb4 Ne4 Kb5 Nc2 Ka6 Kc6 Ka7 Kc7 Ka6 Nd4 Ka7 Nc5 Ka8 Nb6+ Ka7 Nc6# 
 58	  #17 	1.22G	0:32.01	Ne3 Kd7 Ke2 Kc7 Kd3 Kc6 Kd4 Kb5 Kd5 Kb6 Nf3 Kc7 Ng3 Kb6 Ne5 Kb5 N5c4 Kb4 Ne4 Kb5 Nc2 Ka6 Kc6 Ka7 Kc7 Ka6 Nd4 Ka7 Nc5 Ka8 Nb6+ Ka7 Nc6# 
 57	  #17 	1.04G	0:27.34	Ne3 Kd7 Ke2 Kc7 Kd3 Kc6 Kd4 Kb5 Kd5 Kb6 Nf3 Kc7 Ng3 Kb6 Ne5 Kb5 N5c4 Kb4 Ne4 Kb5 Nc2 Ka6 Kc6 Ka7 Kc7 Ka6 Nd4 Ka7 Nc5 Ka8 Nb6+ Ka7 Nc6# 
 56	  #18 	752.6M	0:19.95	Ne3 Kd7 Nf2 Kd6 Ke2 Kd7 Nf3 Ke6 Ne4 Ke7 Kd3 Ke6 Kd4 Ke7 Kd5 Kd7 Ne5+ Kc7 Kc5 Kd8 Nf5 Kc7 Ne7 Kb7 Nd5 Kc8 Kc6 Kd8 Nef6 Kc8 Kb6 Kd8 Nc6+ Kc8 Nde7# 
 55	  #18 	527.5M	0:14.12	Ne3 Kd7 Nf2 Kd6 Ke2 Kd7 Nf3 Ke6 Ne4 Ke7 Kd3 Ke6 Kd4 Kd7 Kd5 Kc7 Ne5 Kb6 Kd6 Kb5 N5c4 Ka6 Kc6 Ka7 Ned6 Ka6 Nd5 Ka7 Kc7 Ka6 Nb4+ Ka7 Nb5+ Ka8 Nb6# 
 54	  #18 	478.8M	0:12.85	Ne3 Kd7 Nf2 Kd6 Ke2 Kd7 Nf3 Ke6 Ne4 Ke7 Kd3 Ke6 Kd4 Kd7 Kd5 Kc7 Ne5 Kb6 Kd6 Kb5 N5c4 Ka6 Kc6 Ka7 Ne5 Ka8 Kb6 Kb8 Nd5 Kc8 Nef6 Kd8 Nc6+ Kc8 Nde7# 
 53	  #18 	448.5M	0:12.06	Ne3 Kd7 Nf2 Kd6 Ke2 Kd7 Nf3 Ke6 Ne4 Ke7 Kd3 Ke6 Kd4 Kd7 Kd5 Kc7 Ne5 Kb6 Kd6 Kb5 N5c4 Ka6 Kc6 Ka7 Ne5 Ka8 Kb6 Kb8 Nd5 Kc8 Nef6 Kd8 Nc6+ Kc8 Nde7# 
 52	  #18 	397.1M	0:10.70	Ne3 Kd7 Nf2 Kd6 Ke2 Kd7 Nf3 Ke6 Ne4 Ke7 Kd3 Ke6 Kd4 Ke7 Kd5 Kd7 Ne5+ Kc7 Kc5 Kd8 Kd6 Kc8 Nd5 Kb7 Kc5 Kc8 Kb5 Kd8 Nef6 Kc8 Kb6 Kd8 Nc6+ Kc8 Nde7# 
 51	  #18 	258.1M	0:07.07	Ne3 Kd7 Nf2 Kd6 Ke2 Kd7 Nf3 Ke6 Ne4 Ke7 Kd3 Kf7 Ne5+ Ke7 Kc3 Ke8 Kc4 Kd8 Nf5 Kc7 Kb5 Kd8 Kc6 Kc8 Ned6+ Kb8 Kb6 Ka8 Ne7 Kb8 Nd5 Ka8 Nc7+ Kb8 Nc6# 
 50	  #18 	211.3M	0:05.82	Ne3 Kd7 Nf2 Kd6 Ke2 Kd7 Nf3 Ke6 Ne4 Ke7 Kd3 Kf7 Kd4 Ke7 Kd5 Kd7 Ne5+ Kc7 Kc5 Kd8 Kd6 Kc8 Nd5 Kb7 Kc5 Kc8 Kc6 Kd8 Nef6 Kc8 Kb6 Kd8 Nc6+ Kc8 Nde7# 
 49	  #18 	196.7M	0:05.43	Ne3 Kd7 Nf2 Kd6 Ke2 Kd7 Nf3 Ke6 Ne4 Ke7 Kd3 Kf7 Kd4 Ke7 Kd5 Kd7 Ne5+ Kc7 Kc5 Kd8 Kd6 Kc8 Nd5 Kb7 Kc5 Kc8 Kc6 Kd8 Nef6 Kc8 Kb6 Kd8 Nc6+ Kc8 Nde7# 
 48	  #18 	154.3M	0:04.30	Ne3 Kd7 Nf2 Kd6 Ke2 Kd7 Nf3 Ke6 Ne4 Ke7 Kd3 Kf7 Kd4 Ke7 Kd5 Kd7 Ne5+ Kc7 Kc5 Kd8 Kd6 Kc8 Nd5 Kb7 Kc5 Kc8 Kc6 Kd8 Nef6 Kc8 Kb6 Kd8 Nc6+ Kc8 Nde7# 
 47	  #18 	138.0M	0:03.86	Ne3 Kd7 Nf2 Kd6 Ke2 Kd7 Nf3 Ke6 Ne4 Ke7 Kd3 Kf7 Kd4 Ke7 Kd5 Kd7 Ne5+ Kc7 Kc5 Kd8 Kd6 Kc8 Nd5 Kb7 Kc5 Kc8 Kc6 Kd8 Nef6 Kc8 Kb6 Kd8 Nc6+ Kc8 Nde7# 
 46	  #18 	119.3M	0:03.36	Ne3 Kd7 Nf2 Kd6 Ke2 Kd7 Nf3 Ke6 Ne4 Ke7 Kd3 Ke6 Kc4 Ke7 Kd5 Kd7 Ne5+ Kc7 Kc5 Kd8 Kd6 Kc8 Nd5 Kb7 Kc5 Kc8 Kc6 Kd8 Nef6 Kc8 Kb6 Kd8 Nc6+ Kc8 Nde7# 
 45	  #18 	112.7M	0:03.18	Ne3 Kd7 Kd2 Kc6 Kd3 Kd6 Nf3 Ke6 Ng3 Kd6 Ne4+ Kd7 Kd4 Kc7 Kd5 Kd7 Ne5+ Kc7 Kc5 Kd8 Kd6 Kc8 Nd5 Kb7 Kc5 Kc8 Kc6 Kd8 Nef6 Kc8 Kb6 Kd8 Nc6+ Kc8 Nde7# 
 44	  #18 	102.9M	0:02.91	Ne3 Kd7 Kd2 Kc6 Nf3 Kb7 Kd3 Kc7 Kd4 Kd6 Nf2 Kc6 Ne4 Kc7 Kd5 Kd7 Ne5+ Kc7 Kc5 Kd8 Kd6 Kc8 Nd5 Kb7 Kc5 Kc8 Kc6 Kd8 Nef6 Kc8 Kb6 Kd8 Nc6+ Kc8 Nde7# 
 43	  #20 	75.4M  	0:02.15	Ne3 Kd7 Nf2 Kd6 Nf3 Ke6 Ke2 Kf7 Kd3 Ke7 Ne4 Kd7 Kd4 Ke8 Kc5 Ke7 Nf5+ Ke6 N5d4+ Kd7 Ne5+ Kc7 Ne6+ Kb7 Nc4 Kc8 Kd6 Kb8 Nd4 Kb7 Kd7 Ka7 Nc5 Ka8 Kc7 Ka7 Nc6+ Ka8 Nb6# 
 42	  #20 	68.2M  	0:01.95	Ne3 Kd7 Nf2 Kd6 Nf3 Ke6 Ke2 Kf7 Kd3 Ke7 Ne4 Kd7 Kd4 Ke8 Kc5 Ke7 Nf5+ Ke6 N5d4+ Kd7 Ne5+ Kc7 Ne6+ Kb7 Nc4 Kc8 Kd6 Kb8 Nd4 Kb7 Kd7 Ka7 Nc5 Ka8 Kc7 Ka7 Nc6+ Ka8 Nb6# 
 41	  #20 	58.8M  	0:01.68	Ne3 Kd7 Nf2 Kd6 Nf3 Ke6 Ke2 Kf7 Kd3 Ke7 Ne4 Kd7 Kd4 Ke8 Kc5 Ke7 Nf5+ Ke6 N5d4+ Kd7 Ne5+ Kc7 Ne6+ Kb7 Nc4 Kc8 Kd6 Kb8 Nd4 Kb7 Kd7 Ka7 Nc5 Ka8 Kc7 Ka7 Nc6+ Ka8 Nb6# 
 40	  #20 	54.0M  	0:01.54	Ne3 Kd7 Nf2 Kd6 Nf3 Ke6 Ke2 Kf7 Kd3 Ke7 Ne4 Kd7 Kd4 Ke8 Kc5 Kd7 Nd4 Ke7 Nc4 Kf7 Ne5+ Kf8 Kd5 Ke7 Kc6 Kd8 Nf5 Kc8 Ned6+ Kb8 Kb6 Ka8 Ne7 Kb8 Ne8 Ka8 Nc7+ Kb8 N5c6# 
 39	  #20 	50.4M  	0:01.45	Ne3 Kd7 Nf2 Kd6 Nf3 Ke6 Ke2 Kf7 Kd3 Ke7 Ne4 Ke6 Kd4 Ke7 Kc5 Kd7 Ne5+ Ke6 Kd4 Ke7 Kd5 Kd8 Kd6 Ke8 Nf5 Kd8 Kc6 Kc8 Ned6+ Kb8 Kb6 Ka8 Ne7 Kb8 Ne8 Ka8 Nc7+ Kb8 N5c6# 
 38	  #21 	37.7M  	0:01.09	Ke2 Ke7 Ke3 Ke8 Kd4 Ke7 Kd5 Kd7 Nfg3 Kc7 Nf3 Kd7 Ne4 Kc7 Nhg3 Kb6 Ne2 Kc7 Ned4 Kd7 Ne5+ Kc7 Kc5 Kb7 Kd6 Kc8 Kc6 Kd8 Nf5 Kc8 Ned6+ Kb8 Kb6 Ka8 Ne7 Kb8 Ne8 Ka8 Nc7+ Kb8 N5c6# 
 37	  #21 	35.1M  	0:01.01	Ke2 Ke7 Ke3 Ke8 Kd4 Ke7 Kd5 Kd7 Nfg3 Kc7 Nf3 Kd7 Ne4 Kc7 Nhg3 Kb6 Nf5 Kc7 N5d4 Kb6 Kd6 Ka5 Kc5 Ka6 Kc6 Ka5 Nfd2 Kb4 Nc2+ Ka5 Nc4+ Ka6 Nd4 Ka7 Kc7 Ka8 Nc5 Ka7 Nc6+ Ka8 Nb6# 
 36	  #21 	32.6M  	0:00.94	Ke2 Ke7 Ke3 Ke8 Kd4 Ke7 Kd5 Kd7 Nfg3 Kc7 Nf3 Kd7 Ne4 Kc7 Nhg3 Kd7 Nf5 Kc7 Ne5 Kb6 Nd4 Kc7 Kc5 Kd8 Kd6 Kc8 Ne6 Kb8 Nc4 Kb7 Nd4 Kb8 Kd7 Ka7 Nc5 Ka8 Kd6 Kb8 Nc6+ Kc8 Nb6# 
 35	+132.79 	21.2M  	0:00.61	Ke2 Kd7 Ke3 Ke6 Kd4 Kd6 Nfg3 Ke6 Nf3 Kd6 Ne4+ Ke6 Nfg5+ Ke7 Nhf2 Kd7 Nf3 Kd8 Nh1 Kd7 Nhg3 Ke7 Ke5 Kd7 Kd5 Kc7 Nh1 Kb6 Kd4 Kc6 Ng1 Kc7 Neg3 Kd6 Nf1 Ke7 
 34	+132.79 	17.4M  	0:00.50	Ke2 Kd7 Ke3 Ke6 Kd4 Kd6 Nfg3 Ke6 Nf3 Kd6 Ne4+ Ke6 Nfg5+ Ke7 Nhf2 Kd7 Nf3 Kd8 Nh1 Kd7 Nhg3 Ke7 Ke5 Kd7 Kd5 Kc7 Ng1 Kd7 Kd4 Kc7 Kc5 Kd7 Kd5 Ke7 Nh1 
 33	+132.79 	15.8M  	0:00.46	Ke2 Kd7 Ke3 Ke6 Kd4 Kd6 Nfg3 Ke6 Nf3 Kd6 Ne4+ Ke6 Nfg5+ Ke7 Nhf2 Kd7 Nf3 Kd8 Nh1 Kd7 Nhg3 Ke7 Ke5 Kd7 Kd5 Kc7 Ng1 Kd7 Nf2 Ke7 Nf1 Kd8 Kd6 Ke8 
 32	+132.79 	14.0M  	0:00.41	Ke2 Kd7 Ke3 Ke6 Kd4 Kd6 Nfg3 Ke6 Nf3 Kd6 Ne4+ Ke6 Nfg5+ Ke7 Nhf2 Kd7 Nf3 Kd8 Nh1 Kd7 Ne5+ Ke6 Nhg3 Ke7 Kd5 Kd8 Nh1 Kc7 Nc5 Kb6 Ncd7+ Ka5 Kc5 Ka6 Kc6 Ka5 
 31	+132.79 	10.9M  	0:00.32	Ke2 Kd7 Ke3 Ke6 Kd4 Kd7 Kd5 Kc7 Nf2 Kd7 Ne3 Ke7 Nc4 Kf7 Ne5+ Kf6 Ne4+ Ke7 Nh3 Kd8 Kd6 Kc8 Ng1 Kb7 Ng4 Kb6 Ngf2 Kb5 Ng3 Kb6 Nfh1 
 30	+132.79 	9.70M  	0:00.28	Ke2 Kd7 Ke3 Ke6 Kd4 Kd7 Kd5 Kc7 Nf2 Kd7 Ne3 Ke7 Nc4 Kf7 Ne5+ Kf6 Ne4+ Ke7 Nh3 Kd8 Kd6 Kc8 Ng1 Kb7 Ng4 Kb6 Ngf2 Kb5 Ng3 Kb6 Nfh1 Kb7 
 29	+132.79 	9.46M  	0:00.28	Ke2 Kd7 Ke3 Ke6 Kd4 Kd7 Kd5 Kc7 Nf2 Kd7 Ne3 Ke7 Nc4 Kf7 Ne5+ Kg7 Ne4 Kf8 Ke6 Ke8 Kd6 Kd8 Nf2 Kc8 Nc4 Kb7 Ne4 Ka6 Kc6 
 28	+132.79 	8.52M  	0:00.25	Ke2 Kd7 Ke3 Ke6 Kd4 Kd7 Kd5 Kc7 Nf2 Kd7 Ne3 Ke7 Ne4 Kd7 Nc4 Kc7 Nc5 Kd8 Kd6 Ke8 Ne4 Kf7 Ne3 Kg6 Ke7 Kh5 Kf6 Kh6 
 27	+132.79 	4.84M  	0:00.14	Ke2 Kd7 Ke3 Ke6 Kd4 Kd7 Kd5 Kc7 Nf2 Kd7 Ne3 Ke7 Ke5 Kd7 Kd4 Kd6 Ne4+ Kd7 Kd5 Ke7 Nf1 Kd7 Nc5+ Ke7 Ke5 Kf7 Ne3 Ke7 
 26	+132.79 	4.18M  	0:00.13	Ke2 Kd7 Ke3 Ke6 Kd4 Kd7 Kd5 Ke7 Nh3 Kd7 Nh2 Kc7 Ng4 Kb6 Nf4 Kb5 Nd3 Kb6 Nf6 Kc7 Ne5 Kb6 Ng8 Kb5 Nc6 Ka4 
 25	+132.79 	3.66M  	0:00.11	Ke2 Kd7 Ke3 Ke6 Kd4 Kd7 Kd5 Kc7 Nf2 Kb6 Kd6 Kb5 Ne3 Kb4 Kd5 Kc3 Ne4+ Kd3 Nc4 Kc2 Kd4 Kb3 Ne5 Kb4 Nc6+ Kb5 
 24	+132.79 	2.16M  	0:00.07	Ke2 Kd7 Ke3 Ke6 Kd4 Kf5 Nf2 Ke6 Ne4 Kd7 Kd5 Kc7 Nf2 Kb6 Nh1 Ka5 Ne3 Ka6 Ne2 Kb7 Nc4 Kc7 Ne5 Kb6 
 23	+132.79 	1.61M  	0:00.05	Ke2 Kd7 Ke3 Ke6 Kd4 Kf5 Nf2 Ke6 Ne4 Kd7 Kd5 Kc7 Nf2 Kb6 Nh1 Ka5 Ne2 Kb4 Ne3 Kb3 Kd4 Kb4 Nc3 
 22	+132.79 	1.41M  	0:00.04	Ke2 Kd7 Ke3 Ke6 Kd4 Kf5 Nf2 Ke6 Ne4 Kd7 Kd5 Ke7 Ne3 Kd7 Ng5 Ke7 Ng4 Kd7 Nf6+ Ke7 Ke5 Kd8 Ne6+ Ke7 
 21	+132.79 	1.23M  	0:00.04	Ke2 Kd7 Ke3 Ke6 Kd4 Kf5 Nf2 Ke6 Ne4 Kd7 Kd5 Ke7 Ne3 Kd7 Ng5 Kc7 Nc4 Kd7 Ne5+ Kc7 Ne6+ Kb6 Nf4 Ka5 
 20	+132.79 	923977	0:00.03	Ke2 Kd7 Ke3 Ke6 Kd4 Kf5 Nf2 Ke6 Ne4 Kd7 Kd5 Ke7 Ne3 Kd7 Ke5 Kc6 Kd4 Kb5 Nf2 Ka4 Nf5 
 19	+132.79 	739733	0:00.02	Ke2 Kd7 Ke3 Ke6 Kd4 Kf5 Nf2 Ke6 Ne4 Kd7 Kd5 Ke7 Ne3 Kd7 Nc3 Kc7 Nb1 Kd7 Na3 Ke7 
 18	+132.79 	601803	0:00.02	Ke2 Kd7 Ke3 Ke6 Kd4 Kf5 Nf2 Kf4 Ne3 Kg5 Ke5 Kg6 Nf5 Kg5 Nfh3+ Kg4 Ne7 Kg3 Nc6 Kg4 
 17	+132.79 	439930	0:00.02	Ke2 Kd7 Ke3 Ke6 Kd4 Kf5 Nf2 Kf4 Ne3 Kg5 Ke5 Kg6 Nf5 Kg5 Nfh3+ Kg4 Ne7 Kh4 
 16	+132.79 	397922	0:00.02	Ke2 Kd7 Ke3 Ke6 Kd4 Kf5 Nf2 Ke6 Ne4 Kf5 Kd5 Kf4 Nd6 Kg4 Ke4 Kg5 Ke5 Kg6 Ne4 
 15	+132.79 	217389	0:00.01	Ke2 Kd7 Ke3 Ke6 Kd4 Kf5 Nf2 Ke6 Ne4 Kf5 Nd6+ Ke6 Nb5 Kf5 Ne3+ Ke6 Na7 
 14	+132.79 	166205	0:00.01	Ke2 Kd7 Ke3 Ke6 Kd4 Kf5 Nf2 Ke6 Ne4 Kf5 Nd6+ Ke6 Nb5 Kf5 Ne3+ Ke6 
 13	+132.79 	159088	0:00.01	Ke2 Kd7 Ke3 Ke6 Kd4 Kf5 Nf2 Kf4 Nfh3+ Kf5 Nh2 Ke6 Ke4 Kd6 
 12	+132.79 	79483  	0:00.01	Ke2 Kd7 Ke3 Ke6 Kd4 Kf5 Nfg3+ Ke6 Nh3 Kd6 Ke4 Kc5 Ke5 
 11	+132.79 	57213  	0:00.01	Ke2 Kd7 Ke3 Ke6 Kd4 Kf5 Nfg3+ Ke6 Nh3 Kd6 Ke4 Kc5 
 10	+132.79 	44222  	0:00.01	Ke2 Kd7 Kd3 Kd6 Kd4 Ke6 Ne3 Kd6 Nd5 Ke6 
  9	+132.79 	37299  	0:00.01	Ke2 Kd7 Kd3 Kd6 Kd4 Ke6 Ne3 Kd6 Nd5 
  8	+132.79 	18566  	0:00.00	Kd2 Ke7 Kc3 Ke6 Kd4 Kf5 Nf2 Kf4 
  7	+132.79 	15219  	0:00.00	Kd2 Ke7 Kc3 Ke6 Kd4 Kf5 Kd5 
  6	+132.79 	9381    	0:00.00	Kd2 Ke7 Kc3 Kd6 Kd3 Kd5 
  5	+132.79 	6104    	0:00.00	Kd2 Ke7 Kc3 Kd6 Kd3 
  4	+132.79 	4582    	0:00.00	Kd2 Ke7 Kd3 Kd6 
  3	+132.79 	2639    	0:00.00	Kd2 Ke7 Kd3 
  2	+132.79 	1274    	0:00.00	Kd2 Ke7 
  1	+132.79 	464      	0:00.00	Kd2 
  0	# 
Vinvin
Posts: 5228
Joined: Thu Mar 09, 2006 9:40 am
Full name: Vincent Lejeune

Re: KNNN vs K : how come Stockfish cannot find the mate in 1

Post by Vinvin »

Guenther wrote:
bstjean wrote:To make a long story short, I have posted an entry on the subject on my blog. Am I missing something here?

Stockfish seems to be unable to find this mate in 17 and alternates between different results even though its search deep enough to have seen the mate in 17!

My blog entry:

https://endormitoire.wordpress.com/2018 ... 3-knights/

P.S. Please reply here (not on my blog) !!

tia
[D]4k3/8/8/8/8/8/8/4KNNN w - - 0 1
Test with Houdini 1.5 on 6*4GHz : 2m23s

Code: Select all

Houdini_15_x64:
 4/9	00:00	 293	0	+8,17	1.Nf2 Ke7 2.Nf3 Ke6 3.Nd4+ Ke5
 5/11	00:00	 739	0	+8,30	1.Nf2 Ke7 2.Nf3 Ke6 3.Ke2
 6/13	00:00	 2k	1 506k	+8,46	1.Nf2 Ke7 2.Nf3 Ke6 3.Ke2 Kd6 4.Ne3
 7/13	00:00	 3k	2 710k	+8,46	1.Nf2 Ke7 2.Nf3 Ke6 3.Ke2 Kd6 4.Ne3
 8/13	00:00	 5k	2 465k	+8,63	1.Nf2 Ke7 2.Nf3 Ke6 3.Ke2 Kd6 4.Ne3 Ke6 5.Ne4
 9/13	00:00	 9k	3 099k	+8,63	1.Nf2 Ke7 2.Nf3 Ke6 3.Ke2 Kd6 4.Ne3 Ke6 5.Ne4
 10/17	00:00	 25k	5 023k	+8,74	1.Nf2 Ke7 2.Nf3 Ke6 3.Ke2 Kd6 4.Ne3 Ke7 5.Ne4 Ke6 6.Nd4+ Ke5
 11/17	00:00	 46k	5 780k	+8,74	1.Nf2 Ke7 2.Nf3 Ke6 3.Ke2 Kd6 4.Ne3 Ke7 5.Ne4 Ke6 6.Nd4+ Ke5
 11/19	00:00	 81k	6 775k	+8,89	1.Kd2 Kf7 2.Nf3 Ke6 3.Ne3 Kd6 4.Nf2 Ke7 5.Ne4 Ke6 6.Kd3 Ke7 7.Nd5+ Ke6
 12/21	00:00	 118k	7 360k	+8,97	1.Kd2 Kf7 2.Nf3 Ke6 3.Ne3 Kd6 4.Nf2 Ke7 5.Ne4 Ke6 6.Kd3 Ke7 7.Nd4 Kd7 8.Nd5
 13/21	00:00	 211k	9 176k	+8,97	1.Kd2 Kf7 2.Nf3 Ke6 3.Ne3 Kd6 4.Nf2 Ke7 5.Ne4 Ke6 6.Kd3 Ke7 7.Nd4 Kd7 8.Nd5
 14/21	00:00	 330k	10 309k	+8,97	1.Kd2 Kf7 2.Nf3 Ke6 3.Ne3 Kd6 4.Nf2 Ke7 5.Ne4 Ke6 6.Kd3 Ke7 7.Nd4 Kd7 8.Nd5
 15/23	00:00	 612k	12 000k	+9,07	1.Kd2 Kf7 2.Nf3 Ke6 3.Ne3 Kd6 4.Nf2 Ke7 5.Ne4 Ke6 6.Kd3 Kf7 7.Nd4 Ke7 8.Nd5+ Kd7 9.Kd2 Ke8 10.Kd3 Kd7 11.Kd2
 16/23	00:00	 1 101k	13 763k	+9,07	1.Kd2 Kf7 2.Nf3 Ke6 3.Ne3 Kd6 4.Nf2 Ke7 5.Ne4 Ke6 6.Kd3 Kd7 7.Nd4 Ke7 8.Ng4 Kd7 9.Ne5+ Ke7
 17/27	00:00	 1 921k	15 242k	+9,12	1.Kd2 Kf7 2.Nf3 Ke6 3.Ne3 Kd6 4.Nf2 Ke7 5.Ne4 Ke6 6.Kd3 Kd7 7.Nd4 Ke7 8.Nd5+ Kf7 9.Nd6+ Kg6 10.Ke4
 18/27	00:00	 3 304k	16 686k	+9,13	1.Kd2 Kf7 2.Nf3 Ke6 3.Ne3 Kd6 4.Nf2 Ke7 5.Ne4 Ke6 6.Kd3 Kf7 7.Nd4 Kg7 8.Kc4 Kf7 9.Nd5 Kg7 10.Ne6+ Kf7
 19/27	00:00	 7 805k	18 193k	+9,17	1.Kd2 Kf7 2.Kc3 Ke6 3.Nhg3 Kf7 4.Nh2 Ke6 5.Nhf3 Ke7 6.Nh3 Kd6 7.Nf4 Kc6 8.Kd3 Kb5 9.Ne4 Kb4 10.Nd5+ Kb3 11.Ne5 Kb2 12.Nc4+ Kc1
 20/29	00:00	 12 250k	18 201k	+9,17	1.Kd2 Kf7 2.Kc3 Ke6 3.Nhg3 Kf7 4.Nh2 Ke6 5.Nhf3 Ke7 6.Nh3 Kd6 7.Nf4 Kc6 8.Kd3 Kb5 9.Ne4 Kb4 10.Nd5+ Kb3 11.Ne5 Kb2 12.Nc4+ Kc1
 21/29	00:01	 21 201k	18 435k	+9,18	1.Kd2 Kf7 2.Kc3 Ke6 3.Nhg3 Kf7 4.Nh2 Ke6 5.Nhf3 Ke7 6.Nh3 Kd6 7.Nf4 Kc6 8.Ne4 Kb6 9.Ne5 Kb5 10.Kd3 Kb4 11.Nd5+ Kb3 12.Nd6 Kb2
 22/31	00:01	 34 873k	18 688k	+9,20	1.Kd2 Kf7 2.Kc3 Ke6 3.Nhg3 Kf7 4.Nh2 Ke6 5.Nhf3 Ke7 6.Nh3 Kd6 7.Nf4 Kc7 8.Ne4 Kc6 9.Kd3 Kb5 10.Nd4+ Kb4 11.Nd5+ Ka3 12.Kc3 Ka4 13.Nc5+ Ka5
 22/33	00:02	 41 814k	18 717k	+9,25	1.Kf2 Kf7 2.Kf3 Ke6 3.Kf4 Kf7 4.Nf2 Ke6 5.Ne3 Kf7 6.Ke5 Ke7 7.Ne4 Kd7 8.Nf3 Kd8 9.Nd5 Ke8 10.Kf5 Kf7 11.Ne5+ Kg7 12.Kf4 Kh6 13.Nc5
 23/35	00:02	 53 170k	18 794k	+9,26	1.Kf2 Kf7 2.Kf3 Ke6 3.Kf4 Kf7 4.Nf2 Ke6 5.Ne3 Kf7 6.Ke5 Ke7 7.Ne4 Kd7 8.Nf3 Kd8 9.Nd5 Kd7 10.Nd4 Ke8 11.Ke6 Kf8 12.Nf5
 24/37	00:04	 82 737k	19 094k	+9,27	1.Kf2 Kf7 2.Kf3 Ke6 3.Kf4 Kf7 4.Nf2 Ke6 5.Ne3 Kf7 6.Ke5 Ke7 7.Ne4 Kd7 8.Nf3 Ke7 9.Nd5+ Kf7 10.Nd6+ Kg7 11.Kf5 Kh6 12.Ne5 Kh5 13.Nf6+ Kh4
 25/37	00:09	 189 038k	19 348k	+9,27	1.Kf2 Kf7 2.Kf3 Ke6 3.Ne3 Kf6 4.Nf2 Ke5 5.Kg4 Ke6 6.Ne2 Kd6 7.Nd3 Kc6 8.Nd4+ Kb6 9.Nc4+ Kc7 10.Kf4 Kd7 11.Ne3 Ke7 12.Nf2 Kf7 13.Nd5 Ke8 14.Nd3 Kd7 15.Ke5 Kd8 16.Nc5 Ke8 17.Ke6 Kf8 18.Nf5 Ke8 19.Nd6+ Kf8
 25/39	00:12	 242 819k	19 271k	+9,40	1.Kd2 Kf7 2.Nhg3 Ke7 3.Nf3 Ke6 4.Kd3 Kd5 5.Ne3+ Kd6 6.Ne4+ Kd7 7.Ne5+ Ke7 8.Kc3 Ke6 9.Kd4 Ke7 10.Kd5 Kf8 11.Nf5 Ke8 12.Nf6+ Kd8 13.Kd4 Kc7 14.Nd5+ Kb7 15.Nd6+ Ka6
 26/39	00:14	 278 472k	19 096k	+9,40	1.Kd2 Kf7 2.Nhg3 Ke7 3.Nf3 Ke6 4.Kd3 Kd5 5.Ne3+ Kd6 6.Ne4+ Kd7 7.Kd4 Ke7 8.Kd5 Kd7 9.Ne5+ Kc7 10.Kc5 Kc8 11.Kc4 Kc7 12.Nd5+ Kb7 13.Nc5+ Kc8 14.Kd4 Kd8 15.Ne6+ Ke8 16.Ng7+ Kd8 17.Ne6+ Ke8
 27/39	00:19	 358 548k	18 720k	+9,40	1.Kd2 Kf7 2.Nhg3 Ke7 3.Nf3 Ke6 4.Kd3 Kd5 5.Ne3+ Kd6 6.Ne4+ Kd7 7.Kd4 Ke7 8.Kd5 Kd7 9.Ne5+ Kc7 10.Kc5 Kc8 11.Kc4 Kc7 12.Nd5+ Kb7 13.Nc5+ Kb8 14.Kd4 Kc8 15.Ke4 Kd8 16.Nf7+ Ke8 17.Nd6+ Kd8 18.Nf7+ Ke8
 28/41	00:28	 507 598k	18 016k	+9,40	1.Kd2 Kf7 2.Nhg3 Ke7 3.Nf3 Ke6 4.Kd3 Kd5 5.Ne3+ Kd6 6.Ne4+ Kd7 7.Kd4 Ke7 8.Kd5 Kd7 9.Ne5+ Kc7 10.Kc5 Kd8 11.Nd5 Ke8 12.Kd4 Kd8 13.Kd3 Ke8 14.Kc3 Kd8 15.Kd4 Ke8 16.Nd6+ Kd8 17.Ne4 Ke8
 29/43	00:38	 687 571k	17 927k	+9,52	1.Kd2 Kf7 2.Nhg3 Ke7 3.Nf3 Ke6 4.Kd3 Kd5 5.Ne3+ Kd6 6.Ne4+ Kd7 7.Kd4 Ke7 8.Kd5 Kd7 9.Ne5+ Kc7 10.Kc5 Kd8 11.Nd5 Ke8 12.Nd6+ Kd8 13.Nf5 Ke8 14.Nf6+ Kf8 15.Nfd7+ Ke8 16.Kb6 Kd8 17.Nf6 Kc8 18.Nd6+ Kb8 19.Nc6+ Ka8 20.Nb4
 30/43	00:50	 891 842k	17 793k	+9,63	1.Kd2 Kf7 2.Nhg3 Ke7 3.Nf3 Ke6 4.Kd3 Kd5 5.Ne3+ Kd6 6.Ne4+ Kd7 7.Kd4 Ke7 8.Kd5 Kd7 9.Ne5+ Kc7 10.Kc5 Kd8 11.Nf5 Kc7 12.Nf6 Kb7 13.Nd5 Ka7 14.Nd6 Ka6 15.Nec4 Ka7 16.Kb5 Kb8 17.Ne5 Ka8 18.Ne4 Ka7 19.Nc6+ Ka8 20.Kc5
 31/43+	00:59	 1 055 323k	17 775k	+10,03	1.Kd2
 31/49+	00:59	 1 057 458k	17 774k	+10,82	1.Kd2
 31/49+	00:59	 1 058 446k	17 770k	+19,83	1.Kd2
 31/49	01:07	 1 259 616k	18 560k	+M18	1.Kd2 Kf7 2.Nhg3 Ke7 3.Nf3 Ke6 4.Kd3 Kd5 5.Ne4 Ke6 6.Ne3 Kd7 7.Kd4 Kc7 8.Ne5 Kd8 9.Nd5 Ke8 10.Nef6+ Kf8 11.Ke4 Kg7 12.Kf5 Kf8 13.Nfd7+ Ke8 14.Ke6 Kd8 15.Nc6+ Kc8 16.Kd6 Kb7 17.Nc5+ Ka8 18.Nc7+
 32/49	01:14	 1 427 065k	19 144k	+M18	1.Kd2 Kf7 2.Nhg3 Ke7 3.Nf3 Ke6 4.Kd3 Kd5 5.Ne3+ Kd6 6.Ne4+ Ke6 7.Kc4 Kd7 8.Ne5+ Ke6 9.Kd4 Ke7 10.Kd5 Kd8 11.Kd6 Kc8 12.Nd5 Kb7 13.Kc5 Kc8 14.Kc6 Kd8 15.Nef6 Kc8 16.Kb6 Kb8 17.Nc6+ Ka8 18.Nc7+
 33/49	01:29	 1 831 453k	20 361k	+M18	1.Kd2 Kf7 2.Nhg3 Ke7 3.Nf3 Ke6 4.Kd3 Ke7 5.Ne3 Kd6 6.Ne4+ Ke6 7.Kc4 Kd7 8.Ne5+ Ke6 9.Kd4 Ke7 10.Kd5 Kd8 11.Kd6 Kc8 12.Nd5 Kb7 13.Kc5 Kc8 14.Kc6 Kd8 15.Nef6 Kc8 16.Kb6 Kb8 17.Nc6+ Ka8 18.Nc7+
 34/49	01:39	 2 062 937k	20 827k	+M18	1.Kd2 Kf7 2.Nhg3 Ke7 3.Nf3 Ke6 4.Kd3 Ke7 5.Ne3 Kd6 6.Ne4+ Ke6 7.Kc4 Kd7 8.Ne5+ Ke6 9.Kd4 Ke7 10.Kd5 Kd8 11.Kd6 Kc8 12.Nd5 Kb7 13.Kc5 Kc8 14.Kc6 Kd8 15.Nef6 Kc8 16.Kb6 Kb8 17.Nc6+ Ka8 18.Nc7+
 35/49	01:55	 2 484 897k	21 476k	+M18	1.Kd2 Kf7 2.Nhg3 Ke7 3.Nf3 Ke6 4.Kd3 Ke7 5.Ne3 Kd6 6.Ne4+ Ke6 7.Kc4 Kd7 8.Ne5+ Ke6 9.Kd4 Ke7 10.Kd5 Kd8 11.Kd6 Kc8 12.Nd5 Kb7 13.Kc5 Kc8 14.Kc6 Kd8 15.Nef6 Kc8 16.Kb6 Kb8 17.Nc6+ Ka8 18.Nc7+
 36/49	02:23	 3 175 329k	22 110k	+M17	1.Kd2 Kf7 2.Nhg3 Ke7 3.Nf3 Ke6 4.Kd3 Ke7 5.Ne3 Kd6 6.Kc4 Kc6 7.Ngf5 Kd7 8.Ng5 Kc8 9.Kb5 Kd7 10.Nd5 Ke8 11.Kc6 Kd8 12.Ne6+ Kc8 13.Nd6+ Kb8 14.Kb6 Ka8 15.Nc5 Kb8 16.Nd7+ Ka8 17.Nc7+
 37/49	02:51	 3 834 714k	22 344k	+M17	1.Kd2 Kf7 2.Nhg3 Ke7 3.Nf3 Ke6 4.Kd3 Ke7 5.Ne4 Kd7 6.Nfg3 Kc6 7.Kc4 Kd7 8.Kb5 Ke7 9.Nfg5 Kd7 10.Nf5 Ke8 11.Kc6 Kd8 12.Ne6+ Kc8 13.Ned6+ Kb8 14.Kb6 Ka8 15.Nfd4 Kb8 16.Nc6+ Ka8 17.Nc7+
 38/49	03:26	 4 699 332k	22 715k	+M17	1.Kd2 Kf7 2.Nhg3 Ke7 3.Nf3 Ke6 4.Kd3 Ke7 5.Ne4 Kd7 6.Nfg3 Kc6 7.Kc4 Kd7 8.Kb5 Ke7 9.Nfg5 Kd7 10.Nf5 Ke8 11.Kc6 Kd8 12.Ne6+ Kc8 13.Ned6+ Kb8 14.Kb6 Ka8 15.Nfd4 Kb8 16.Nc6+ Ka8 17.Nc7+
 39/49	04:12	 5 861 365k	23 188k	+M17	1.Kd2 Kf7 2.Nhg3 Ke7 3.Nf3 Ke6 4.Kd3 Ke7 5.Ne4 Kd7 6.Nfg3 Kc6 7.Kc4 Kd7 8.Kb5 Ke7 9.Nfg5 Kd7 10.Nf5 Ke8 11.Kc6 Kd8 12.Ne6+ Kc8 13.Ned6+ Kb8 14.Kb6 Ka8 15.Nfd4 Kb8 16.Nc6+ Ka8 17.Nc7+
...
User avatar
MikeB
Posts: 4889
Joined: Thu Mar 09, 2006 6:34 am
Location: Pen Argyl, Pennsylvania

Re: KNNN vs K : how come Stockfish cannot find the mate in 1

Post by MikeB »

found three more mate- in-17- distinct pvs. Might be an interesting artifact from the code that is causing this unintended display of different pvs of mate scores that of are the same length..I had not noticed that before...

Code: Select all

 72	  #17 	22.5G	9:04.28	Ne3 Kd7 Nf2 Kd6 Nf3 Kd7 Kd2 Kc6 Ne4 Kb7 Kc3 Kc7 Ne5 Kd8 Kc4 Ke7 Kd5 Kd8 Kd6 Kc8 Nd5 Kb7 Kc5 Kc8 Kc6 Kd8 Nef6 Kc8 Kb6 Kb8 Nc6+ Ka8 Nc7# 
 71	  #17 	19.1G	7:45.56	Ne3 Kd7 Nf2 Kd6 Nf3 Kd7 Kd2 Kc6 Ne4 Kb7 Kc3 Kc7 Kc4 Kc8 Kb5 Kc7 Ne5 Kd8 Nf5 Ke8 Kc6 Kd8 Ng5 Ke8 Ngf7 Kf8 N7h6 Ke8 Kc7 Kf8 Ng6+ Ke8 Nd6# 
 70	  #17 	15.8G	6:24.86	Ne3 Kd7 Nf2 Kd6 Nf3 Kd7 Kd2 Kc6 Ne4 Kb7 Kc3 Kc7 Kc4 Kc8 Kb5 Kc7 Nfg5 Kd7 Nf5 Kd8 Kc6 Ke8 Ned6+ Kf8 Kd7 Kg8 Ke7 Kh8 Kf6 Kg8 Nh6+ Kh8 Ndf7#