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
350
118
views
downloads
All versions This version
Views 350350
Downloads 118118
Data volume 15.5 GB15.5 GB
Unique views 295295
Unique downloads 116116
More info on how stats are collected.
Indexed in
Publication date:
November 26, 2020
DOI:
10.5281/zenodo.4292581

Zenodo DOI Badge

DOI 

10.5281/zenodo.4292581

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.4292581.svg)](https://doi.org/10.5281/zenodo.4292581)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.4292581.svg
   :target: https://doi.org/10.5281/zenodo.4292581

HTML 

<a href="https://doi.org/10.5281/zenodo.4292581"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.4292581.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.4292581.svg

Target URL 

https://doi.org/10.5281/zenodo.4292581

License (for files):
Creative Commons Attribution 4.0 International

Versions

Version 1 10.5281/zenodo.4292581 Nov 26, 2020
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.4292580. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export