Reto Aschwanden hat eine neue Version, die 3.0, seine Beweispartie-Prüfprogramms “Stelvio” fertig gestellt.
Wieder standen weitere Verbesserungen der Performance und der Reduzierung des internen Speicherbedarfs im Vordergrund: Nach außen hin kaum sichtbar, aber natürlich sind so etwas wichtige Verbesserungen und Weiterentwicklungen.
Wie immer findet ihr die aktuelle Version auf meiner Stelvio-Seite!
Einer der bedeutendsten Beweispartie-Komponisten dieses Jahrtausends ist Reto Aschwanden, dem ich zu seinem heutigen 50. Geburtstag herzliche Glückwünsche in die Schweiz schicke. Reto baut meist strategisch tief gehende, stets originelle Beweispartien, hat aber schon mit 17 Jahren erste ausgezeichnete Zweizüger, anschließend auch höchst komplexe Märchenschach-Aufgaben veröffentlicht. Für die extrem hohe Qualität seiner Aufgaben spricht, dass er der jüngste Kompositionsgroßmeister aller Zeiten ist.
In der letzten Zeit hat er uns mit seinem leistungsfähigen Beweispartie-Prüfprogramm Stelvio das Leben erleichtert — ich bin sicher, ich hoffe, dass dort wie bei seinen Kompositionen das Ende der Fahnenstange noch lange nicht erreicht ist, dass wir noch jede Menge toller Aufgaben von ihm sehen werden.
Nachdem ich im Retro der Woche 39/2024 bereits eine frühe Beweispartie von Reto vorgestellt hatte, folgt nun eine weitere, etwas kürzere. Ich lade euch herzlich ein, sie selbst zu lösen, auch wenn wir hier sicherlich das “zwischendurch” zeitlich nicht ganz so knapp ansetzen sollten.
Zwei Ceriani-Frolkin, schwarze Homebase, Tempoverlust.
Pünktlich zum kalendarischen Sommeranfang gibt es für das Beweispartien-Prüfprogramm Stelvio eine neue Version: V2.5 bringt eine Menge Verbesserungen “unter der Haube”, die Reto Aschwanden frisch implementiert hat. Nun ist es auch möglich, mehrere Beweispartien “am Stück” zu prüfen.
Wie immer könnt ihr auch die Version 2.5 von Stelvio hier auf dieser Seite herunterladen. Und mein Standard-Hinweis: Auch für Stelvio lohnt es, einen Blick in die Dokumentation zu werfen — die Insider kennen die Abkürzung
Reto Aschwanden hat für gut 100 zufällig aus der PDB ausgewählte orthodoxe Beweispartien die Prüfzeiten der drei Programme Stelvio, Natch und Euclide miteinander verglichen und ausführlich dokumentiert und kommentiert.
Das Ergebnis ist sehr interessant — schaut es euch an, ihr könnt es anhand der angegebenen Beweispartien selbst verifizieren — wobei natürlich die absoluten Zeiten abhängig von der eingesetzten Hardware sind.
Ich bin mir sicher, dass Reto sich besonders die sehr wenigen Beweispartien im Detail anschauen wird, in denen Stelvio nicht das schnellste Programm ist…
Ja, ist denn heut’ schon Weihnachten?
Eigentlich nicht, wenn man auf den Kalender schaut — für die Freunde der orthodoxen Beweispartien aber in gewisser Weise schon, denn Reto Aschwanden hat heute die Version 2.0 von Stelvio, seinem Prüfprogramm für Beweispartien, veröffentlicht.
Bei einem Versionswechsel kann man schon damit rechnen, dass sich am Programm eine ganze Menge getan hat — und dem ist auch so:
Beispielsweise kann Stelvio nun unter gewissen Umständen notwendigen Schachschutz erkennen. Für Aufgaben, die den für einen der Könige benötigen, kann das eine drastische Beschleunigung der Tests bedeuten, da ein Schachschutz meist mehrere ansonsten freie Züge erfordert.
Allgemein hat Reto auch die Strategieanalyse verbessert und noch wirkungsvoller gemacht, ebenso die Parallelisierung der Prüfungen.
Insgesamt also eine Menge “Tuning unter der Motorhaube”, das den Versionssprung sicherlich gerechtfertigt. Mehr Details findet ihr wie immer in der Dokumentation.
Reto Aschwanden hat die Version 1.6 seine Beweispartie-Prüfprogramms Stelvio veröffentlicht. Ihr könnt sie wie immer von der Stelvio-Seite herunterladen!
Dieses Mal liegt der Schwerpunkt auf zusätzlicher Information für den Prüfer Reto schreibt dazu: “Hauptsächliche Neuigkeit ist die Visualisierung der Strategie-Suche, damit man eine Ahnung bekommt, ob man noch 10 Jahre oder nur noch 10 Sekunden warten muss, bis alle Strategien gefunden wurden.”
Hier könnt ihr schon mal einen Screenshot dazu sehen:
Reto Aschwanden hat die Version 1.5 seine Beweispartie-Prüfprogramms Stelvio veröffentlicht, die wegen meines Urlaubs zwei Tage hier gelegen hat. Ihr könnt sie wie immer von der Stelvio-Seite herunterladen!
Eine Menge Verbesserungen (Beschleunigungen, weniger Speicherbedarf) “unter der Motorhaube” gibt es. Das führt dazu, dass die Beweispartie in 58,5 Zügen in den ersten 51 Zügen in realistischer Zeit geprüft werden kann — danach allerdings “explodiert” der Suchbaum. aber “51 Züge” ist schon ein Wort: Davon hätte man bis vor Kurzem nicht einmal zu träumen gewagt …
Reto Aschwanden hat heute die Version 1.4 seine Beweispartie-Prüfprogramms Stelvio veröffentlicht, ihr könnt sie wie immer von der Stelvio-Seite herunterladen!
Eine interessante Beschleunigung der Prüfung spezieller Beweispartien, nämlich bei denen im Diagramm ein König im Schach steht, hat er hier implementiert. Schaut euch dazu einfach die Dokumentation an.