Dataset Open Access

Model Counting Competition 2020: Full Instance Set

Johannes Fichte; Markus Hecher; Florim Hamiti


JSON-LD (schema.org) Export

{
  "inLanguage": {
    "alternateName": "eng", 
    "@type": "Language", 
    "name": "English"
  }, 
  "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>", 
  "license": "https://creativecommons.org/licenses/by/4.0/legalcode", 
  "creator": [
    {
      "affiliation": "TU Dresden", 
      "@type": "Person", 
      "name": "Johannes Fichte"
    }, 
    {
      "affiliation": "TU Wien", 
      "@type": "Person", 
      "name": "Markus Hecher"
    }, 
    {
      "affiliation": "TU Dresden", 
      "@type": "Person", 
      "name": "Florim Hamiti"
    }
  ], 
  "url": "https://zenodo.org/record/4292168", 
  "datePublished": "2020-11-26", 
  "contributor": [
    {
      "affiliation": "Univ. Grenoble Alpes, INRIA", 
      "@type": "Person", 
      "name": "Pierre Bouvier"
    }, 
    {
      "affiliation": "Univ. Grenoble Alpes, INRIA", 
      "@type": "Person", 
      "name": "Hubert Garavel"
    }, 
    {
      "affiliation": "Jilin University", 
      "@type": "Person", 
      "name": "Yong Lai"
    }, 
    {
      "affiliation": "IIT Kanpur", 
      "@type": "Person", 
      "name": "Priyanka Golia"
    }, 
    {
      "affiliation": "NUS", 
      "@type": "Person", 
      "name": "Kuldeep S. Meel"
    }, 
    {
      "affiliation": "JKU Linz", 
      "@type": "Person", 
      "name": "Sybille Moehle"
    }, 
    {
      "affiliation": "JKU Linz", 
      "@type": "Person", 
      "name": "Cunjing Ge"
    }, 
    {
      "affiliation": "JKU Linz", 
      "@type": "Person", 
      "name": "Armin Biere"
    }, 
    {
      "affiliation": "Queen's University Belfast", 
      "@type": "Person", 
      "name": "Ivor Spence"
    }, 
    {
      "affiliation": "Northeast Normal University", 
      "@type": "Person", 
      "name": "Minghao Yin"
    }, 
    {
      "affiliation": "Northeast Normal University", 
      "@type": "Person", 
      "name": "Yiyuan Wang"
    }, 
    {
      "affiliation": "Beihang University", 
      "@type": "Person", 
      "name": "Ke Xu"
    }, 
    {
      "@type": "Person", 
      "name": "Daniel Pehoushek"
    }, 
    {
      "affiliation": "UC Santa Cruz", 
      "@type": "Person", 
      "name": "Daniel Fremont"
    }, 
    {
      "affiliation": "NUS", 
      "@type": "Person", 
      "name": "Priyanka Golia"
    }, 
    {
      "affiliation": "NUS", 
      "@type": "Person", 
      "name": "Teodora Baluta"
    }, 
    {
      "affiliation": "NUS", 
      "@type": "Person", 
      "name": "Shiqi Shen"
    }, 
    {
      "affiliation": "UC Berkeley", 
      "@type": "Person", 
      "name": "Shweta Shinde"
    }, 
    {
      "affiliation": "NUS", 
      "@type": "Person", 
      "name": "Prateek Saxena"
    }
  ], 
  "@context": "https://schema.org/", 
  "distribution": [
    {
      "contentUrl": "https://zenodo.org/api/files/0fd44787-898e-4b04-9cb6-0318e24dc78d/MC2020_Track1_Set1_VLSAT_Garavel-Bouvier_2020-03-10.tar", 
      "encodingFormat": "tar", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/0fd44787-898e-4b04-9cb6-0318e24dc78d/MC2020_Track1_Set2_Bayes-BSMT-FSYN-PSYN-QIFLOW_Lai-Meel_2020-03-06.pdf", 
      "encodingFormat": "pdf", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/0fd44787-898e-4b04-9cb6-0318e24dc78d/MC2020_Track1_Set2_Bayes-BSMT-FSYN-PSYN-QIFLOW_Lai-Meel_2020-03-06.tar", 
      "encodingFormat": "tar", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/0fd44787-898e-4b04-9cb6-0318e24dc78d/MC2020_Track1_Set3_PANA_Moehle-Biere-Ge_2020-03-16.pdf", 
      "encodingFormat": "pdf", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/0fd44787-898e-4b04-9cb6-0318e24dc78d/MC2020_Track1_Set3_PANA_Moehle-Biere-Ge_2020-03-16.tar", 
      "encodingFormat": "tar", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/0fd44787-898e-4b04-9cb6-0318e24dc78d/MC2020_Track1_Set4_RAND_Spence_2020-03-11.pdf", 
      "encodingFormat": "pdf", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/0fd44787-898e-4b04-9cb6-0318e24dc78d/MC2020_Track1_Set4_RAND_Spence_2020-03-11.tar", 
      "encodingFormat": "tar", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/0fd44787-898e-4b04-9cb6-0318e24dc78d/MC2020_Track1_Set5_MRB_Wang-Yin-Xu_2020-03-04.pdf", 
      "encodingFormat": "pdf", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/0fd44787-898e-4b04-9cb6-0318e24dc78d/MC2020_Track1_Set5_MRB_Wang-Yin-Xu_2020-03-04.tar", 
      "encodingFormat": "tar", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/0fd44787-898e-4b04-9cb6-0318e24dc78d/MC2020_Track1_Set6_Pehoushek_2020_02_04.tar", 
      "encodingFormat": "tar", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/0fd44787-898e-4b04-9cb6-0318e24dc78d/MC2020_Track1_Set6_Pehoushek_2020_02_14.tar", 
      "encodingFormat": "tar", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/0fd44787-898e-4b04-9cb6-0318e24dc78d/MC2020_Track1_Set6_Pehoushek_2020_02_29.tar", 
      "encodingFormat": "tar", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/0fd44787-898e-4b04-9cb6-0318e24dc78d/MC2020_Track1_Set7_dfremont_26bf90f7fe.tar", 
      "encodingFormat": "tar", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/0fd44787-898e-4b04-9cb6-0318e24dc78d/MC2020_Track2_gpusat_preprocessed.tar", 
      "encodingFormat": "tar", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/0fd44787-898e-4b04-9cb6-0318e24dc78d/MC2020_Track3_Set1-dfremont.tar", 
      "encodingFormat": "tar", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/0fd44787-898e-4b04-9cb6-0318e24dc78d/MC2020_Track3_Set2-QBF_Golia-Meel_2020-03-18.pdf", 
      "encodingFormat": "pdf", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/0fd44787-898e-4b04-9cb6-0318e24dc78d/MC2020_Track3_Set2-QBF_Golia-Meel_2020-03-18.tar", 
      "encodingFormat": "tar", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/0fd44787-898e-4b04-9cb6-0318e24dc78d/MC2020_Track3_Set3-Neural_Baluta-Shen-Shinde-Meel-Saxena_2020_03_18.pdf", 
      "encodingFormat": "pdf", 
      "@type": "DataDownload"
    }, 
    {
      "contentUrl": "https://zenodo.org/api/files/0fd44787-898e-4b04-9cb6-0318e24dc78d/MC2020_Track3_Set3-Neural_Baluta-Shen-Shinde-Meel-Saxena_2020_03_18.tar", 
      "encodingFormat": "tar", 
      "@type": "DataDownload"
    }
  ], 
  "identifier": "https://doi.org/10.5281/zenodo.4292168", 
  "@id": "https://doi.org/10.5281/zenodo.4292168", 
  "@type": "Dataset", 
  "name": "Model Counting Competition 2020: Full Instance Set"
}
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