Propositional Model Counting

There is a newer version of the record available.

Published November 26, 2020 | Version v1
Dataset Open

Model Counting Competition 2020: Submitted Solvers

Creators

  • 1. TU Dresden
  • 2. TU Wien

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: https://mccompetition.org/

Files

Files (131.3 MB)

Name Size Download all
md5:b8eac201549e7a4aaba7e07409680990
131.3 MB Download