Published October 16, 2023
| Version v1
Software
Open
Model Counting Competition 2021: Submitted Solvers
Description
The dataset contains the submissions that have been evaluated in the Model Counting Competition 2021 on the tracks:
- Track 1 (Model Counting)
- Track 2 (Weighted Model Counting)
- Track 3 (Projected Model Counting)
- Track 4 (Model Counting)
Details will be made public in the upcoming competition report (Fichte, Hecher: The Model Counting Competitions 2021-2023). Due to numerous names, we omit authors of the solvers from the meta information of this dataset. We refer to the aforementioned report for details.
We also refer to the competition website: https://mccompetition.org/
Files
Files
(102.3 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:703506fad9e976b3483e8702ca445f91
|
102.3 MB | Download |