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.