Dataset Open Access
Johannes Fichte; Markus Hecher; Florim Hamiti
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 by the submitters.
For a more details, we refer to the report
Fichte, Hecher, Hamiti: The Model Counting Competition 2020 on ArXiv.
All versions | This version | |
---|---|---|
Views | 49 | 49 |
Downloads | 88 | 88 |
Data volume | 28.1 GB | 28.1 GB |
Unique views | 40 | 40 |
Unique downloads | 33 | 33 |