Dataset Open Access

Model Counting Competition 2020: Competition Instances

Johannes K. Fichte; Markus Hecher; Florim Hamiti


JSON Export

{
  "files": [
    {
      "links": {
        "self": "https://zenodo.org/api/files/ea1e0dec-c92a-440d-9cd2-fd91184cadc7/track1-mc_all.tar"
      }, 
      "checksum": "md5:24244ed860ea001803657d5107604797", 
      "bucket": "ea1e0dec-c92a-440d-9cd2-fd91184cadc7", 
      "key": "track1-mc_all.tar", 
      "type": "tar", 
      "size": 43837440
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/ea1e0dec-c92a-440d-9cd2-fd91184cadc7/track2-wmc_all.tar"
      }, 
      "checksum": "md5:b2ae72eb328f9c4c5b90edd522d0d86c", 
      "bucket": "ea1e0dec-c92a-440d-9cd2-fd91184cadc7", 
      "key": "track2-wmc_all.tar", 
      "type": "tar", 
      "size": 3092480
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/ea1e0dec-c92a-440d-9cd2-fd91184cadc7/track3-pmc_all.tar"
      }, 
      "checksum": "md5:20d4408237c630fe95fc74dfb7a325d9", 
      "bucket": "ea1e0dec-c92a-440d-9cd2-fd91184cadc7", 
      "key": "track3-pmc_all.tar", 
      "type": "tar", 
      "size": 757683200
    }
  ], 
  "owners": [
    48002
  ], 
  "doi": "10.5281/zenodo.5042328", 
  "stats": {
    "version_unique_downloads": 117.0, 
    "unique_views": 71.0, 
    "views": 85.0, 
    "version_views": 440.0, 
    "unique_downloads": 7.0, 
    "version_unique_views": 349.0, 
    "volume": 2498421760.0, 
    "version_downloads": 196.0, 
    "downloads": 10.0, 
    "version_volume": 20301245440.0
  }, 
  "links": {
    "doi": "https://doi.org/10.5281/zenodo.5042328", 
    "conceptdoi": "https://doi.org/10.5281/zenodo.3934426", 
    "bucket": "https://zenodo.org/api/files/ea1e0dec-c92a-440d-9cd2-fd91184cadc7", 
    "conceptbadge": "https://zenodo.org/badge/doi/10.5281/zenodo.3934426.svg", 
    "html": "https://zenodo.org/record/5042328", 
    "latest_html": "https://zenodo.org/record/5042328", 
    "badge": "https://zenodo.org/badge/doi/10.5281/zenodo.5042328.svg", 
    "latest": "https://zenodo.org/api/records/5042328"
  }, 
  "conceptdoi": "10.5281/zenodo.3934426", 
  "created": "2021-06-29T17:53:32.763339+00:00", 
  "updated": "2021-06-30T01:48:21.006362+00:00", 
  "conceptrecid": "3934426", 
  "revision": 2, 
  "id": 5042328, 
  "metadata": {
    "access_right_category": "success", 
    "doi": "10.5281/zenodo.5042328", 
    "description": "<p>Instances for the Model Counting Competition&nbsp;2020</p>\n\n<p>- Track 1 (Model Counting)<br>\n- Track 2 (Weighted Model Counting)<br>\n-&nbsp;Track 3 (Projected Model Counting)</p>\n\n<p><br>\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. &nbsp;For details, we refer to:&nbsp;<a href=\"https://mccompetition.org/2020/mc_description\">https://mccompetition.org/2020/mc_description</a>.<br>\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&nbsp;Model Counting Competition 2020: Full Instance Set.<br>\nDetails will be made public in the MCC2020 report (Fichte, Hecher, Hamiti: The Model Counting Competition 2020).</p>", 
    "language": "eng", 
    "title": "Model Counting Competition 2020: Competition Instances", 
    "license": {
      "id": "CC-BY-4.0"
    }, 
    "relations": {
      "version": [
        {
          "count": 2, 
          "index": 1, 
          "parent": {
            "pid_type": "recid", 
            "pid_value": "3934426"
          }, 
          "is_last": true, 
          "last_child": {
            "pid_type": "recid", 
            "pid_value": "5042328"
          }
        }
      ]
    }, 
    "publication_date": "2020-07-07", 
    "creators": [
      {
        "affiliation": "TU Dresden", 
        "name": "Johannes K. 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.3934426", 
        "relation": "isVersionOf"
      }
    ]
  }
}
440
196
views
downloads
All versions This version
Views 44085
Downloads 19610
Data volume 20.3 GB2.5 GB
Unique views 34971
Unique downloads 1177

Share

Cite as