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
44
10
views
downloads
All versions This version
Views 4444
Downloads 1010
Data volume 1.3 GB1.3 GB
Unique views 3939
Unique downloads 1010

Share

Cite as