Propositional Model Counting
Published March 10, 2025 | Version v2
Dataset Open

Model Counting Competition 2024: Full Instance Set

Creators

  • 1. ROR icon Linköping University
  • 2. ROR icon Massachusetts Institute of Technology
  • 3. ROR icon Chennai Mathematical Institute

Description

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.

[Version 2: We accidentally included Track2-4 instances instead of Track1 instances in Track1. We fixed this. Now, mc2024-track1-mc_collected.tar correctly contains the Track1 instances.]

Files

Files (2.2 GB)

Name Size Download all
md5:d2976e44c6a678404c01da779cb09007
386.6 MB Download
md5:5c13508b51c6d4beaa7c611d4bb2cfa0
1.2 MB Download
md5:f0a7a719069937c1393ca17873cc9fab
1.2 GB Download
md5:f4a17faf0dace3b0e9be85253760ce29
556.0 MB Download