SATLIB
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Maximum Independent Set | SATLIB | MIS Size425.96 | 35 | |
| Maximal Independent Set | SATLIB SAT instances in CNF (test) | MIS Size425.96 | 7 | |
| Approximate Model Counting | SATLIB | RMSE0.05 | 3 |
Showing 3 of 3 rows
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Maximum Independent Set | SATLIB | MIS Size425.96 | 35 | |
| Maximal Independent Set | SATLIB SAT instances in CNF (test) | MIS Size425.96 | 7 | |
| Approximate Model Counting | SATLIB | RMSE0.05 | 3 |