The dataset contains the submissions that have been evaluated in the Model Counting Competition 2023 on the tracks: - Track 1 (Model Counting)- Track 2 (Weighted Model Counting)- Track 3 (Projected Model Counting)- Track 4 (Projected Weighted Model Counting)Details will be made public in the competition report (Fichte, Hecher: The Model Counting Competitions 2021-2023). We also refer to the competition website: https://mccompetition.org/