Model Counting Competition 2024: Full Instance Set

The dataset contains all instances that the organizers of the competition received or collected during the preparation phase of the Model Counting Competition 2024. The dataset includes short benchmark descriptions (00_description.{pdf,txt}) by the submitters/collectors (00_authors.txt). For more details, we refer to the upcoming report. Contributors are listed in the dataset.