Published October 17, 2023 | Version v1
Dataset Open

Model Counting Competition 2021: Competition Instances

  • 1. TU Wien


Instances for the Model Counting Competition 2021

- Track 1 (Model Counting)
- Track 2 (Weighted Model Counting)
- Track 3 (Projected Model Counting)
- Track 4 (Model Counting)

The even instances (trackX_000.cnf, trackX_002.cnf, ...) were made public for all participants during the testing phase of the solvers, whereas the private instances (trackX_001.cnf, trackX_003.cnf, ...) were used for the final evaluation and disclosed after the submission.  

For details, we refer to:

Instances originate from various publicly available data sets and submissions made after a call for benchmarks. The full instances from which we selected is available on Zenodo under 
- Model Counting Competition 2021: Full Instance Set

Details will be made public in the upcoming report.


Files (213.7 MB)

Name Size Download all
31.0 MB Download
14.1 MB Download
135.2 MB Download
33.4 MB Download