kissat@i5-2410M
Source Code
Rating: 2094
Kissat running on my old laptop.
Kissat running on my old laptop.