Dataset Open Access

Model Counting Competition 2020: Submitted Solvers

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/

Files (131.3 MB)
Name Size
MC2020_Solvers.tar.bz2
md5:b8eac201549e7a4aaba7e07409680990
131.3 MB Download
142
47
views
downloads
All versions This version
Views 142142
Downloads 4747
Data volume 6.2 GB6.2 GB
Unique views 127127
Unique downloads 4747

Share

Cite as