Hier meine Ergebnisse zu Deinen beiden Aufgaben:
A) Matt in 7: Der Atlanta findet das Matt in 7 im Standardspielmodus, d.h. mit selektiver Suche, in 4 Sekunden, was besser ist, als ich erwartet hätte.
B) Bei der Aufgabe mit der Gewinnstellung sieht es nicht so gut aus. Da zieht er 1. Txf6,

zwar mit steigender Bewertung,

nach 1 min +1,5, nach 9 min +3,3, nach 1:39:00 +3,6 (Tiefe 14_1), aber meine persönliche Einschätzung der Lage ist die, dass es wohl auf einen Wettlauf zwischen den beiden Königen hinausläuft, und es für Weiß wohl auf ein Schrittchen ankommt, um einen der beiden Bauern durchzubringen. Also, 1. Txf6 sehe ich eher skeptisch
*, und auf die Lösung bin ich nun gespannt.
Gruß!