Diese hier z.B.:

8/1p6/p7/P7/2p1p1p1/2P1P1Pp/7P/1KBk4 w - - 0 1

Analysis by CorChess 5.1 040220 64 POPCNT:

1.Kb2 Ke2 2.Kc2 Ke1 3.Ld2+ Ke2 4.Kc1 Kf3 5.Kd1 Kf2 6.Lc1 Kf1 7.Kd2 Kf2 8.Lb2 Kf3 9.La3 Kf2 10.Lc1 Kf1 11.Kd1 Kf2 12.Ld2 Kf1 13.Le1 Kg2 14.Ke2 Kg1 15.Lf2+ Kg2 16.Ke1 Kh1 17.Kf1 Kxh2 18.Le1 Kh1 19.Ld2 Kh2 20.Kf2 Kh1 21.Lc1 Kh2 22.Lb2 Kh1 23.La3 Kh2 24.Lc1 Kh1 25.Ld2 Kh2 26.Le1 Kh1 27.Kf1 Kh2 28.Lf2 Kh1 29.Lg1 b5 30.axb6 a5 31.b7 h2 32.Lf2 a4 33.b8D a3 34.Da8 a2 35.Dxe4#
+-  (#35)    Tiefe: 76/70   00:02:11  3616MN

Mit leerem Hash gestartet, 24 Threads der 12x3GHz CPU, 32G Hash, default Setting (Analysis Contempt 12 Both) außer SyzygyProbeLimit 0. Im zweitbesten Versuch hat's  1'30" gedauert, am schnellsten war ein dritter unter 1'.
Dann erst hab' ich SF dev. probiert und gesehen, dass der auch gleich die Gewinn- Eval hat (wieder ohne Syzygys), mit dem Durchrechnen zum Matt hat er im einzelnen Versuch  länger gebraucht.

Edit: Uups!

8/1p6/p7/P7/2p1p1p1/2P1P1Pp/7P/1KBk4 w - - 0 1

Analysis by Komodo 13.2.5 64-bit:

1.Kb2 Ke1
  +/-  (0.98 --)   Tiefe: 7   00:00:09  1kN
...
1.Kb2 Ke2 2.Kc2 Ke1 3.Ld2+ Ke2 4.Kc1 Kf3 5.Kd1 Kf2 6.Lc1 Kf1 7.La3 Kf2 8.Kd2 Kf1 9.Lb2 Kf2 10.Lc1 Kf1 11.Kd1 Kg2 12.Ke2 Kg1 13.Ld2 Kg2 14.Le1 Kg1 15.Lf2+ Kg2 16.Ke1 Kh1 17.Kf1 Kxh2 18.Le1 Kh1 19.Kf2 Kh2 20.Ld2 Kh1 21.Lc1 Kh2
  +-  (#35)   Tiefe: 37   00:00:11  88941kN
1.Kb2 Ke2 2.Kc2 Ke1 3.Ld2+ Ke2 4.Kc1 Kf3 5.Kd1 Kf2 6.Lc1 Kf1 7.La3 Kf2 8.Kd2 Kf1 9.Lb2 Kf2 10.Lc1 Kf1 11.Kd1 Kg2 12.Ke2 Kg1 13.Ld2 Kg2 14.Le1 Kg1 15.Lf2+ Kg2 16.Ke1 Kh1 17.Kf1 Kxh2 18.Le1 Kh1 19.Kf2 Kh2 20.Ld2 Kh1 21.Lc1 Kh2 22.La3 Kh1
  +-  (#35)   Tiefe: 38   00:00:15  192MN
1.Kb2 Ke2 2.Kc2 Ke1 3.Ld2+ Ke2 4.Kc1 Kf3 5.Kd1 Kf2 6.Lc1 Kf1 7.La3 Kf2 8.Kd2 Kf1 9.Lb2 Kf2 10.Lc1 Kf1 11.Kd1 Kg2 12.Ke2 Kg1 13.Ld2 Kg2 14.Le1 Kg1 15.Lf2+ Kg2 16.Ke1 Kh1 ...
1.Kb2 Ke2 2.Kc2 Ke1 3.Ld2+ Ke2 4.Kc1 Kf3 5.Kd1 Kf2 6.Lc1 Kf1 7.La3 Kf2 8.Kd2 Kf1 9.Lb2 Kf2 10.Lc1 Kf1 11.Kd1 Kg2 12.Ke2 Kg1 13.Ld2 Kg2 14.Le1 Kg1 15.Lf2+ Kg2 16.Ke1 Kh1 17.Kf1 Kxh2 18.Le1 Kh1 19.Kf2 Kh2 20.Ld2 Kh1 21.Lc1 Kh2
  +-  (#35)   Tiefe: 41   00:00:22  216MN

In zwei weiteren Versuchen einmal 16" bis zum #35, einmal mehrere Minuten auf einem#43 hängen geblieben.

Houdini 6.03 hat auch gleich die Gewinneval, beim Matt geht es ihm ähnlich wie SF dev., langes Fail High bei einem einzelnen Versuch.