There is a newer version of the record available.

Published November 26, 2020 | Version v1
Dataset Open

Model Counting Competition 2020: Submitted Solvers

  • 1. TU Dresden
  • 2. TU Wien


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:


Files (131.3 MB)

Name Size Download all
131.3 MB Download