Model Counting Competition 2020: Full Instance Set
Contributors
- 1. Univ. Grenoble Alpes, INRIA
- 2. Jilin University
- 3. IIT Kanpur
- 4. NUS
- 5. JKU Linz
- 6. Queen's University Belfast
- 7. Northeast Normal University
- 8. Beihang University
- 9. UC Santa Cruz
- 10. UC Berkeley
Description
The dataset contains all instances that the organizers of the competition received or collected during the preparation phase of the Model Counting Competition 2020. The dataset includes short benchmark descriptions (00_description.{pdf,txt,md}) by the submitters/collectors (00_authors.txt).
For a more details, we refer to the report
Fichte, Hecher, Hamiti: The Model Counting Competition 2020.
-----
Changelog:
2023-10-17 (v2): We updated the instances to the most recent competition format in preparation for the report on the competitions 2021-2023. Note that the old instance set contained various instances with incorrect headers (less variables or clauses than in the actual data), unterminated lines, or a few broken lines. We corrected these instances by scripts that are available on github (daajoe:mc_format_tools).
Files
Files
(2.1 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:c69a07dc1f1fed5cdbc434d005ea5752
|
377.0 MB | Download |
|
md5:418f772ab6a56f9cc591989574fe41f4
|
13.7 MB | Download |
|
md5:b7da491596c014ccb73e93b454433c97
|
1.7 GB | Download |
Additional details
Identifiers
- DOI
- 10.1145/3459080
- arXiv
- arXiv:2012.01323