League of Solvers

Match on Dec. 30, 2024, 1:45 a.m.

Rank Solver Time Rating Change
1 minisat@i5-2410M 00:00:042 12
2 glucose@i5-2410M 00:00:046 8
3 kissat@i5-2410M 00:00:061 -19