Published November 26, 2020
| Version v1
Dataset
Open
Model Counting Competition 2020: Full Instance Set
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 | |
|---|---|---|
|
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 |