Dataset Open Access

Model Counting Competition 2020: Full Instance Set

Johannes Fichte; Markus Hecher; Florim Hamiti


JSON Export

{
  "files": [
    {
      "links": {
        "self": "https://zenodo.org/api/files/0fd44787-898e-4b04-9cb6-0318e24dc78d/MC2020_Track1_Set1_VLSAT_Garavel-Bouvier_2020-03-10.tar"
      }, 
      "checksum": "md5:71331925d0534d68a1bcd54d22b4a9bc", 
      "bucket": "0fd44787-898e-4b04-9cb6-0318e24dc78d", 
      "key": "MC2020_Track1_Set1_VLSAT_Garavel-Bouvier_2020-03-10.tar", 
      "type": "tar", 
      "size": 490465280
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/0fd44787-898e-4b04-9cb6-0318e24dc78d/MC2020_Track1_Set2_Bayes-BSMT-FSYN-PSYN-QIFLOW_Lai-Meel_2020-03-06.pdf"
      }, 
      "checksum": "md5:5f43ae786a3f008718fb9b0aa98a9c69", 
      "bucket": "0fd44787-898e-4b04-9cb6-0318e24dc78d", 
      "key": "MC2020_Track1_Set2_Bayes-BSMT-FSYN-PSYN-QIFLOW_Lai-Meel_2020-03-06.pdf", 
      "type": "pdf", 
      "size": 135591
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/0fd44787-898e-4b04-9cb6-0318e24dc78d/MC2020_Track1_Set2_Bayes-BSMT-FSYN-PSYN-QIFLOW_Lai-Meel_2020-03-06.tar"
      }, 
      "checksum": "md5:8c33654e03c26d3a7b39d0c852a2a7b2", 
      "bucket": "0fd44787-898e-4b04-9cb6-0318e24dc78d", 
      "key": "MC2020_Track1_Set2_Bayes-BSMT-FSYN-PSYN-QIFLOW_Lai-Meel_2020-03-06.tar", 
      "type": "tar", 
      "size": 68792320
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/0fd44787-898e-4b04-9cb6-0318e24dc78d/MC2020_Track1_Set3_PANA_Moehle-Biere-Ge_2020-03-16.pdf"
      }, 
      "checksum": "md5:cb6175a396da7508cc1f23efd704f070", 
      "bucket": "0fd44787-898e-4b04-9cb6-0318e24dc78d", 
      "key": "MC2020_Track1_Set3_PANA_Moehle-Biere-Ge_2020-03-16.pdf", 
      "type": "pdf", 
      "size": 34373
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/0fd44787-898e-4b04-9cb6-0318e24dc78d/MC2020_Track1_Set3_PANA_Moehle-Biere-Ge_2020-03-16.tar"
      }, 
      "checksum": "md5:1334a12fc1b45f0b61f232813f3ba8ab", 
      "bucket": "0fd44787-898e-4b04-9cb6-0318e24dc78d", 
      "key": "MC2020_Track1_Set3_PANA_Moehle-Biere-Ge_2020-03-16.tar", 
      "type": "tar", 
      "size": 87531520
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/0fd44787-898e-4b04-9cb6-0318e24dc78d/MC2020_Track1_Set4_RAND_Spence_2020-03-11.pdf"
      }, 
      "checksum": "md5:d69ca52c189575de8771198f5e124f27", 
      "bucket": "0fd44787-898e-4b04-9cb6-0318e24dc78d", 
      "key": "MC2020_Track1_Set4_RAND_Spence_2020-03-11.pdf", 
      "type": "pdf", 
      "size": 119580
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/0fd44787-898e-4b04-9cb6-0318e24dc78d/MC2020_Track1_Set4_RAND_Spence_2020-03-11.tar"
      }, 
      "checksum": "md5:470760d5acc33c02d6930829ca7b3650", 
      "bucket": "0fd44787-898e-4b04-9cb6-0318e24dc78d", 
      "key": "MC2020_Track1_Set4_RAND_Spence_2020-03-11.tar", 
      "type": "tar", 
      "size": 51200
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/0fd44787-898e-4b04-9cb6-0318e24dc78d/MC2020_Track1_Set5_MRB_Wang-Yin-Xu_2020-03-04.pdf"
      }, 
      "checksum": "md5:40416b27951d5f23b006ea0752ebf284", 
      "bucket": "0fd44787-898e-4b04-9cb6-0318e24dc78d", 
      "key": "MC2020_Track1_Set5_MRB_Wang-Yin-Xu_2020-03-04.pdf", 
      "type": "pdf", 
      "size": 118802
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/0fd44787-898e-4b04-9cb6-0318e24dc78d/MC2020_Track1_Set5_MRB_Wang-Yin-Xu_2020-03-04.tar"
      }, 
      "checksum": "md5:db42af416f96fd4ba85b501d4307e3ed", 
      "bucket": "0fd44787-898e-4b04-9cb6-0318e24dc78d", 
      "key": "MC2020_Track1_Set5_MRB_Wang-Yin-Xu_2020-03-04.tar", 
      "type": "tar", 
      "size": 28364800
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/0fd44787-898e-4b04-9cb6-0318e24dc78d/MC2020_Track1_Set6_Pehoushek_2020_02_04.tar"
      }, 
      "checksum": "md5:2439e47c9fd1ef98261b462d4bc2af78", 
      "bucket": "0fd44787-898e-4b04-9cb6-0318e24dc78d", 
      "key": "MC2020_Track1_Set6_Pehoushek_2020_02_04.tar", 
      "type": "tar", 
      "size": 1402880
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/0fd44787-898e-4b04-9cb6-0318e24dc78d/MC2020_Track1_Set6_Pehoushek_2020_02_14.tar"
      }, 
      "checksum": "md5:8f0fba32f34001575d97338be016416a", 
      "bucket": "0fd44787-898e-4b04-9cb6-0318e24dc78d", 
      "key": "MC2020_Track1_Set6_Pehoushek_2020_02_14.tar", 
      "type": "tar", 
      "size": 1167360
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/0fd44787-898e-4b04-9cb6-0318e24dc78d/MC2020_Track1_Set6_Pehoushek_2020_02_29.tar"
      }, 
      "checksum": "md5:44b5a32b1138b42f47e0fb63e4cf681d", 
      "bucket": "0fd44787-898e-4b04-9cb6-0318e24dc78d", 
      "key": "MC2020_Track1_Set6_Pehoushek_2020_02_29.tar", 
      "type": "tar", 
      "size": 378880
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/0fd44787-898e-4b04-9cb6-0318e24dc78d/MC2020_Track1_Set7_dfremont_26bf90f7fe.tar"
      }, 
      "checksum": "md5:d352e3a432d8dca51a2482d743b01dfa", 
      "bucket": "0fd44787-898e-4b04-9cb6-0318e24dc78d", 
      "key": "MC2020_Track1_Set7_dfremont_26bf90f7fe.tar", 
      "type": "tar", 
      "size": 2903173120
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/0fd44787-898e-4b04-9cb6-0318e24dc78d/MC2020_Track2_gpusat_preprocessed.tar"
      }, 
      "checksum": "md5:3fc94e4e6d44ba5d47ebf262c60a127f", 
      "bucket": "0fd44787-898e-4b04-9cb6-0318e24dc78d", 
      "key": "MC2020_Track2_gpusat_preprocessed.tar", 
      "type": "tar", 
      "size": 260136960
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/0fd44787-898e-4b04-9cb6-0318e24dc78d/MC2020_Track3_Set1-dfremont.tar"
      }, 
      "checksum": "md5:17e54bfeec3a378b591634ab7f082457", 
      "bucket": "0fd44787-898e-4b04-9cb6-0318e24dc78d", 
      "key": "MC2020_Track3_Set1-dfremont.tar", 
      "type": "tar", 
      "size": 1561088000
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/0fd44787-898e-4b04-9cb6-0318e24dc78d/MC2020_Track3_Set2-QBF_Golia-Meel_2020-03-18.pdf"
      }, 
      "checksum": "md5:5c12f397060741881690b3c3e101ed2f", 
      "bucket": "0fd44787-898e-4b04-9cb6-0318e24dc78d", 
      "key": "MC2020_Track3_Set2-QBF_Golia-Meel_2020-03-18.pdf", 
      "type": "pdf", 
      "size": 61731
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/0fd44787-898e-4b04-9cb6-0318e24dc78d/MC2020_Track3_Set2-QBF_Golia-Meel_2020-03-18.tar"
      }, 
      "checksum": "md5:0a1cef8938b21dfeeb54947890bc785b", 
      "bucket": "0fd44787-898e-4b04-9cb6-0318e24dc78d", 
      "key": "MC2020_Track3_Set2-QBF_Golia-Meel_2020-03-18.tar", 
      "type": "tar", 
      "size": 14919680
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/0fd44787-898e-4b04-9cb6-0318e24dc78d/MC2020_Track3_Set3-Neural_Baluta-Shen-Shinde-Meel-Saxena_2020_03_18.pdf"
      }, 
      "checksum": "md5:f4be518785cbabb918b13fcd473aa78a", 
      "bucket": "0fd44787-898e-4b04-9cb6-0318e24dc78d", 
      "key": "MC2020_Track3_Set3-Neural_Baluta-Shen-Shinde-Meel-Saxena_2020_03_18.pdf", 
      "type": "pdf", 
      "size": 86674
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/0fd44787-898e-4b04-9cb6-0318e24dc78d/MC2020_Track3_Set3-Neural_Baluta-Shen-Shinde-Meel-Saxena_2020_03_18.tar"
      }, 
      "checksum": "md5:6a030c8cadb199c7c1cc73fa570c18bb", 
      "bucket": "0fd44787-898e-4b04-9cb6-0318e24dc78d", 
      "key": "MC2020_Track3_Set3-Neural_Baluta-Shen-Shinde-Meel-Saxena_2020_03_18.tar", 
      "type": "tar", 
      "size": 3051304960
    }
  ], 
  "owners": [
    48002
  ], 
  "doi": "10.5281/zenodo.4292168", 
  "stats": {
    "version_unique_downloads": 89.0, 
    "unique_views": 105.0, 
    "views": 121.0, 
    "version_views": 121.0, 
    "unique_downloads": 89.0, 
    "version_unique_views": 105.0, 
    "volume": 47172776523.0, 
    "version_downloads": 172.0, 
    "downloads": 172.0, 
    "version_volume": 47172776523.0
  }, 
  "links": {
    "doi": "https://doi.org/10.5281/zenodo.4292168", 
    "conceptdoi": "https://doi.org/10.5281/zenodo.4292167", 
    "bucket": "https://zenodo.org/api/files/0fd44787-898e-4b04-9cb6-0318e24dc78d", 
    "conceptbadge": "https://zenodo.org/badge/doi/10.5281/zenodo.4292167.svg", 
    "html": "https://zenodo.org/record/4292168", 
    "latest_html": "https://zenodo.org/record/4292168", 
    "badge": "https://zenodo.org/badge/doi/10.5281/zenodo.4292168.svg", 
    "latest": "https://zenodo.org/api/records/4292168"
  }, 
  "conceptdoi": "10.5281/zenodo.4292167", 
  "created": "2020-11-27T08:19:27.867435+00:00", 
  "updated": "2020-11-27T12:27:18.562458+00:00", 
  "conceptrecid": "4292167", 
  "revision": 2, 
  "id": 4292168, 
  "metadata": {
    "access_right_category": "success", 
    "doi": "10.5281/zenodo.4292168", 
    "description": "<p>The dataset contains all instances that the organizers of the competition received or collected during the preparation phase&nbsp;of the Model Counting Competition 2020. The dataset includes short benchmark descriptions by the submitters.</p>\n\n<p>For a more details, we refer to the report<br>\nFichte, Hecher, Hamiti: The Model Counting Competition 2020 on ArXiv.</p>", 
    "contributors": [
      {
        "affiliation": "Univ. Grenoble Alpes, INRIA", 
        "type": "DataCollector", 
        "name": "Pierre Bouvier"
      }, 
      {
        "affiliation": "Univ. Grenoble Alpes, INRIA", 
        "type": "DataCollector", 
        "name": "Hubert Garavel"
      }, 
      {
        "affiliation": "Jilin University", 
        "type": "DataCollector", 
        "name": "Yong Lai"
      }, 
      {
        "affiliation": "IIT Kanpur", 
        "type": "DataCollector", 
        "name": "Priyanka Golia"
      }, 
      {
        "affiliation": "NUS", 
        "type": "DataCollector", 
        "name": "Kuldeep S. Meel"
      }, 
      {
        "affiliation": "JKU Linz", 
        "type": "DataCollector", 
        "name": "Sybille Moehle"
      }, 
      {
        "affiliation": "JKU Linz", 
        "type": "DataCollector", 
        "name": "Cunjing Ge"
      }, 
      {
        "affiliation": "JKU Linz", 
        "type": "DataCollector", 
        "name": "Armin Biere"
      }, 
      {
        "affiliation": "Queen's University Belfast", 
        "type": "DataCollector", 
        "name": "Ivor Spence"
      }, 
      {
        "affiliation": "Northeast Normal University", 
        "type": "DataCollector", 
        "name": "Minghao Yin"
      }, 
      {
        "affiliation": "Northeast Normal University", 
        "type": "DataCollector", 
        "name": "Yiyuan Wang"
      }, 
      {
        "affiliation": "Beihang University", 
        "type": "DataCollector", 
        "name": "Ke Xu"
      }, 
      {
        "type": "DataCollector", 
        "name": "Daniel Pehoushek"
      }, 
      {
        "affiliation": "UC Santa Cruz", 
        "type": "DataCollector", 
        "name": "Daniel Fremont"
      }, 
      {
        "affiliation": "NUS", 
        "type": "DataCollector", 
        "name": "Priyanka Golia"
      }, 
      {
        "affiliation": "NUS", 
        "type": "DataCollector", 
        "name": "Teodora Baluta"
      }, 
      {
        "affiliation": "NUS", 
        "type": "DataCollector", 
        "name": "Shiqi Shen"
      }, 
      {
        "affiliation": "UC Berkeley", 
        "type": "DataCollector", 
        "name": "Shweta Shinde"
      }, 
      {
        "affiliation": "NUS", 
        "type": "DataCollector", 
        "name": "Prateek Saxena"
      }
    ], 
    "title": "Model Counting Competition 2020: Full Instance Set", 
    "license": {
      "id": "CC-BY-4.0"
    }, 
    "relations": {
      "version": [
        {
          "count": 1, 
          "index": 0, 
          "parent": {
            "pid_type": "recid", 
            "pid_value": "4292167"
          }, 
          "is_last": true, 
          "last_child": {
            "pid_type": "recid", 
            "pid_value": "4292168"
          }
        }
      ]
    }, 
    "language": "eng", 
    "publication_date": "2020-11-26", 
    "creators": [
      {
        "affiliation": "TU Dresden", 
        "name": "Johannes Fichte"
      }, 
      {
        "affiliation": "TU Wien", 
        "name": "Markus Hecher"
      }, 
      {
        "affiliation": "TU Dresden", 
        "name": "Florim Hamiti"
      }
    ], 
    "access_right": "open", 
    "resource_type": {
      "type": "dataset", 
      "title": "Dataset"
    }, 
    "related_identifiers": [
      {
        "scheme": "doi", 
        "identifier": "10.5281/zenodo.4292167", 
        "relation": "isVersionOf"
      }
    ]
  }
}
121
172
views
downloads
All versions This version
Views 121121
Downloads 172172
Data volume 47.2 GB47.2 GB
Unique views 105105
Unique downloads 8989

Share

Cite as