Model Counting on 3194 benchmark instances (aggregate of 10 datasets)
1,552Solved CountXCount
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| XCount2026.05 | 1,552 | 1,937.474 | |
| Ganak2026.05 | 721 | 2,901.421 | |
| ApproxMC2026.05 | 579 | 3,005.374 | |
| ADD-baseline2026.05 | 153 | 3,428.461 |
Loading the SOTA2 catalog…