Geschwindigkeitsvergleiche

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…

Teddy 1.8.1

Vor knapp drei Jahren hatte ich hier über zwei unterschiedliche Programme berichtet – und heute können sie zusammenarbeiten!

Die ursprüngliche Popeye-Grafikoberfläche Teddy kann seit einiger Zeit auch als Benutzungsschnittstelle für (Jacobi und) das Beweispartie-Prüfprogramm Natch dienen. Dabei können die Natch Parameter konsistent mit der Teddy Oberfläche eingegeben, die Stellung dann durch Klicken ins Diagramm oder Eingabe der FEN Notation geändert werden. Für letzteres muss das Eingabefeld für FEN zunächst über das „Einstellungen“ Menü aktiviert werden. Dann aber ändern Eingaben im Diagramm oder im FEN-Feld synchron die Anzeigen im jeweils anderen Feld -– sehr komfortabel!

Übrigens finde ich das Eingabediagramm auch sehr praktisch z.B. zum Nachspielen vom Märchen-Beweispartien, was mit vielen Programmen nicht möglich ist, da dort die „orthodoxe Legalität“ von Zügen überprüft wird, die beispielsweise das Spielen einer Circe-Beweispartie ausschließt. Die Partieanfangsstellung kann man einfach mit Klick auf den mit drei schwarzen und weißen Bauern markierten Knopf aufbauen; klasse!

Probiert Teddy doch einfach mal aus – mir gefällt es sehr gut, ich finde es extrem nützlich. Vielleicht lernt das Programm ja auch bald noch, mit Euclide umzugehen?!

Euclide 1.1

Kaum hatte ich hier die neue Version von Natch angekündigt, gibt es auch vom “Konkurrenzprodukt” Euclide von Étienne Dupuis ein Update: In der Version 1.1 kann man Einschränkungen bezüglich der Lösung angeben, beispielsweise Euclide mitteilen, dass ein bestimmter Bauer auf einem bestimmten Feld in eine bestimmte Figur umgewandelt werden muss.

Mit diesen Möglichkeiten, die die Prüfdauer deutlich verkürzen können, muss man natürlich sehr vorsichtig umgehen, da man damit möglicherweise nicht nur viele Fehlversuche, sondern auch Nebenlösungen ausblenden kann. Sie hilft also besonders während des Kompositionsprozesses, ersetzt schlussendlich aber keine vollständige Prüfung. Auch wenn ihr das sonst nicht so mögt: Lest unbedingt vorher die Beschreibung dazu in der Hilfe-Datei durch!

Dennoch natürlich ein tolles Feature, das Euclide sicher noch attraktiver als bisher schon macht.

Euclide 1.00

Am 18. Februar hatte ich hier über die Fehler in Euclide 0.99 berichtet, die Bernd Gräfrath und Silvio Baier entdeckt hatten.

Heute hat nun Étienne Dupuis die Version 1.00 von Euclide freigegeben, die diese Probleme behebt. Ihr könnt die neue Version von Euclide’s Homepage herunterladen.

Übrigens lässt sich die Frage, was den eigentlich “Co+” bedeutet, nicht nur auf mögliche Fehler bei Euclide reduzieren: So ist die neueste Popeye-Version im Wesentlichen ein Bugfix-Release — aber noch spannender finde ich die Frage der Interpretation von Märchenschach-Bedingungen, speziell deren Verknüpfung. Und hier interpretieren die drei “Marktführer” (in alphabetischer Reihenfolge) Alybadix, Popeye und WinChloe Bedingungen häufig unterschiedlich und kommen damit zu unterschiedlichen Prüfergebnissen (was für den einen korrekt ist, ist für den anderen vielleicht unlösbar oder nebenlösig).

Eigentlich reicht also eine Angabe “Co+” nicht aus; sie benötigt die Zusatzinformation, mit welchem Programm in welcher Version getestet wurde, um aussagekräftig zu sein.

Problem mit Euclide

Ziemlich überraschend sind Bernd Gräfrath und Silvio Baier auf ein Problem mit dem Prüfprogramm für Beweispartien Euclide gestoßen: Für eine Beweispartie findet Euclide keine Lösung, obgleich eine existiert, die auch von Natch gefunden wird.

Bernd stellt in einem Beitrag, den ihr hier herunterladen könnt, die Aufgabe vor — sie ist nicht nur wegen dieses Fehlers sehenswert!

Übrigens findet Euclide bei den angegebenen Vergleichsaufgaben die Lösungen. Ich persönlich vermute, dass eine Optimierung zu “scharf” geschaltet ist. Über die weitere Entwicklung werde ich jedenfalls gern berichten.