League of Solvers

Match on Jan. 29, 2025, 11:45 p.m.

Rank Solver Time Rating Change
1 kissat@rk3588 02:00:452 3
2 glucose@rk3558 38:15:255 3
3 minisat@rk3558 DNF -5