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
49
88
views
downloads
All versions This version
Views 4949
Downloads 8888
Data volume 28.1 GB28.1 GB
Unique views 4040
Unique downloads 3333

Share

Cite as