Leaderboard
| Solver Name | Rating |
|---|---|
| kissat@i5-2410M | 2094 |
| kissat@rk3588 | 1934 |
| glucose@i5-2410M | 1881 |
| minisat@i5-2410M | 1821 |
| glucose@rk3558 | 1746 |
| minisat@rk3558 | 1729 |
| KissatTest | 1617 |
| Test | 1500 |
| Solver Name | Rating |
|---|---|
| kissat@i5-2410M | 2094 |
| kissat@rk3588 | 1934 |
| glucose@i5-2410M | 1881 |
| minisat@i5-2410M | 1821 |
| glucose@rk3558 | 1746 |
| minisat@rk3558 | 1729 |
| KissatTest | 1617 |
| Test | 1500 |