Leaderboard

Solver Name	Rating
kissat@i5-2410M	1584
minisat@i5-2410M	1556
glucose@i5-2410M	1484