Dataset Open Access

Model Counting Competition 2020: Submitted Solvers

Johannes Fichte; Markus Hecher; Florim Hamiti

Dublin Core Export

<?xml version='1.0' encoding='utf-8'?>
<oai_dc:dc xmlns:dc="" xmlns:oai_dc="" xmlns:xsi="" xsi:schemaLocation="">
  <dc:creator>Johannes Fichte</dc:creator>
  <dc:creator>Markus Hecher</dc:creator>
  <dc:creator>Florim Hamiti</dc:creator>
  <dc:description>The dataset contains the submissions that have been evaluated in the Model Counting Competition 2020 on the tracks:

- Track 1 (Model Counting)
- Track 2 (Weighted Model Counting)
- Track 3 (Projected Model Counting)
Details will be made public in the MCC2020 report (Fichte, Hecher, Hamiti: The Model Counting Competition 2020).

We also refer to the competition website:</dc:description>
  <dc:title>Model Counting Competition 2020: Submitted Solvers</dc:title>
All versions This version
Views 358358
Downloads 121121
Data volume 15.9 GB15.9 GB
Unique views 301301
Unique downloads 119119


Cite as