League of Solvers

Match on Jan. 27, 2025, 3:45 a.m.

Rank Solver Time Rating Change
1 kissat@rk3588 00:00:937 4
2 glucose@rk3558 00:43:814 1
3 minisat@rk3558 19:11:748 -5