minisat@i5-2410M
Source Code
Rating: 1498
Minisat running on my old laptop.
Match History
| Match | Rank | Rating Change |
|---|---|---|
| Dec. 22, 2024, 3:45 p.m. | 2 | -53 |
| Dec. 22, 2024, 2:45 p.m. | 1 | 73 |
| Dec. 22, 2024, 1:45 p.m. | 2 | 37 |