{ "access": { "embargo": { "active": false, "reason": null }, "files": "public", "record": "public", "status": "open" }, "created": "2021-06-29T17:53:32.763339+00:00", "custom_fields": {}, "deletion_status": { "is_deleted": false, "status": "P" }, "files": { "count": 3, "enabled": true, "entries": { "track1-mc_all.tar": { "checksum": "md5:24244ed860ea001803657d5107604797", "ext": "tar", "id": "449f6d66-1b84-4347-bec8-86f84f5e6c6b", "key": "track1-mc_all.tar", "metadata": null, "mimetype": "application/x-tar", "size": 43837440 }, "track2-wmc_all.tar": { "checksum": "md5:b2ae72eb328f9c4c5b90edd522d0d86c", "ext": "tar", "id": "b0fe8c30-e820-4b73-bbc5-3adec4b57fe7", "key": "track2-wmc_all.tar", "metadata": null, "mimetype": "application/x-tar", "size": 3092480 }, "track3-pmc_all.tar": { "checksum": "md5:20d4408237c630fe95fc74dfb7a325d9", "ext": "tar", "id": "353ac7a1-eb91-4040-b6cb-c4f1775f1fed", "key": "track3-pmc_all.tar", "metadata": null, "mimetype": "application/x-tar", "size": 757683200 } }, "order": [], "total_bytes": 804613120 }, "id": "5042328", "is_draft": false, "is_published": true, "links": { "access": "https://zenodo.org/api/records/5042328/access", "access_links": "https://zenodo.org/api/records/5042328/access/links", "access_request": "https://zenodo.org/api/records/5042328/access/request", "access_users": "https://zenodo.org/api/records/5042328/access/users", "archive": "https://zenodo.org/api/records/5042328/files-archive", "archive_media": "https://zenodo.org/api/records/5042328/media-files-archive", "communities": "https://zenodo.org/api/records/5042328/communities", "communities-suggestions": "https://zenodo.org/api/records/5042328/communities-suggestions", "doi": "https://doi.org/10.5281/zenodo.5042328", "draft": "https://zenodo.org/api/records/5042328/draft", "files": "https://zenodo.org/api/records/5042328/files", "latest": "https://zenodo.org/api/records/5042328/versions/latest", "latest_html": "https://zenodo.org/records/5042328/latest", "media_files": "https://zenodo.org/api/records/5042328/media-files", "parent": "https://zenodo.org/api/records/3934426", "parent_doi": "https://zenodo.org/doi/10.5281/zenodo.3934426", "parent_html": "https://zenodo.org/records/3934426", "requests": "https://zenodo.org/api/records/5042328/requests", "reserve_doi": "https://zenodo.org/api/records/5042328/draft/pids/doi", "self": "https://zenodo.org/api/records/5042328", "self_doi": "https://zenodo.org/doi/10.5281/zenodo.5042328", "self_html": "https://zenodo.org/records/5042328", "self_iiif_manifest": "https://zenodo.org/api/iiif/record:5042328/manifest", "self_iiif_sequence": "https://zenodo.org/api/iiif/record:5042328/sequence/default", "versions": "https://zenodo.org/api/records/5042328/versions" }, "media_files": { "count": 0, "enabled": false, "entries": {}, "order": [], "total_bytes": 0 }, "metadata": { "creators": [ { "affiliations": [ { "name": "TU Dresden" } ], "person_or_org": { "family_name": "Johannes K. Fichte", "name": "Johannes K. Fichte", "type": "personal" } }, { "affiliations": [ { "name": "TU Wien" } ], "person_or_org": { "family_name": "Markus Hecher", "name": "Markus Hecher", "type": "personal" } }, { "affiliations": [ { "name": "TU Dresden" } ], "person_or_org": { "family_name": "Florim Hamiti", "name": "Florim Hamiti", "type": "personal" } } ], "description": "
Instances for the Model Counting Competition 2020
\n\n- Track 1 (Model Counting)
\n- Track 2 (Weighted Model Counting)
\n- Track 3 (Projected Model Counting)
\nThe even instances (trackX_000.mcc2020_cnf, trackX_000.mcc2020_cnf, ...) were made public for all participants during the testing phase of the solvers, whereas the private instances (trackX_001.mcc2020_cnf, trackX_003.mcc2020_cnf, ...) were used for the final evaluation and disclosed after the submission. For details, we refer to: https://mccompetition.org/2020/mc_description.
\nInstances originate from various publicly available data sets and submissions made after a call for benchmarks. The full instances from which we selected is available on Zenodo under Model Counting Competition 2020: Full Instance Set.
\nDetails will be made public in the MCC2020 report (Fichte, Hecher, Hamiti: The Model Counting Competition 2020).