Combinatorial Counting on Synthetic-suite
56Solved Count (Set)Cofola-WFOMC
Evaluation results
| Method | Links | ||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Cofola-WFOMC2026.05 | 56 | 5.76 | 52 | 6.2 | 36 | 4.64 | 15 | 10.75 | 18 | 6.98 | 22 | 7.76 | 18 | 6.74 | |
| CNF-Ganak2026.05 | 54 | 10.65 | 47 | 8.54 | 34 | 10.57 | 14 | 14.72 | 13 | 5.74 | 20 | 16.98 | 18 | 12.9 | |
| CoLa-CoSo2026.05 | 15 | 1.75 | 15 | 0.2 | 11 | 2.31 | — | — | 1 | 0.23 | 8 | 2.64 | 5 | 0.17 | |
| ASP-Clingo2026.05 | 11 | 1.7 | 11 | 0.18 | 6 | 2.96 | — | — | 1 | 0.21 | 3 | 0.17 | 1 | 0.21 | |
| ESSENCE-Conjure2026.05 | 10 | 4.12 | 9 | 0.93 | 6 | 5.46 | — | — | 1 | 0.21 | 3 | 0.17 | 1 | 0.21 |