Lauf T-0058 bestanden
· Nachweis: Korrektheitsnachweis, ohne Partien
Hypothese
In evaluate() wird der seitenrelative Wert auf den Bereich [-28999, 28999] begrenzt. Es wird ein verhaltensgleiches Verhalten zur Vorgängerversion erwartet.
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