League of Solvers

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

Rank Solver Time Rating Change
1 kissat@i5-2410M 00:00:044 78
2 minisat@i5-2410M 00:00:045 37
3 glucose@i5-2410M 00:00:048 -66