Nee... die alten Schachcompis sind mit sowas überfordert. Entweder man hat ein BruteForce basiertes Programm, dann ist es in der Regel zu langsam (OK, die stärkeren Fidelitys mit 68020 aufwärts könnte man vielleicht noch befragen. Die V11 hat gute Chancen es vielleicht zu finden) oder es ist mit viel Wissen ausgestattet wie die Mephistos, dann scheitert es gerade am Schachwissen zumal die längere Lösung mit 1. c5 eben auch gewinnt und dem Freibauern natürlich einige "Extra-Punkte" in der Bewertung gutgeschrieben werden. Zudem führt es auch zum Matt, nur dauert es eben einen Zug länger. Der MMV hat eine Begrenzung der Suchtuefe von 16 HZ, könnte es also rein theoretisch schaffen. Da er selbst mit maximaler Speed in der EMU aber nach über 2 Stunden noch bei Tiefe 13 festhängt, kann das dauern...

Die alten PC-Programme DOS-Rebels MChess etc. werden es sicher finden, wenngleich der Rebel 6 ebenfalls zuerst das längere Matt nach 1. c5 sieht (ebi Tiefe 16 nach ca. 12 Minuten) und sieht das kürzere Matt erst auf Tiefe 17 nach gut und gerne 40 Minuten.

Die neuen Programme sind jedoch nicht mehr Mattlösungstauglich. Wenn die eine Variante sehen, die zum Matt führt (auch wenn es nicht die kürzeste ist) dann wird der Baum radikal beschnitten und anderes interessiert nicht mehr. Frei nach dem Motto "Ich gewinn doch, was willst Du mehr?". Bei Stockfish ist es recht unterschiedlich. Version 10 (4 Kerne) findet es, Version 9 (4 Kerne) findet es manchmal (mehrmals probieren), Version 8 (4 Kerne) gar nicht (wie Kommodo und Deep Rybka 4.1 bei 1. c5 das Matt gesehen und anderes interessiert nicht mehr).

Das Problemlöseprogramm Chest braucht für die richtige Lösung bei mir übrigens nur läppische 54 Sekunden für die komplette Lösung.

Time (virt) = 54.828 sec

PV= b1b5 a7a6 a1f1 a6b5 a5b4 b5c4 b4c3 c4d3 c3d2 d3e2 d2e1 e2f1q e1f1 g1f2 e4g2
b1b5 a7a6 a1f1 a6b5 a5b4 b5c4 b4c3 c4d3 c3d2 d3e2 d2e1 e2f1b e1f1 g1e3 e4g2
g1f2 e4g2
e2f1n e1f1 g1e3 e4g2
g1f2 e4g2
e2f1q e1f1 g1e3 e4g2
g1f2 e4g2
e2f1r e1f1 g1e3 e4g2
g1f2 e4g2

Die Aufgabe ist aber auch unglücklich formuliert.
Weiß am Zug gewinnt trifft für alle Lösungen zu, ob jetzt 1. c5 oder 1. Tb5 oder noch irgendwas anderes (Weiss muss schon totalen Unsinn spielen um zu verlieren).
Richitg müsste die Aufgabe "Weiss zieht und setzt in 8 Zügen Matt" heißen. Dann weiss man auch wonach man suchen muss...