League of Solvers

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

Rank Solver Time Rating Change
1 kissat@i5-2410M 17:21:321 88
2 minisat@i5-2410M DNF -53