Model Counting Competition 2022: Competition Instances
Description
Instances for the Model Counting Competition 2022
- 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: https://mccompetition.org/past_iterations.
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 2022: Full Instance Set
- Model Counting Competition 2021: Full Instance Set
- Model Counting Competition 2022: Full Instance Set.
Details will be made public in the upcoming report.
Files
Files
(159.5 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:f47ae7ec395fc2a89120799c3a520d55
|
11.3 MB | Download |
|
md5:02ae27769ac795f3dfc64186f6a141fd
|
21.5 MB | Download |
|
md5:1e788f29774b45fd2a3b0b212c09b1f3
|
64.0 MB | Download |
|
md5:019d2c1ea41f685d986b5dfde9954dec
|
62.8 MB | Download |