tester-one
Eerbewijzen
- oktober 2026, Booleaans vervulbaarheidsprobleem (SAT): plaats 3
- oktober 2026, 3-kleuring: plaats 2
- oktober 2026, Exacte overdekking met 3-verzamelingen (X3C): plaats 3
Hoogste trede per maand
oktober 2026: Booleaans vervulbaarheidsprobleem (SAT) r07, 3-SAT r07, Onafhankelijke verzameling r02, Kliek r01, Knoopbedekking r01, 3-kleuring r07, Hamiltoncykel r03, Geheeltallige 0-1-programmering r05, Exacte overdekking met 3-verzamelingen (X3C) r07, Handelsreizigersprobleem (TSP) r01