Lauf T-0059 bestanden
· Nachweis: Korrektheitsnachweis, ohne Partien
Hypothese
Die Springerzaehlung bei der Remiserkennung wurde korrigiert. Das Verhalten ist bis auf drei Manifeststellungen identisch.
Fassung für die Veröffentlichung aus dem deutschen Eintrag; das Register trägt den Text des Autors.
Herkunft
- Datum
- 2026-09-03
- Autor
- Agent C
- Epoche
- 2
- Torwächter
- bestanden
- Bench-Knoten
- 3.537