Propositional Model Counting
Published October 16, 2023 | Version v1
Dataset Open

Model Counting Competition 2021: Full Instance Set

Creators

  • 1. TU Wien
  • 2. ROR icon TU Dresden

Description

The dataset contains all instances that the organizers of the competition received or collected during the preparation phase of the Model Counting Competition 2021. The dataset includes short benchmark descriptions (00_description.{pdf,txt,md}) by the submitters/collectors (00_authors.txt).

For a more details, we refer to the upcoming report
Fichte, Hecher: The Model Counting Competition 2021-2023.

Contributors are listed in the dataset or in the report.

Files

Files (712.7 MB)

Name Size Download all
md5:74463335843cdbec64a5d0993fd66518
712.7 MB Download