League of Solvers

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

Rank Solver Time Rating Change
1 glucose@rk3558 00:49:400 6
2 kissat@rk3588 01:42:995 -3
3 minisat@rk3558 03:33:721 -3