Model Counting on 3194 benchmark instances (aggregate of 10 datasets)
1,552Solved Count
XCount
Updated 20d ago
Evaluation Results
| Method | Links | ||
|---|---|---|---|
2026.05 | 1,552 | 1,937.474 | |
2026.05 | 721 | 2,901.421 | |
2026.05 | 579 | 3,005.374 | |
2026.05 | 153 | 3,428.461 |
XCount
| Method | Links | ||
|---|---|---|---|
2026.05 | 1,552 | 1,937.474 | |
2026.05 | 721 | 2,901.421 | |
2026.05 | 579 | 3,005.374 | |
2026.05 | 153 | 3,428.461 |