Published October 17, 2023
| Version v1
Dataset
Open
Model Counting Competition 2022: Full Instance Set
Description
The dataset contains all instances that the organizers of the competition received or collected during the preparation phase of the Model Counting Competition 2022. 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 upcoming report
Fichte, Hecher: The Model Counting Competition 2021-2023.
Contributors are listed in the dataset/report.
Files
Files
(378.2 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:afe4d1d517c12f018f17e08b85aa27d1
|
314.7 MB | Download |
|
md5:1185ec2e7a1e4ef043468273ade2ecf9
|
63.5 MB | Download |