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. [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.]本数据集收录了2024年模型计数竞赛（Model Counting Competition 2024）筹备阶段，竞赛组委会所接收及征集的全部测试实例。本数据集包含由提交者/征集者提供的简短基准测试集描述文件（00_description.{pdf,txt}）与作者信息文件（00_authors.txt）。 如需了解更多细节，请参阅即将发布的相关报告。 数据集已列明所有贡献者名单。 【版本2说明】此前在赛道1（Track1）的数据包中误纳入了赛道2至4（Track2-4）的测试实例，而非原定的赛道1测试实例，现已完成修正。目前mc2024-track1-mc_collected.tar已正确包含赛道1的测试实例。