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

Rank	Solver	Time	Rating Change
1	glucose@rk3558	13:24:044	39
2	kissat@rk3588	13:37:729	15
3	kissat@i5-2410M	18:54:678	-7