Combinatorial Counting on Cofola Real-world problems benchmark
211Solved Instances (set)Cofola-WFOMC
Evaluation Results
| Method | Links | ||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Cofola-WFOMCtimeout=100 seconds2026.05 | 211 | 1.14 | 50 | 1.19 | 65 | 0.83 | 26 | 5.66 | 25 | 0.95 | 17 | 0.51 | 24 | 0.54 | |
| CNF-Ganaktimeout=100 seconds2026.05 | 210 | 3.14 | 50 | 2.77 | 64 | 5.03 | 26 | 6.23 | 24 | 1.79 | 17 | 0.49 | 24 | 0.73 | |
| CoLa-CoSotimeout=100 seconds2026.05 | 103 | 0.61 | 40 | 0.15 | 43 | 0.24 | — | — | — | — | 15 | 0.13 | 18 | 0.6 | |
| ESSENCE-Conjuretimeout=100 seconds2026.05 | 98 | 5.1 | 24 | 2.49 | 52 | 4.3 | — | — | — | — | — | — | — | — | |
| ASP-Clingotimeout=100 seconds2026.05 | 97 | 0.57 | 20 | 1.18 | 47 | 1.09 | — | — | — | — | — | — | — | — |