League of Solvers

Match on Jan. 13, 2025, 8:45 a.m.

Rank Solver Time Rating Change
1 minisat@i5-2410M 00:00:144 7
2 glucose@i5-2410M 00:00:209 4
3 kissat@i5-2410M 00:00:215 -11