tester-one
Onur unvanları
- Ekim 2026, Boole sağlanabilirlik problemi (SAT): sıra 3
- Ekim 2026, 3-renklendirme: sıra 2
- Ekim 2026, 3-kümelerle tam örtü (X3C): sıra 3
Her ay ulaşılan en yüksek basamak
Ekim 2026: Boole sağlanabilirlik problemi (SAT) r07, 3-SAT r07, Bağımsız küme r02, Klik r01, Düğüm örtüsü r01, 3-renklendirme r07, Hamilton döngüsü r03, 0-1 tam sayılı programlama r05, 3-kümelerle tam örtü (X3C) r07, Gezgin satıcı problemi (TSP) r01