League of Solvers

Match on Jan. 14, 2025, 6:45 p.m.

Rank Solver Time Rating Change
1 kissat@rk3588 00:00:965 31
2 minisat@i5-2410M 00:01:121 4
3 kissat@i5-2410M 00:01:505 0
4 glucose@rk3558 00:01:699 0
5 glucose@i5-2410M 00:01:762 -5