Für Stocki kein Problem, Erdo:
1k6/1Pp5/2P3p1/p1P1p1P1/2PpPp2/3p1p2/3P1P2/5K2 w - - 0 1
Analysis by Stockfish 2.3.1 JA 64bit SSE4.2:
1.Ke1 a4 2.Kd1 Ka7 3.Kc1 Kb8 4.Kb1 Ka7 5.Kb2
+/- (1.29) Tiefe: 7/11 00:00:00 1kN
...
1.Ke1 Ka7 2.Kd1 Kb8 3.Kc1 Ka7 4.Kb2 Kb8 5.Kb3 Ka7 6.Ka4 Kb8 7.Kxa5 Ka7 8.Kb4 Kb8 9.Ka3 Ka7 10.Kb2 Kb8 11.Kc1 Ka7 12.Kd1 Kb8 13.Ke1 Ka7 14.Kf1 Kb8 15.Kg1 Ka7 16.Kh2 Kb8 17.Kh3 Ka7 18.Kg4 Kb8 19.Kxf3 Ka7 20.Kg4 Kb8 21.f3 Ka7 22.Kh4
+- (4.36) Tiefe: 29/41 00:00:00 205kN
...
1.Ke1 a4 2.Kd1 a3 3.Kc1 a2 4.Kb2 a1T 5.Kxa1 Ka7 6.Kb1 Kb8 7.Kc1 Ka7 8.Kd1 Kb8 9.Ke1 Ka7 10.Kf1 Kb8 11.Kg1 Ka7 12.Kh2 Kb8 13.Kh3 Ka7 14.Kg4 Kb8 15.Kxf3 Ka7 16.Kg2 Kb8 17.Kf1 Ka7 18.Ke1 Kb8 19.Kd1 Ka7 20.Kc1 Kb8 21.Kb2 Ka7 22.Kb3 Kb8 23.Ka2 Ka7 24.f3 Kb8 25.Kb1 Ka7 26.Kc1 Kb8 27.Kb2 Ka7 28.Kb1 Kb8 29.Ka1 Ka7 30.Ka2
+- (5.37) Tiefe: 44/71 00:00:01 2829kN
...
1.Ke1 a4 2.Kd1 a3 3.Kc1 a2 4.Kb2 a1T 5.Kxa1 Ka7 6.Kb2 Kb8 7.Kc1 Ka7 8.Kd1 Kb8 9.Ke1 Ka7 10.Kf1 Kb8 11.Kg1 Ka7 12.Kh2 Kb8 13.Kh3 Ka7 14.Kg4 Kb8 15.Kxf3 Ka7 16.Kg2 Kb8 17.Kf1 Ka7 18.Ke1 Kb8 19.Kd1 Ka7 20.Kc1 Kb8 21.Kb2 Ka7 22.Kb3 Kb8 23.Kb4 Ka7 24.Ka5 Kb8 25.Ka6 f3 26.Ka5 Ka7 27.Kb4 Kb8 28.Kb3 Ka7 29.Kb2 Kb8 30.Kb3
+- (6.11 ++) Tiefe: 51/76 00:00:02 4233kN
...
1.Ke1 a4 2.Kd1 a3 3.Kc1 a2 4.Kb2 a1T 5.Kxa1 Ka7 6.Kb1 Kb8 7.Kc1 Ka7 8.Kd1 Kb8 9.Ke1 Ka7 10.Kf1 Kb8 11.Kg1 Ka7 12.Kh2 Kb8 13.Kh3 Ka7 14.Kg4 Kb8 15.Kxf3 Ka7 16.Kg2 Kb8 17.Kf1 Ka7 18.Ke1 Kb8 19.Kd1 Ka7 20.Kc1 Kb8 21.Kb2 Ka7 22.Ka3 Kb8 23.Kb4 Ka7 24.Ka5 Kb8 25.Ka6 f3 26.Kb5 Ka7 27.Kb4 Kb8 28.Ka3 Ka7 29.Kb2 Kb8 30.Kc1 Ka7 31.Kd1 Kb8 32.Ke1 Ka7 33.Kf1 Kb8 34.Kg1 Ka7 35.Kh1 Ka6 36.b8D
+- (11.26 ++) Tiefe: 55/86 00:00:03 6863kN
...
1.Ke1 a4 2.Kd1 a3 3.Kc1 Ka7 4.Kb1 Kb8 5.Ka2 Ka7 6.Kxa3 Kb8 7.Kb4 Ka7 8.Kb3 Kb8 9.Ka2 Ka7 10.Kb1 Kb8 11.Kc1 Ka7 12.Kd1 Kb8 13.Ke1 Ka7 14.Kf1 Kb8 15.Kg1 Ka7 16.Kh2 Kb8 17.Kh3 Ka7 18.Kg4 Kb8 19.Kh4 Ka7 20.Kh3 Kb8 21.Kg4 Ka7 22.Kxf3 Kb8 23.Kg2 Ka7 24.Kh2 Kb8 25.Kg1 Ka7 26.Kg2 Kb8 27.Kf1 Ka7 28.Ke1 Kb8 29.Kd1 Ka7 30.Kc1 Kb8 31.Kb2 Ka7 32.Kb3 Kb8 33.Ka4 Ka7 34.Ka5 Kb8 35.Ka6 f3 36.Kb5 Ka7 37.Kb4 Kb8 38.Ka3 Ka7 39.Kb3 Kb8 40.Kb2 Ka7 41.Kc1 Ka6 42.b8D
+- (20.23 ++) Tiefe: 67/101 00:00:06 21302kN
...
1.Ke1 a4 2.Kd1 a3 3.Kc1 Ka7 4.Kb1 Kb8 5.Ka2 Ka7 6.Kxa3 Kb8 7.Kb4 Ka7 8.Kb3 Kb8 9.Ka2 Ka7 10.Kb1 Kb8 11.Kc1 Ka7 12.Kd1 Kb8 13.Ke1 Ka7 14.Kf1 Kb8 15.Kg1 Ka7 16.Kh2 Kb8 17.Kh3 Ka7 18.Kg4 Kb8 19.Kxf3 Ka7 20.Kg2 Kb8 21.Kf1 Ka7 22.Ke1 Kb8 23.Kd1 Ka7 24.Kc1 Kb8 25.Kb2 Ka7 26.Kb3 Kb8 27.Ka4 Ka7 28.Ka5 Kb8 29.Ka6 f3 30.Kb5 Ka7 31.Kb4 Kb8 32.Ka3 Ka7 33.Kb3 Kb8 34.Kb2 Ka7 35.Ka3 Kb8 36.Kb2
+- (86.17 ++) Tiefe: 67/101 00:00:07 23815kN
Bis dahin sind nur ganz wenige unnötige Züge drin und die zweite Runde der Königswanderung ist vorbei, man kann bei der Bewertung also wohl davon ausgehen, dass die dritte auch "gesehen" wird.
Halblustiger Weise, geht man an das Ende dieser Variante, kommt zunächst mal ein hartnäckiges 0.00:
1k6/1Pp5/2P3p1/2P1p1P1/2PpP3/3p1p2/1K1P1P2/8 b - - 0 1
Analysis by Stockfish 2.3.1 JA 64bit SSE4.2:
36...Ka7 37.Kc1 Kb8 38.Kd1 Ka7 39.Ke1 Kb8 40.Kf1 Ka7 41.Kg1 Kb8 42.Kh2 Ka7 43.Kg3 Kb8 44.Kxf3 Ka7 45.Kg4 Kb8 46.f4 Ka7 47.fxe5 Kb8 48.e6 Ka7 49.e7 Kb8 50.e8D+ Ka7 51.Da8#
= (0.00) Tiefe: 100/2 00:00:00 6kN
,das aber, wenn man das Ka7 noch ausführen lässt, sofort von einer Mattanzeige abgelöst wird:
8/kPp5/2P3p1/2P1p1P1/2PpP3/3p1p2/1K1P1P2/8 w - - 0 1
Analysis by Stockfish 2.3.1 JA 64bit SSE4.2:
37.Kc1 Kb8 38.Kd1 Ka7 39.Ke1 Kb8 40.Kf1 Ka7 41.Kg1 Kb8 42.Kh2 Ka7 43.Kg3 Kb8 44.Kxf3 Ka7 45.Kg4 Kb8 46.f4 Ka7 47.fxe5 Kb8 48.e6 Ka7 49.e7 Kb8 50.e8D+ Ka7 51.Da8#
+- (#15) Tiefe: 100/8 00:00:09 150mN
Jaja, der Nullzug und der Horizont, Stocki behandelt beides in diesem Fall aber eigentlich vorbildlich, finde ich, von einer kleinen Selbstüberlistung im output zwischendurch abgesehen.
Houdini hat hier für die vielen Züge (es sollten wohl so 45 bis zum Matt sein?) offenbar eher zuwenig nullmove pruning drin, um das in annähernd der Zeit zu schaffen, mal tactical mode probieren und tbs abdrehen...