League of Solvers

Match on Feb. 3, 2025, 1:45 a.m.

Rank Solver Time Rating Change
1 glucose@rk3558 05:53:651 6
2 minisat@rk3558 06:13:700 6
3 kissat@rk3588 07:58:493 -11