Dataset Open Access
Johannes Fichte; Markus Hecher; Florim Hamiti
The dataset contains the submissions that have been evaluated in the Model Counting Competition 2020 on the tracks:
- Track 1 (Model Counting)
- Track 2 (Weighted Model Counting)
- Track 3 (Projected Model Counting)
Details will be made public in the MCC2020 report (Fichte, Hecher, Hamiti: The Model Counting Competition 2020).
We also refer to the competition website: https://mccompetition.org/