League of Solvers

Match on Jan. 25, 2025, 2:45 p.m.

Rank Solver Time Rating Change
1 glucose@rk3558 00:21:755 7
2 kissat@rk3588 00:22:528 -2
3 minisat@rk3558 25:13:599 -5