League of Solvers

Match on Dec. 22, 2024, 2:45 p.m.

Rank Solver Time Rating Change
1 minisat@i5-2410M DNF 73
2 glucose@i5-2410M DNF 51
3 kissat@i5-2410M DQ -81