Dataset Open Access

Model Counting Competition 2020: Full Instance Set

Johannes Fichte; Markus Hecher; Florim Hamiti

Data collector(s)
Pierre Bouvier; Hubert Garavel; Yong Lai; Priyanka Golia; Kuldeep S. Meel; Sybille Moehle; Cunjing Ge; Armin Biere; Ivor Spence; Minghao Yin; Yiyuan Wang; Ke Xu; Daniel Pehoushek; Daniel Fremont; Priyanka Golia; Teodora Baluta; Shiqi Shen; Shweta Shinde; Prateek Saxena

The dataset contains all instances that the organizers of the competition received or collected during the preparation phase of the Model Counting Competition 2020. The dataset includes short benchmark descriptions by the submitters.

For a more details, we refer to the report
Fichte, Hecher, Hamiti: The Model Counting Competition 2020 on ArXiv.

Files (8.5 GB)
Name Size
MC2020_Track1_Set1_VLSAT_Garavel-Bouvier_2020-03-10.tar
md5:71331925d0534d68a1bcd54d22b4a9bc 		490.5 MB Download
MC2020_Track1_Set2_Bayes-BSMT-FSYN-PSYN-QIFLOW_Lai-Meel_2020-03-06.pdf
md5:5f43ae786a3f008718fb9b0aa98a9c69 		135.6 kB Download
MC2020_Track1_Set2_Bayes-BSMT-FSYN-PSYN-QIFLOW_Lai-Meel_2020-03-06.tar
md5:8c33654e03c26d3a7b39d0c852a2a7b2 		68.8 MB Download
MC2020_Track1_Set3_PANA_Moehle-Biere-Ge_2020-03-16.pdf
md5:cb6175a396da7508cc1f23efd704f070 		34.4 kB Download
MC2020_Track1_Set3_PANA_Moehle-Biere-Ge_2020-03-16.tar
md5:1334a12fc1b45f0b61f232813f3ba8ab 		87.5 MB Download
MC2020_Track1_Set4_RAND_Spence_2020-03-11.pdf
md5:d69ca52c189575de8771198f5e124f27 		119.6 kB Download
MC2020_Track1_Set4_RAND_Spence_2020-03-11.tar
md5:470760d5acc33c02d6930829ca7b3650 		51.2 kB Download
MC2020_Track1_Set5_MRB_Wang-Yin-Xu_2020-03-04.pdf
md5:40416b27951d5f23b006ea0752ebf284 		118.8 kB Download
MC2020_Track1_Set5_MRB_Wang-Yin-Xu_2020-03-04.tar
md5:db42af416f96fd4ba85b501d4307e3ed 		28.4 MB Download
MC2020_Track1_Set6_Pehoushek_2020_02_04.tar
md5:2439e47c9fd1ef98261b462d4bc2af78 		1.4 MB Download
MC2020_Track1_Set6_Pehoushek_2020_02_14.tar
md5:8f0fba32f34001575d97338be016416a 		1.2 MB Download
MC2020_Track1_Set6_Pehoushek_2020_02_29.tar
md5:44b5a32b1138b42f47e0fb63e4cf681d 		378.9 kB Download
MC2020_Track1_Set7_dfremont_26bf90f7fe.tar
md5:d352e3a432d8dca51a2482d743b01dfa 		2.9 GB Download
MC2020_Track2_gpusat_preprocessed.tar
md5:3fc94e4e6d44ba5d47ebf262c60a127f 		260.1 MB Download
MC2020_Track3_Set1-dfremont.tar
md5:17e54bfeec3a378b591634ab7f082457 		1.6 GB Download
MC2020_Track3_Set2-QBF_Golia-Meel_2020-03-18.pdf
md5:5c12f397060741881690b3c3e101ed2f 		61.7 kB Download
MC2020_Track3_Set2-QBF_Golia-Meel_2020-03-18.tar
md5:0a1cef8938b21dfeeb54947890bc785b 		14.9 MB Download
MC2020_Track3_Set3-Neural_Baluta-Shen-Shinde-Meel-Saxena_2020_03_18.pdf
md5:f4be518785cbabb918b13fcd473aa78a 		86.7 kB Download
MC2020_Track3_Set3-Neural_Baluta-Shen-Shinde-Meel-Saxena_2020_03_18.tar
md5:6a030c8cadb199c7c1cc73fa570c18bb 		3.1 GB Download
222
350
views
downloads
All versions This version
Views 222222
Downloads 350350
Data volume 144.6 GB144.6 GB
Unique views 186186
Unique downloads 177177
More info on how stats are collected.
Indexed in
Publication date:
November 26, 2020
DOI:
10.5281/zenodo.4292168

Zenodo DOI Badge

DOI 

10.5281/zenodo.4292168

Markdown 

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

reStructedText 

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

HTML 

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

Image URL 

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

Target URL 

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

License (for files):
Creative Commons Attribution 4.0 International

Versions

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

Share

Cite as

Export