Dataset Open Access

Model Counting Competition 2020: Full Instance Set

Johannes Fichte; Markus Hecher; Florim Hamiti


MARC21 XML Export

<?xml version='1.0' encoding='UTF-8'?>
<record xmlns="http://www.loc.gov/MARC21/slim">
  <leader>00000nmm##2200000uu#4500</leader>
  <datafield tag="041" ind1=" " ind2=" ">
    <subfield code="a">eng</subfield>
  </datafield>
  <controlfield tag="005">20201127122718.0</controlfield>
  <controlfield tag="001">4292168</controlfield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">TU Wien</subfield>
    <subfield code="a">Markus Hecher</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">TU Dresden</subfield>
    <subfield code="a">Florim Hamiti</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">Univ. Grenoble Alpes, INRIA</subfield>
    <subfield code="4">col</subfield>
    <subfield code="a">Pierre Bouvier</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">Univ. Grenoble Alpes, INRIA</subfield>
    <subfield code="4">col</subfield>
    <subfield code="a">Hubert Garavel</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">Jilin University</subfield>
    <subfield code="4">col</subfield>
    <subfield code="a">Yong Lai</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">IIT Kanpur</subfield>
    <subfield code="4">col</subfield>
    <subfield code="a">Priyanka Golia</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">NUS</subfield>
    <subfield code="4">col</subfield>
    <subfield code="a">Kuldeep S. Meel</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">JKU Linz</subfield>
    <subfield code="4">col</subfield>
    <subfield code="a">Sybille Moehle</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">JKU Linz</subfield>
    <subfield code="4">col</subfield>
    <subfield code="a">Cunjing Ge</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">JKU Linz</subfield>
    <subfield code="4">col</subfield>
    <subfield code="a">Armin Biere</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">Queen's University Belfast</subfield>
    <subfield code="4">col</subfield>
    <subfield code="a">Ivor Spence</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">Northeast Normal University</subfield>
    <subfield code="4">col</subfield>
    <subfield code="a">Minghao Yin</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">Northeast Normal University</subfield>
    <subfield code="4">col</subfield>
    <subfield code="a">Yiyuan Wang</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">Beihang University</subfield>
    <subfield code="4">col</subfield>
    <subfield code="a">Ke Xu</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="4">col</subfield>
    <subfield code="a">Daniel Pehoushek</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">UC Santa Cruz</subfield>
    <subfield code="4">col</subfield>
    <subfield code="a">Daniel Fremont</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">NUS</subfield>
    <subfield code="4">col</subfield>
    <subfield code="a">Priyanka Golia</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">NUS</subfield>
    <subfield code="4">col</subfield>
    <subfield code="a">Teodora Baluta</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">NUS</subfield>
    <subfield code="4">col</subfield>
    <subfield code="a">Shiqi Shen</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">UC Berkeley</subfield>
    <subfield code="4">col</subfield>
    <subfield code="a">Shweta Shinde</subfield>
  </datafield>
  <datafield tag="700" ind1=" " ind2=" ">
    <subfield code="u">NUS</subfield>
    <subfield code="4">col</subfield>
    <subfield code="a">Prateek Saxena</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">490465280</subfield>
    <subfield code="z">md5:71331925d0534d68a1bcd54d22b4a9bc</subfield>
    <subfield code="u">https://zenodo.org/record/4292168/files/MC2020_Track1_Set1_VLSAT_Garavel-Bouvier_2020-03-10.tar</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">135591</subfield>
    <subfield code="z">md5:5f43ae786a3f008718fb9b0aa98a9c69</subfield>
    <subfield code="u">https://zenodo.org/record/4292168/files/MC2020_Track1_Set2_Bayes-BSMT-FSYN-PSYN-QIFLOW_Lai-Meel_2020-03-06.pdf</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">68792320</subfield>
    <subfield code="z">md5:8c33654e03c26d3a7b39d0c852a2a7b2</subfield>
    <subfield code="u">https://zenodo.org/record/4292168/files/MC2020_Track1_Set2_Bayes-BSMT-FSYN-PSYN-QIFLOW_Lai-Meel_2020-03-06.tar</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">34373</subfield>
    <subfield code="z">md5:cb6175a396da7508cc1f23efd704f070</subfield>
    <subfield code="u">https://zenodo.org/record/4292168/files/MC2020_Track1_Set3_PANA_Moehle-Biere-Ge_2020-03-16.pdf</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">87531520</subfield>
    <subfield code="z">md5:1334a12fc1b45f0b61f232813f3ba8ab</subfield>
    <subfield code="u">https://zenodo.org/record/4292168/files/MC2020_Track1_Set3_PANA_Moehle-Biere-Ge_2020-03-16.tar</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">119580</subfield>
    <subfield code="z">md5:d69ca52c189575de8771198f5e124f27</subfield>
    <subfield code="u">https://zenodo.org/record/4292168/files/MC2020_Track1_Set4_RAND_Spence_2020-03-11.pdf</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">51200</subfield>
    <subfield code="z">md5:470760d5acc33c02d6930829ca7b3650</subfield>
    <subfield code="u">https://zenodo.org/record/4292168/files/MC2020_Track1_Set4_RAND_Spence_2020-03-11.tar</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">118802</subfield>
    <subfield code="z">md5:40416b27951d5f23b006ea0752ebf284</subfield>
    <subfield code="u">https://zenodo.org/record/4292168/files/MC2020_Track1_Set5_MRB_Wang-Yin-Xu_2020-03-04.pdf</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">28364800</subfield>
    <subfield code="z">md5:db42af416f96fd4ba85b501d4307e3ed</subfield>
    <subfield code="u">https://zenodo.org/record/4292168/files/MC2020_Track1_Set5_MRB_Wang-Yin-Xu_2020-03-04.tar</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">1402880</subfield>
    <subfield code="z">md5:2439e47c9fd1ef98261b462d4bc2af78</subfield>
    <subfield code="u">https://zenodo.org/record/4292168/files/MC2020_Track1_Set6_Pehoushek_2020_02_04.tar</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">1167360</subfield>
    <subfield code="z">md5:8f0fba32f34001575d97338be016416a</subfield>
    <subfield code="u">https://zenodo.org/record/4292168/files/MC2020_Track1_Set6_Pehoushek_2020_02_14.tar</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">378880</subfield>
    <subfield code="z">md5:44b5a32b1138b42f47e0fb63e4cf681d</subfield>
    <subfield code="u">https://zenodo.org/record/4292168/files/MC2020_Track1_Set6_Pehoushek_2020_02_29.tar</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">2903173120</subfield>
    <subfield code="z">md5:d352e3a432d8dca51a2482d743b01dfa</subfield>
    <subfield code="u">https://zenodo.org/record/4292168/files/MC2020_Track1_Set7_dfremont_26bf90f7fe.tar</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">260136960</subfield>
    <subfield code="z">md5:3fc94e4e6d44ba5d47ebf262c60a127f</subfield>
    <subfield code="u">https://zenodo.org/record/4292168/files/MC2020_Track2_gpusat_preprocessed.tar</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">1561088000</subfield>
    <subfield code="z">md5:17e54bfeec3a378b591634ab7f082457</subfield>
    <subfield code="u">https://zenodo.org/record/4292168/files/MC2020_Track3_Set1-dfremont.tar</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">61731</subfield>
    <subfield code="z">md5:5c12f397060741881690b3c3e101ed2f</subfield>
    <subfield code="u">https://zenodo.org/record/4292168/files/MC2020_Track3_Set2-QBF_Golia-Meel_2020-03-18.pdf</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">14919680</subfield>
    <subfield code="z">md5:0a1cef8938b21dfeeb54947890bc785b</subfield>
    <subfield code="u">https://zenodo.org/record/4292168/files/MC2020_Track3_Set2-QBF_Golia-Meel_2020-03-18.tar</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">86674</subfield>
    <subfield code="z">md5:f4be518785cbabb918b13fcd473aa78a</subfield>
    <subfield code="u">https://zenodo.org/record/4292168/files/MC2020_Track3_Set3-Neural_Baluta-Shen-Shinde-Meel-Saxena_2020_03_18.pdf</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2=" ">
    <subfield code="s">3051304960</subfield>
    <subfield code="z">md5:6a030c8cadb199c7c1cc73fa570c18bb</subfield>
    <subfield code="u">https://zenodo.org/record/4292168/files/MC2020_Track3_Set3-Neural_Baluta-Shen-Shinde-Meel-Saxena_2020_03_18.tar</subfield>
  </datafield>
  <datafield tag="542" ind1=" " ind2=" ">
    <subfield code="l">open</subfield>
  </datafield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="c">2020-11-26</subfield>
  </datafield>
  <datafield tag="909" ind1="C" ind2="O">
    <subfield code="p">openaire_data</subfield>
    <subfield code="o">oai:zenodo.org:4292168</subfield>
  </datafield>
  <datafield tag="100" ind1=" " ind2=" ">
    <subfield code="u">TU Dresden</subfield>
    <subfield code="a">Johannes Fichte</subfield>
  </datafield>
  <datafield tag="245" ind1=" " ind2=" ">
    <subfield code="a">Model Counting Competition 2020: Full Instance Set</subfield>
  </datafield>
  <datafield tag="540" ind1=" " ind2=" ">
    <subfield code="u">https://creativecommons.org/licenses/by/4.0/legalcode</subfield>
    <subfield code="a">Creative Commons Attribution 4.0 International</subfield>
  </datafield>
  <datafield tag="650" ind1="1" ind2="7">
    <subfield code="a">cc-by</subfield>
    <subfield code="2">opendefinition.org</subfield>
  </datafield>
  <datafield tag="520" ind1=" " ind2=" ">
    <subfield code="a">&lt;p&gt;The dataset contains all instances that the organizers of the competition received or collected during the preparation phase&amp;nbsp;of the Model Counting Competition 2020. The dataset includes short benchmark descriptions by the submitters.&lt;/p&gt;

&lt;p&gt;For a more details, we refer to the report&lt;br&gt;
Fichte, Hecher, Hamiti: The Model Counting Competition 2020 on ArXiv.&lt;/p&gt;</subfield>
  </datafield>
  <datafield tag="773" ind1=" " ind2=" ">
    <subfield code="n">doi</subfield>
    <subfield code="i">isVersionOf</subfield>
    <subfield code="a">10.5281/zenodo.4292167</subfield>
  </datafield>
  <datafield tag="024" ind1=" " ind2=" ">
    <subfield code="a">10.5281/zenodo.4292168</subfield>
    <subfield code="2">doi</subfield>
  </datafield>
  <datafield tag="980" ind1=" " ind2=" ">
    <subfield code="a">dataset</subfield>
  </datafield>
</record>
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