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 |