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
205
80
views
downloads
All versions This version
Views 205205
Downloads 8080
Data volume 10.5 GB10.5 GB
Unique views 187187
Unique downloads 7878

Share

Cite as