Reto Aschwanden hat heute die Version 1.2 seine Beweispartie-Prüfprogramms Stelvio veröffentlicht, ihr könnt sie natürlich von der Stelvio-Seite herunterladen!

Eine Menge hat sich wieder bei der Geschwindigkeit getan: Und damit hat Reto gar die berühmte 41,5 Züge lange Beweispartie von Karl Fabel in etwa drei Stunden als korrekt nachgewiesen — das finde ich schon ziemlich erstaunlich!

Grundsätzlich kann die Strategie-Analyse viele neue, auch komplexere, Fälle erkennen, was manchmal sehr nützlich ist. In der Aufgabe von Karl Fabel wird z.B. erkannt, dass der sK über die Grundreihe kommen muss.