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

Rank	Solver	Time	Rating Change
1	kissat@i5-2410M	00:57:397	37
2	glucose@i5-2410M	07:26:272	19
3	minisat@i5-2410M	09:04:116	-32