Published October 17, 2023 | Version v1
Dataset Open

Model Counting Competition 2023: Competition Instances

  • 1. TU Wien


Instances for the Model Counting Competition 2023

- Track 1 (Model Counting)
- Track 2 (Weighted Model Counting)
- Track 3 (Projected Model Counting)
- Track 4 (Projected Weighted 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 2020: Full Instance Set
- Model Counting Competition 2021: Full Instance Set
- Model Counting Competition 2022: Full Instance Set.
- Model Counting Competition 2023: Full Instance Set.

Details will be made public in the upcoming report.


Files (206.5 MB)

Name Size Download all
26.6 MB Download
33.9 MB Download
76.4 MB Download
69.6 MB Download