League of Solvers

Match on Jan. 24, 2025, 9:45 a.m.

Rank Solver Time Rating Change
1 glucose@rk3558 01:00:192 7
2 kissat@rk3588 03:07:560 -2
3 minisat@rk3558 DNF -6