Published May 6, 2020 | Version 1.0
Dataset Open

Model Counting and Uniform Sampling Instances

  • 1. National University of Singapore


These instances mainly consist of the formulas that have been used in the evaluation of recent model counting techniques. A significant set of benchmarks involving sampling set, i.e., they are meant for projected model counting.

The specification for reading such files can be found at

Here is list of some of the papers that have reported results on these instances:

1. BIRD: Engineering an Efficient CNF-XOR SAT Solver and its Applications to Approximate Model Counting
Mate Soos and Kuldeep S. Meel
Proceedings of AAAI Conference on Artificial Intelligence (AAAI), 2019.

2. Accelerating Approximate Techniques for Counting and Sampling Models Through Refined CNF-XOR Solving
Mate Soos, Stephan Gocht, and Kuldeep S. Meel
Proceedings of International Conference on Computer-Aided Verification (CAV), 2020.


Files (1.2 GB)

Name Size Download all
1.2 GB Download

Additional details

Related works

Is derived from
Conference paper: (URL)