Also das mit dem Nigel Short hat mir dann doch keine Ruhe gelassen, und ich hatte noch eine Idee. Es ist ja Herbst, da beschneidet man die Bäume, und das geht auch bei Suchbäumen.

Man kann für die Seite, welche mattsetzen soll, zunächst einmal immer nur die schachbietenden Züge untersuchen. Scheitert das, kann man in der Ausgangsstellung alle Züge untersuchen, aber danach nur die schachbietenden. Scheitert das auch, schiebt man die Begrenzung auf Schachzüge immer weiter nach hinten bis zum letzten Zug, der muß ja Schach (und matt) sein.

Wenn man das mit dieser Aufgabe macht, ist das natürlich besonders dankbar, weil es lauter Schachgebote sind. Ergebnis - das Matt wird jetzt in in der Mattsuch-Stufe in unter einer Sekunde gefunden.

Die Nachsuche auf Doppellösungen profitiert da natürlich nicht, weil die letztlich alles rechnen muß, um zum Ergebnis zu kommen, daß keine Doppellösung da ist. Die braucht also immer noch 41 Minuten.


@ Wolf 21: Wie lange braucht denn der Nigel Short für die Nachsuche auf mögliche weitere Lösungszüge?