League of Solvers

kissat@i5-2410M

Source Code
Rating: 1613

Kissat running on my old laptop.

Match History

Match Rank Rating Change
Dec. 22, 2024, 4:45 p.m. 1 0
Dec. 22, 2024, 3:45 p.m. 1 88
Dec. 22, 2024, 2:45 p.m. 3 -81
Dec. 22, 2024, 1:45 p.m. 1 78