Hallo Ernest!
Ihr habt beide recht, es ist Glück, dass eine MP-engine zuerst in geringerer Tiefe eine Variante findet, die ihr als Grund genügt, einen Zug als besten auszuspielen, auch wenn die Variante nicht die bestmögliche ist, das ist es, glaube ich, was Roland gemeint hat.
Es ist eben nicht dieselbe Leistung, wie in der gleichen Zeit und der gleichen Tiefe die beste Variante zu finden, was das Finden des Lösungszuges anbelangt, ist es schon dasselbe Ergebnis, der Grund ist aber nicht derselbe. Vielleicht könnt ihr euch darauf einigen, dass im einen Fall die Lösung zwar stimmt, es aber Glück im Irrtum ist, weil es genau so gut die Variante eines falschen Lösungszuges sein könnte, die zuerst die PV bleibt.
Hast du dir übrigens schon meine Varianten zu deinem posting über Howard Exners Endspielproblem angesehen? Bis jemand einen sicheren Beweis mit den kompletten 6Steinern bringt, können wir aber, denke ich, jedenfalls davon ausgehen, dass 1.Th6+ ein sicherer Gewinnzug ist. Wenn die inkompletten 6Steiner einer engine ein zwingendes Matt zu finden, ermöglichen, ist das in aller Regel zwingend, ganz seltene Ausnahmen hat mir hin und wieder Zappa Mexico gebracht, der in einzelnen Stellungen die tablebases nachweislich falsch interpretiert hat, wie gesagt aber wirkliche bugs als einzelne Ausnahmen.
Ansonsten kann man davon ausgehen, dass eine Mattanzeige, wenn auch nicht in der Zugzahl und der bestmöglichen PV, so doch in der Bewertung stimmt, genau genommen auch Glück.

Dass, obwohl der Gewinn- 6Steiner auf der Festplatte ist, er mit 1.Kd7 nicht gefunden wird, spricht dafür, dass dieser Zug wirklich nicht gewinnt, das ist allerdings kein so sicherer Beweis, weil er per exclusionem geführt werden müsste. Genau genommen lässt sich dann aber nicht einmal mit den kompletten 6Steinern ausschließen, dass nicht auch mit ihnen ein Gewinnweg nur nicht gefunden wird, obwohl es ihn gibt, weil er einfach zu lang sein könnte für die Rechentiefe der engine.
Deshalb habe ich mir die 6Steiner immer noch nicht komplett angeschafft, 50GB, die ich habe, reichen mir für das meiste und alles geht auch mit den 1,5TB nicht und deshalb fälle ich auch keine Urteile mehr über Stellungen, die ich nicht selbst (mit engine- Unterstützung) nachrechnen kann.
Kannst du dich noch an unsere Behting- Affäre erinnern?