Is there any engine besides the Glinscott Stockfish

[User923005]

with pin detection that can easily solve this position:
8/8/5N2/8/5N1p/1p3knR/KPp2prb/n1B2b1B w - -

The Glinscott stockfish engine:
https://github.com/glinscott/Stockfish/tree/pinned_null

The position (it is the one labeled 'corrected' by Moky about half way down the page):
http://rybkaforum.net/cgi-bin/rybkaforu ... ?tid=22575

The analysis (correct move found in 51 seconds, mate resolved in 6 minutes... I am guessing it will take a long time to resolve the minimum mate plan, but it clearly has the right idea):

• FEN: 8/8/5N2/8/5N1p/1p3knR/KPp2prb/n1B2b1B w - - 0 1
  
  Stockfish Glinscott Pinned {3T}:
  2/2 00:00 117 0 -2.26 Kxa1 Bg1 Nxg2 Bxg2 Bxg2+ Kxg2 Rxh4
  3/3 00:00 219 0 -4.04 Kxa1 Bg1 N6d5
  4/4 00:00 975 975,000 -2.34 Kxa1 Bg1 N6d5 Ke4 Nxg2 Kxd5 Rxh4 Nxh1 Rxh1
  5/5 00:00 2,252 2,252,000 -1.69 Kxa1 Bg1 Nd7 Bh2 Rxh2 Nxh1 Rxh1
  6/6 00:00 3,488 1,744,000 -0.84 Kxa1 Bg1 Nd7 Ke4 Nxg2 Nxh1 Rxh4+ Kf3
  7/11 00:00 8,361 1,672,200 0.00 Kxa1 Bg1 Bd2 Bh2 Bc1
  8/11 00:00 9,780 1,630,000 0.00 Kxa1 Bg1 Bd2 Bh2 Bc1
  9/11 00:00 10,446 1,492,285 0.00 Kxa1 Bg1 Bd2 Bh2 Bc1
  10/11 00:00 13,218 1,652,250 0.00 Kxa1 Bg1 Bd2 Bh2 Bc1
  11/11 00:00 19,168 1,742,545 0.00 Kxa1 Bg1 Bd2 Bh2 Bc1
  12/11 00:00 25,375 1,812,500 0.00 Kxa1 Bg1 Bd2 Bh2 Bc1
  13/11 00:00 36,431 2,023,944 0.00 Kxa1 Bg1 Bd2 Bh2 Bc1
  14/11 00:00 57,454 2,393,916 0.00 Kxa1 Bg1 Bd2 Bh2 Bc1
  15/11 00:00 103,401 2,794,621 0.00 Kxa1 Bg1 Bd2 Bh2 Bc1
  16/11 00:00 166,587 3,084,944 0.00 Kxa1 Bg1 Bd2 Bh2 Bc1
  17/11 00:00 278,368 3,274,917 0.00 Kxa1 Bg1 Bd2 Bh2 Bc1
  18/11 00:00 487,452 3,584,205 0.00 Kxa1 Bg1 Bd2 Bh2 Bc1
  19/11 00:00 680,564 3,698,717 0.00 Kxa1 Bg1 Bd2 Bh2 Bc1
  20/11 00:00 1,149,920 3,938,082 0.00 Kxa1 Bg1 Bd2 Bh2 Bc1
  21/11 00:00 2,107,726 4,198,657 0.00 Kxa1 Bg1 Bd2 Bh2 Bc1
  22/11 00:00 2,824,548 4,286,112 0.00 Kxa1 Bg1 Bd2 Bh2 Bc1
  23/11 00:01 4,952,554 4,441,752 0.00 Kxa1 Bg1 Bd2 Bh2 Bc1
  24/11 00:01 6,498,839 4,485,051 0.00 Kxa1 Bg1 Bd2 Bh2 Bc1
  25/11 00:02 12,813,873 4,582,930 0.00 Kxa1 Bg1 Bd2 Bh2 Bc1
  26/11 00:04 21,419,644 4,631,274 0.00 Kxa1 Bg1 Bd2 Bh2 Bc1
  27/11 00:08 41,733,489 4,691,791 0.00 Kxa1 Bg1 Bd2 Bh2 Bc1
  28/11 00:12 58,453,554 4,668,814 0.00 Kxa1 Bg1 Bd2 Bh2 Bc1
  29/11 00:19 89,472,243 4,667,305 0.00 Kxa1 Bg1 Bd2 Bh2 Bc1
  30/11 00:29 136,159,404 4,660,758 0.00 Kxa1 Bg1 Bd2 Bh2 Bc1
  31/35+ 00:51 233,994,658 4,567,086 +0.08 Ka3 Bg1 Kb4 Bh2 Kc3 Bg1 Kd4 Bh2 Ke5 Bg1 N6d5 Bh2 Ne3
  31/35+ 00:51 234,026,456 4,566,458 +0.16 Ka3 Bg1 Kb4 Bh2 Kc3 Bg1 Kd4 Bh2 Ke5 Bg1 N6d5 Bh2 Ne3
  31/35+ 00:51 234,122,885 4,563,976 +0.46 Ka3 Bg1 Kb4 Bh2 Kc3 Bg1 Kd4 Bh2 Ke5 Bg1 N6d5 Bh2 Ne3
  31/42+ 00:52 237,360,282 4,546,347 +0.73 Ka3 Bg1 Kb4 Bh2 Kc3 Bg1 Kd4 Bh2 Ke5 Bg1 N6d5 Bh2 Ne3 Bg1 Nxf1
  31/46+ 00:53 241,273,506 4,524,415 +4.04 Ka3 Bg1 Kb4 Bh2 Kc3 Bg1 Kd4 Bh2 Ke5 Bg1 N6d5 Bh2 Ne3 Bg1 Nxf1
  31/55+ 00:58 261,631,207 4,459,293 +6.09 Ka3 Bg1 Kb4 Bh2 Kc3 Bg1 Kd4 Bh2 Ke5 Bg1 Ng8 Bh2 Nh6 Bg1 Nf5 Bh2 Ne3 Bg1 Nxf1 Kg4 Ne3+ Kg5 Bxg2
  31/55+ 00:59 262,988,119 4,454,783 +9.16 Ka3 Bg1 Kb4 Bh2 Kc3 Bg1 Kd4 Bh2 Ke5 Bg1 Ng8 Bh2 Nh6 Bg1 Nf5 Bh2 Ne3 Bg1 Nxf1 Kg4 Ne3+ Kg5 Bxg2 f1Q Nxf1 Ba7 Nxg3 Bb8+ Ke4 hxg3 Rxg3+ Kh4 Rh3+ Kg4 Nd5
  31/55+ 00:59 265,037,912 4,448,138 +13.77 Ka3 Bg1 Kb4 Bh2 Kc3 Bg1 Kd4 Bh2 Ke5 Bg1 Ng8 Bh2 Nh6 Bg1 Nf5 Bh2 Ne3 Bg1 Nxf1 Kg4 Ne3+ Kg5 Bxg2 f1Q Nxf1 Ba7 Nxg3 Bb8+ Ke4 hxg3 Rxg3+ Kh4 Rh3+ Kg5 Nd5+ Kg6 Rh6+ Kg7 Ra6 Kf7 Rxa1 Bd6 Bf3 Ke6 Bg4+ Kf7 Ra7+ Kg6 Bf5+
  31/58 01:06 288,593,438 4,371,369 +17.33 Ka3 Bg1 Kb4 Bh2 Kc3 Bg1 Kd4 Bh2 Ke5 Bg1 Ng8 Bh2 Nh6 Bg1 Nf5 Bh2 Ne3 Bg1 Nxf1 Kg4 Ne3+ Kg5 Bxg2 f1Q Nxf1 Ba7 Nxg3 Bb8+ Ke4 hxg3 Rxg3+ Kh4 Rh3+ Kg5 Nd5+ Kg6 Rh6+ Kg7 Ra6 Kf7 Rxa1 Bh2 Ra3 Bg3 Rxb3
  32/60+ 01:09 301,506,093 4,339,840 +17.41 Ka3 Bg1 Kb4 Bh2 Kc3 Bg1 Kd4 Bh2 Ke5 Bg1 Ng8 Bh2 Nh6 Bg1 Nf5 Bh2 Ne3 Bg1 Nxf1 Kg4 Ne3+ Kg5 Bxg2 f1Q Nxf1 Ba7 Nxg3 Bb8+ Ke4 hxg3 Rxg3+ Kf6 Nh5+ Kf7
  32/61+ 01:09 302,797,996 4,334,230 +17.49 Ka3 Bg1 Kb4 Bh2 Kc3 Bg1 Kd4 Bh2 Ke5 Bg1 Ng8 Bh2 Nh6 Bg1 Nf5 Bh2 Ne3 Bg1 Nxf1 Kg4 Ne3+ Kg5 Bxg2 f1Q Nxf1 Ba7 Nxg3 Bb8+ Ke4 hxg3 Rxg3+ Kf6 Nh5+ Kf7 Rg7+ Ke6 Bh3+ Kd6 Rb7 Bc7 Bf4+ Kc6 Rxc7+ Kb5 Bf1+ Kb6 Nf6
  32/61 01:20 341,139,919 4,252,501 +17.45 Ka3 Bg1 Kb4 Bh2 Kc3 Bg1 Kd4 Bh2 Ke5 Bg1 Ng8 Bh2 Nh6 Bg1 Nf5 Bh2 Ne3 Bg1 Nxf1 Kg4 Ne3+ Kg5 Bxg2 f1Q Nxf1 Ba7 Nxg3 Bb8+ Ke4 hxg3 Rxg3+ Kf6 Nh5+ Ke6 Rg6+ Kd7 Nf6+ Ke7 Nd5+ Kf7 Rf6+ Kg7 Ra6 Bg3 Rxa1 Bh4 Ra3 Kg6 Ra6+ Kf7 Rb6 Bd8 Rxb3 Ba5 Ne3 Kf6
  33/64+ 01:22 348,880,382 4,232,238 +17.53 Ka3 Bg1 Kb4 Bh2 Kc3 Bg1 Kd4 Bh2 Ke5 Bg1 Ng8 Bh2 Nh6 Bg1 Nf5 Bh2 Ne3 Bg1 Nxf1 Kg4 Ne3+ Kg5 Bxg2 f1Q Nxf1 Ba7 Nxg3 Bb8+ Ke4 hxg3 Rxg3+ Kf6 Nh5+ Ke6 Rg6+ Kd7 Nf6+ Ke7 Nd5+ Kf7 Rf6+ Kg7 Ra6 Bg3 Rxa1 Bh4 Ra3 Kg6 Ra6+ Kf7 Rb6 Bd8 Rxb3 Ba5 Ne3 Kf6 Nxc2 Bc7 Rf3+
  33/64 01:35 398,397,580 4,169,039 +17.45 Ka3 Bg1 Kb4 Bh2 Kc3 Bg1 Kd4 Bh2 Ke5 Bg1 Ng8 Bh2 Nh6 Bg1 Nf5 Bh2 Ne3 Bg1 Nxf1 Kg4 Ne3+ Kg5 Bxg2 f1Q Nxf1 Ba7 Nxg3 Bb8+ Ke4 hxg3 Rxg3+ Kf6 Nh5+ Ke6 Rg6+ Kd7 Nf6+ Ke7 Nd5+ Kf7 Rf6+ Kg7 Ra6 Bg3 Rxa1 Bh4 Ra3 Kg6 Ra6+ Kf7 Rb6 Be1 Rxb3 Ke6 Bh3+ Kf7
  34/64+ 01:40 415,886,351 4,138,543 +17.53 Ka3 Bg1 Kb4 Bh2 Kc3 Bg1 Kd4 Bh2 Ke5 Bg1 Ng8 Bh2 Nh6 Bg1 Nf5 Bh2 Ne3 Bg1 Nxf1 Kg4 Ne3+ Kg5 Bxg2 f1Q Nxf1 Ba7 Nxg3 Bb8+ Ke4
  34/64+ 01:41 419,307,603 4,135,591 +17.61 Ka3 Bg1 Kb4 Bh2 Kc3 Bg1 Kd4 Bh2 Ke5 Bg1 Ng8 Bh2 Nh6 Bg1 Nf5 Bh2 Ne3 Bg1 Nxf1 Kg4 Ne3+ Kg5 Bxg2 f1Q Nxf1 Ba7 Nxg3 Bb8+ Ke4 hxg3 Rxg3+ Kh4 Rh3+ Kg5 Nd5+ Kg6 Rh6+ Kg7 Ra6 Bg3 Rxa1 Bh4 Ra3 Kg6 Ra6+ Kf7 Rb6 Be1 Rxb3 Ke6 Bh3+ Kf7 Kd3 Bf2 Kxc2
  34/64+ 01:42 421,986,398 4,131,208 +17.73 Ka3 Bg1 Kb4 Bh2 Kc3 Bg1 Kd4 Bh2 Ke5 Bg1 Ng8 Bh2 Nh6 Bg1 Nf5 Bh2 Ne3 Bg1 Nxf1 Kg4 Ne3+ Kg5 Bxg2 f1Q Nxf1 Ba7 Nxg3 Bb8+ Ke4 hxg3 Rxg3+ Kh4 Rh3+ Kg5 Nd5+ Kg6 Rh6+ Kg7 Ra6 Bg3 Rxa1 Bh4 Ra3 Kg6 Ra6+ Kf7 Rb6 Be1 Rxb3 Ke6 Bh3+ Kf7 Kd3 Bf2 Kxc2
  34/64+ 01:44 429,017,901 4,123,189 +17.91 Ka3 Bg1 Kb4 Bh2 Kc3 Bg1 Kd4 Bh2 Ke5 Bg1 Ng8 Bh2 Nh6 Bg1 Nf5 Bh2 Ne3 Bg1 Nxf1 Kg4 Ne3+ Kg5 Bxg2 f1Q Nxf1 Ba7 Nxg3 Bb8+ Ke4 Bxf4 Bxf4+ Kg6 Rxh4 Kf6 Rh6+ Kf7 Ra6 c1Q Bxc1 Nc2 Bh3 Nb4 Rb6 Na2 Bf4
  34/65+ 01:44 432,206,380 4,118,212 +18.19 Ka3 Bg1 Kb4 Bh2 Kc3 Bg1 Kd4 Bh2 Ke5 Bg1 Ng8 Bh2 Nh6 Bg1 Nf5 Bh2 Ne3 Bg1 Nxf1 Kg4 Ne3+ Kg5 Bxg2 f1Q Nxf1 Ba7 Nxg3 Bb8+ Ke4 Bxf4 Bxf4+ Kg6 Rxh4 Kf6 Rh6+ Kf7 Ra6 c1Q Bxc1 Nc2 Rb6 Ne1 Bf1 Nc2 Bc4+ Ke8
  34/68+ 01:45 435,874,101 4,115,475 +18.60 Ka3 Bg1 Kb4 Bh2 Kc3 Bg1 Kd4 Bh2 Ke5 Bg1 Ng8 Bh2 Nh6 Bg1 Nf5 Bh2 Ne3 Bg1 Nxf1 Kg4 Ne3+ Kg5 Bxg2 f1Q Nxf1 Ba7 Nxg3 Bb8+ Ke4 Bxf4 Bxf4+ Kg6 Rxh4 Kf6 Rh6+ Kf7 Ra6 c1Q Bxc1 Nc2 Rb6 Ne1 Bf1 Nc2 Bc4+ Ke8 Bxb3 Ne1 Rb4
  34/72 02:12 537,312,265 4,065,619 +19.19 Ka3 Bg1 Kb4 Bh2 Kc3 Bg1 Kd4 Bh2 Ke5 Bg1 Ng8 Bh2 Nh6 Bg1 Nf5 Bh2 Ne3 Bg1 Nxf1 Kg4 Ne3+ Kg5 Bxg2 f1Q Nxf1 Ba7 Nxg3 Bb8+ Ke4 hxg3 Rxg3+ Kf6 Nh5+ Ke6 Rg6+ Kd7 Nf6+ Ke7 Nd5+ Kf8 Rf6+ Kg8 Ra6 Kg7 Rxa1 Kh7 Ra3 Kg6 Rxb3 Ba7
  35/72- 04:32 1,101,410,445 4,038,005 +19.11 Ka3 Bg1 Kb4 Bh2 Kc3 Bg1 Kd4 Bh2 Ke5 Bg1 Ng8 Bh2 Nh6 Bg1 Nf5 Bh2 Ne3 Bg1 Nxf1 Kg4 Ne3+ Kg5 Bxg2
  35/72- 05:49 1,408,494,481 4,026,547 +19.03 Ka3 Bg1 Kb4 Bh2 Kc3 Bg1 Kd4 Bh2 Ke5 Bg1 Ng8 Bh2 Nh6 Bg1 Nf5 Bh2 Ne3 Bg1 Nxf1 Kg4 Ne3+ Kg5 Bxg2 f1Q
  35/72+ 05:56 1,434,351,133 4,020,436 +19.92 Ka3 Bg1 Kb4 Bh2 Kc3 Bg1 Kd4 Bh2 Ke5 Bg1 Ng8 Bh2 Nh6 Bg1 Nf5 Bh2 Ne3 Bg1 Nxf1 Kg4 Bxg2 Nf5 Kf6 Ng3 Ne3+
  35/72+ 06:00 1,447,704,857 4,016,571 +M23 Ka3 Bg1 Kb4 Bh2 Kc3 Bg1 Kd4 Bh2 Ke5 Bg1 Ng8 Bh2 Nh6 Bg1 Nf5 Bh2 Ne3 Bg1 Nxf1 Kg4 Bxg2 Nf5 Kf6 Ng3 Ne3+

[biscuit1953]

What makes it so difficult for an engine to solve it? Pruning?

[User923005]

If an engine understands pinned pieces, then this position becomes far simpler. The particular Glinscott Stockfish I used has special code for pinned pieces. I really like it for complicated endgames.

[Octopus]

Old slow Smirf seems to find the right move quickly, but fails in providing a mating sequence:

3:05:19 (22.01=) +5.201 8.Ka3 (=/=) Bg1 9.Kb4 Bh2 10.Kc5 Bg1 11.Kd6 Bh2 12.Ke5 Bg1 13.Ng8 Kg4 14.Nh6+ Kg5 15.N:g2+ Kh5
1:05:15 (21.01=) +5.748 8.Ka3 (=/=) Bg1 9.Kb4 Bh2 10.Kc5 Bg1 11.Kd6 Bh2 12.Ke5 Bg1 13.Ng8 Kg4 14.Nh6+ Kg5 15.N:g2+ Kh5
34:18.9 (21.01+) +5.748 8.Ka3 (=/=) Bg1 9.Kb4 Bh2 10.Kc5 Bg1 11.Kd6 Bh2 12.Ke5 Bg1 13.Ng8 Kg4 14.Nh6+ Kg5 15.N:g2+ Kh5
28:06.5 (20.01=) +5.305 8.Ka3 (=/=) Bg1 9.Kb4 Bh2 10.Kc5 Bg1 11.Kd6 Bh2 12.Ke5 Bg1 13.Ng8 Kg4 14.Nh6+ Kg5 15.N:g2+ Kh5
15:19.4 (20.01+) +5.305 8.Ka3 (=/=) Bg1 9.Kb4 Bh2 10.Kc5 Bg1 11.Kd6 Bh2 12.Ke5 Bg1 13.Ng8 Kg4 14.Nh6+ Kg5 15.N:g2+ Kh5
12:43.6 (19.01=) +4.861 8.Ka3 (=/=) Bg1 9.Kb4 Bh2 10.Kc5 Bg1 11.Kd6 Bh2 12.Ke5 Bg1 13.Ng8 Kg4 14.Nh6+ Kg5 15.N:g2+ Kh5
07:01.6 (19.01+) +4.861 8.Ka3 (=/=) Bg1 9.Kb4 Bh2 10.Kc5 Bg1 11.Kd6 Bh2 12.Ke5 Bg1 13.Ng8 Kg4 14.Nh6+ Kg5 15.N:g2+ Kh5
04:54.9 (18.01=) +4.418 8.Ka3 (=/=) Bg1 9.Kb4 Bh2 10.Kc5 Bg1 11.Kd6 Bh2 12.Ke5 Bg1 13.Ng8 Kg4 14.Nh6+ Kg5 15.N:g2+ Kh5
04:29.8 (18.01+) +4.418 8.Ka3 (=/=) Bg1 9.Kb4 Bh2 10.Kc5 Bg1 11.Kd6 Bh2 12.Ke5 Bg1 13.Ng8 Kg4 14.Nh6+ Kg5 15.N:g2+ Kh5
04:28.2 (18.00-) +4.402 8.Ka3 (=/=) Bg1 9.Kb4 Bh2 10.Kc5 Bg1 11.Kd6 Bh2 12.Ke5 Bg1 13.Ng8 Kg4 14.Nh6+ Kg5 15.N:g2+ Kh5
02:29.0 (17.01=) +5.289 8.Ka3 (=/=) Bg1 9.Kb4 Bh2 10.Kc5 Bg1 11.Kd6 Bh2 12.Ke5 Bg1 13.Ng8 Kg4 14.Nh6+ Kg5 15.N:g2+ Kh5
02:02.8 (17.01+) +5.289 8.Ka3 (=/=) Bg1 9.Kb4 Bh2 10.Kc5 Bg1 11.Kd6 Bh2 12.Ke5 Bg1 13.Ng8 Kg4 14.Nh6+ Kg5 15.N:g2+ Kh5
01:52.5 (16.01=) +4.846 8.Ka3 (=/=) Bg1 9.Kb4 Bh2 10.Kc5 Bg1 11.Kd6 Bh2 12.Ke5 Bg1 13.Ng8 Kg4 14.Nh6+ Kg5 15.N:g2+ Kh5
01:50.4 (16.01+) +4.846 8.Ka3 (=/=) Bg1 9.Kb4 Bh2 10.Kc5 Bg1 11.Kd6 Bh2 12.Ke5 Bg1 13.Ng8 Kg4 14.Nh6+ Kg5 15.N:g2+ Kh5
01:42.8 (15.01=) +5.717 8.Ka3 (K:a1) Bg1 9.Kb4 Bh2 10.Kc5 Bg1 11.Kd6 Bh2 12.Ke5 Bg1 13.Ng8 Kg4 14.Nh6+ Kg5 15.N:g2+ Kh5
01:40.6 (15.01+) +5.717 8.Ka3 (K:a1) Bg1 9.Kb4 Bh2 10.Kc5 Bg1 11.Kd6 Bh2 12.Ke5 Bg1 13.Ng8 Kg4 14.Nh6+ Kg5 15.N:g2+ Kh5
01:39.8 (15.01+) +4.385 8.Ka3 (K:a1) Bg1 9.Kb4 Bh2 10.Kc5 Bg1 11.Kd6 Bh2 12.Ke5 Bg1 13.Ng8 Kg4 14.Nh6+ Kg5 15.N:g2+ Kh5
01:39.6 (14.01=) +3.941 8.Ka3 (K:a1) Bg1 9.Kb4 Bh2 10.Kc5 Bg1 11.Kd6 Bh2 12.Ke5 Bg1 13.Ng8 Kg4 14.Nh6+ Kg5 15.N:g2+ Kh5
00:39.6 (14.01+) +3.941 8.Ka3 (K:a1) Bg1 9.Kb4 Bh2 10.Kc5 Bg1 11.Kd6 Bh2 12.Ke5 Bg1 13.Ng8 Bh2 14.Nh6 Bg1 15.Nf5 Bh2
00:31.2 (14.01+) +2.258 8.Ka3 (K:a1) Bg1 9.Kb4 Bh2 10.Kc5 Bg1 11.Kd6 Bh2 12.Ke5 Bg1 13.Bd2 c1=Q 14.B:c1 Nc2 15.Ne4 Ne3
00:31.1 (14.00-) +2.242 8.Ka3 (K:a1) Bg1 9.Kb4 Bh2 10.Kc5 Bg1 11.Kd6 Bh2 12.Ke5 Bg1 13.Bd2 c1=Q 14.B:c1 Nc2 15.Ne4 Ne3
00:09.7 (13.01=) +2.826 8.Ka3 (=/=) Bg1 9.Kb4 Bh2 10.Kc5 Bg1 11.Kd6 Bh2 12.Ke5 Bg1 13.Bd2 c1=Q 14.B:c1 Nc2 15.Ne4 Ne3
00:08.1 (13.01+) +2.826 8.Ka3 (=/=) Bg1 9.Kb4 Bh2 10.Kc5 Bg1 11.Kd6 Bh2 12.Ke5 Bg1 13.Bd2 c1=Q 14.B:c1 Nc2 15.Ne4 Ne3
00:03.6 (12.01=) +2.539 8.Ka3 (=/=) Bg1 9.Kb4 Bh2 10.Kc5 Bg1 11.Kd6 Bh2 12.Ke5 Bg1 13.Bd2 c1=Q 14.B:c1 Nc2 15.Ne4 Ne3
00:03.3 (12.01+) +2.539 8.Ka3 (=/=) Bg1 9.Kb4 Bh2 10.Kc5 Bg1 11.Kd6 Bh2 12.Ke5 Bg1 13.Bd2 c1=Q 14.B:c1 Nc2 15.Ne4 Ne3
00:02.9 (11.01=) +2.256 8.Ka3 (=/=) Bg1 9.Kb4 Bh2 10.Kc5 Bg1 11.Kd6 Bh2 12.Ke5 Bg1 13.Nh7 Kg4 14.Bd2 Rh2 15.Nf6+ Kg5
00:01.0 (10.01=) +2.295 8.Ka3 (K:a1) Bg1 9.Kb4 Bh2 10.Kc5 Bg1 11.Kd6 Bh2 12.Kc7 Bg1 13.Kd8 Bh2 14.R:h2 N:h1 15.R:h1
00:00.3 (09.01=) +2.295 8.Ka3 (K:a1) Bg1 9.Kb4 Bh2 10.Kc5 Bg1 11.Kd6 Bh2 12.Kc7 Bg1 13.Kd8 Bh2 14.R:h2 N:h1 15.R:h1
00:00.1 (08.01=) +2.391 8.Ka3 (K:a1) Bg1 9.Kb4 Bh2 10.Kc5 Bg1 11.Kd6 Bh2 12.R:h2 N:h1 13.R:h1
00:00.1 (07.02=) +2.391 8.Ka3 (K:a1) Bg1 9.Kb4 Bh2 10.Kc5 Bg1 11.Kd6 Bh2 12.R:h2 N:h1 13.R:h1
00:00.0 (06.00-) +3.059 8.K:a1 (=/=) Bg1 9.Bd2 Bh2 10.R:h2 N:h1 11.R:h1 Rg7

[User923005]

It is amazing how fast smirf finds the right answer.
I guess that smirf has sophisticated pin detection code.
The king capturing the knight will result in a draw. The only win is to scramble the king over to the enemy king's camp and give a helping hand there.