Published November 30, 2024
| Version v1
Dataset
Open
Model Counting Competition 2024: Submitted Solvers
-
1.
Linköping University
-
2.
Massachusetts Institute of Technology
-
3.
Chennai Mathematical Institute
Description
The dataset contains the submissions that have been evaluated in the Model Counting Competition 2024 on the tracks:
- Track 1 (Model Counting)
- Track 2 (Weighted Model Counting)
- Track 2b (Weighted Model Counting Bonus Track)
- Track 3 (Projected Model Counting)
- Track 4 (Projected Weighted Model Counting)
Details will be made public in an upcoming report.
We also refer to the competition website: https://mccompetition.org/
Files
Files
(1.3 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:84c0a86e333eb2f4ef11afdef26cf4b2
|
1.3 GB | Download |