3 der 4 hatte ich schon in einer Problem- Datenbank, das Vierte kannte ich aber noch nicht, der Autor ist auch laut .pgn- Header unbekannt.
Nicht superschwer für Engines, vor allem für solche, die's gleich über die Mattsuche lösen, und die tbs helfen auch, aber single thread braucht SF dev. schon ein Weilchen (1'14" mit der 4.3GHz CPU, 1G Hash und 6Steiner Syzygys, bis der richtige Zug oben ist).
Uups, der verdeckt bei mir nix auf meinem sehr großen Bildschirm (eigentlich ein Fernseher). Wahrscheinlich sollte es sich also über die Skalierung des Bildschirms anpassen lassen, das ist aber natürlich auch mehr Aufwand als Nutzen. Kann dir höchstens empfehlen, auf einen der Züge in einer der .pgn- Darstellungen zu klicken, dann kommt ein Auswahlfenster, mit dem du außer nachspielen auch die entsprechende Datei runterladen kannst über ein eigenes Icon.