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.<br> <br> The specification for reading such files can be found at https://github.com/meelgroup/approxmc<br> <br> 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<br> Mate Soos and Kuldeep S. Meel<br> Proceedings of AAAI Conference on Artificial Intelligence (AAAI), 2019. 2. Accelerating Approximate Techniques for Counting and Sampling Models Through Refined CNF-XOR Solving<br> Mate Soos, Stephan Gocht, and Kuldeep S. Meel<br> Proceedings of International Conference on Computer-Aided Verification (CAV), 2020.<br>