Propositional Model Counting

There is a newer version of the record available.

Published November 26, 2020 | Version v1
Dataset Open

Model Counting Competition 2020: Full Instance Set

Creators

  • 1. TU Dresden
  • 2. TU Wien

Contributors

  • 1. Univ. Grenoble Alpes, INRIA
  • 2. Jilin University
  • 3. IIT Kanpur
  • 4. NUS
  • 5. JKU Linz
  • 6. Queen's University Belfast
  • 7. Northeast Normal University
  • 8. Beihang University
  • 9. UC Santa Cruz
  • 10. UC Berkeley

Description

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

MC2020_Track1_Set2_Bayes-BSMT-FSYN-PSYN-QIFLOW_Lai-Meel_2020-03-06.pdf

Files (8.5 GB)

Name Size Download all
md5:71331925d0534d68a1bcd54d22b4a9bc
490.5 MB Download
md5:5f43ae786a3f008718fb9b0aa98a9c69
135.6 kB Preview Download
md5:8c33654e03c26d3a7b39d0c852a2a7b2
68.8 MB Download
md5:cb6175a396da7508cc1f23efd704f070
34.4 kB Preview Download
md5:1334a12fc1b45f0b61f232813f3ba8ab
87.5 MB Download
md5:d69ca52c189575de8771198f5e124f27
119.6 kB Preview Download
md5:470760d5acc33c02d6930829ca7b3650
51.2 kB Download
md5:40416b27951d5f23b006ea0752ebf284
118.8 kB Preview Download
md5:db42af416f96fd4ba85b501d4307e3ed
28.4 MB Download
md5:2439e47c9fd1ef98261b462d4bc2af78
1.4 MB Download
md5:8f0fba32f34001575d97338be016416a
1.2 MB Download
md5:44b5a32b1138b42f47e0fb63e4cf681d
378.9 kB Download
md5:d352e3a432d8dca51a2482d743b01dfa
2.9 GB Download
md5:3fc94e4e6d44ba5d47ebf262c60a127f
260.1 MB Download
md5:17e54bfeec3a378b591634ab7f082457
1.6 GB Download
md5:5c12f397060741881690b3c3e101ed2f
61.7 kB Preview Download
md5:0a1cef8938b21dfeeb54947890bc785b
14.9 MB Download
md5:f4be518785cbabb918b13fcd473aa78a
86.7 kB Preview Download
md5:6a030c8cadb199c7c1cc73fa570c18bb
3.1 GB Download