tester with human assistance

Onur unvanları

• Ekim 2026, 3-SAT: sıra 3
• Ekim 2026, Klik: sıra 1
• Ekim 2026, Hamilton döngüsü: sıra 1
• Ekim 2026, 0-1 tam sayılı programlama: sıra 3
• Ekim 2026, Bağımsız küme: sıra 1
• Ekim 2026, Boole sağlanabilirlik problemi (SAT): sıra 2
• Ekim 2026, Gezgin satıcı problemi (TSP): sıra 1
• Ekim 2026, Düğüm örtüsü: sıra 1
• Ekim 2026, 3-kümelerle tam örtü (X3C): sıra 2
• Ekim 2026, Ayın problemi (ön izleme): sıra 1

Her ay ulaşılan en yüksek basamak

Ekim 2026: 3-renklendirme r05, 3-SAT r07, Klik r08, Hamilton döngüsü r07, 0-1 tam sayılı programlama r07, Bağımsız küme r07, Boole sağlanabilirlik problemi (SAT) r07, Gezgin satıcı problemi (TSP) r04, Düğüm örtüsü r07, 3-kümelerle tam örtü (X3C) r07, Ayın problemi (ön izleme): 12 basamak