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/fbb3b832-7ff5-4a8b-a948-ca079c218719/track1-mc_all.tar"
      }, 
      "checksum": "md5:24244ed860ea001803657d5107604797", 
      "bucket": "fbb3b832-7ff5-4a8b-a948-ca079c218719", 
      "key": "track1-mc_all.tar", 
      "type": "tar", 
      "size": 43837440
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/fbb3b832-7ff5-4a8b-a948-ca079c218719/track2-wmc_all.tar"
      }, 
      "checksum": "md5:b2ae72eb328f9c4c5b90edd522d0d86c", 
      "bucket": "fbb3b832-7ff5-4a8b-a948-ca079c218719", 
      "key": "track2-wmc_all.tar", 
      "type": "tar", 
      "size": 3092480
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/fbb3b832-7ff5-4a8b-a948-ca079c218719/track3-pmc_all.tar"
      }, 
      "checksum": "md5:dfe6578766dd3ff4f9a882f65b29ee77", 
      "bucket": "fbb3b832-7ff5-4a8b-a948-ca079c218719", 
      "key": "track3-pmc_all.tar", 
      "type": "tar", 
      "size": 302346240
    }
  ], 
  "owners": [
    48002
  ], 
  "doi": "10.5281/zenodo.3934427", 
  "stats": {
    "version_unique_downloads": 47.0, 
    "unique_views": 138.0, 
    "views": 157.0, 
    "version_views": 157.0, 
    "unique_downloads": 47.0, 
    "version_unique_views": 138.0, 
    "volume": 9405470720.0, 
    "version_downloads": 82.0, 
    "downloads": 82.0, 
    "version_volume": 9405470720.0
  }, 
  "links": {
    "doi": "https://doi.org/10.5281/zenodo.3934427", 
    "conceptdoi": "https://doi.org/10.5281/zenodo.3934426", 
    "bucket": "https://zenodo.org/api/files/fbb3b832-7ff5-4a8b-a948-ca079c218719", 
    "conceptbadge": "https://zenodo.org/badge/doi/10.5281/zenodo.3934426.svg", 
    "html": "https://zenodo.org/record/3934427", 
    "latest_html": "https://zenodo.org/record/3934427", 
    "badge": "https://zenodo.org/badge/doi/10.5281/zenodo.3934427.svg", 
    "latest": "https://zenodo.org/api/records/3934427"
  }, 
  "conceptdoi": "10.5281/zenodo.3934426", 
  "created": "2020-11-27T07:53:39.157281+00:00", 
  "updated": "2020-11-27T12:27:18.563125+00:00", 
  "conceptrecid": "3934426", 
  "revision": 2, 
  "id": 3934427, 
  "metadata": {
    "access_right_category": "success", 
    "doi": "10.5281/zenodo.3934427", 
    "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": 1, 
          "index": 0, 
          "parent": {
            "pid_type": "recid", 
            "pid_value": "3934426"
          }, 
          "is_last": true, 
          "last_child": {
            "pid_type": "recid", 
            "pid_value": "3934427"
          }
        }
      ]
    }, 
    "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"
      }
    ]
  }
}
157
82
views
downloads
All versions This version
Views 157157
Downloads 8282
Data volume 9.4 GB9.4 GB
Unique views 138138
Unique downloads 4747

Share

Cite as