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/
Name | Size | |
---|---|---|
MC2020_Solvers.tar.bz2
md5:b8eac201549e7a4aaba7e07409680990 |
131.3 MB | Download |
All versions | This version | |
---|---|---|
Views | 350 | 350 |
Downloads | 118 | 118 |
Data volume | 15.5 GB | 15.5 GB |
Unique views | 295 | 295 |
Unique downloads | 116 | 116 |