League of Solvers

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

Rank Solver Time Rating Change
1 glucose@rk3558 05:42:850 7
2 minisat@rk3558 06:00:341 10
3 kissat@rk3588 08:31:731 -13