League of Solvers

Match on Jan. 12, 2025, 1:45 a.m.

Rank Solver Time Rating Change
1 minisat@i5-2410M 00:01:242 6
2 kissat@i5-2410M 00:01:975 -1
3 glucose@i5-2410M 00:02:216 -4