Benchmarks
| CNF | BayesianNetwork |
| bmc | |
| circuit | |
| Configuration | |
| Handmade | |
| Planning | |
| qif | |
| random | |
| scheduling |
| CSP | benchmarks cn2mddg |
| Probabilistic Inference | bn2o |
| diagnose | |
| ForUAI | |
| grids2 | |
| linkage | |
| promedas | |
| relational | |
| uai2014 |
| Projected Model Counting | Planning |
| CNF | BayesianNetwork |
| bmc | |
| circuit | |
| Configuration | |
| Handmade | |
| Planning | |
| qif | |
| random | |
| scheduling |
| CSP | benchmarks cn2mddg |
| Probabilistic Inference | bn2o |
| diagnose | |
| ForUAI | |
| grids2 | |
| linkage | |
| promedas | |
| relational | |
| uai2014 |
| Projected Model Counting | Planning |