Model Counting and Uniform Sampling Instances

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 https://github.com/meelgroup/approxmc

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.