Configuration Benchmark Knowledge Bases

该数据集是一组为分析CoreDiag算法与顺序算法性能而生成的配置知识库集，特别关注冗余约束对算法性能的影响。数据集包含了不同冗余率的知识库版本，以观察算法在不同条件下的表现。规模上，数据集涵盖了多种版本，冗余率从0-10%到50%、75%以及87.5%不等。其任务是对CoreDiag算法在减少约束集冗余方面的性能进行评估。

This dataset is a collection of configuration knowledge bases generated for analyzing the performance of the CoreDiag algorithm and sequential algorithms, with special emphasis on the impact of redundant constraints on algorithmic performance. The dataset includes knowledge base variants with varying redundancy rates to observe the algorithm's performance across different conditions. In terms of scale, the dataset covers multiple versions with redundancy rates including 0-10%, 50%, 75% and 87.5%. The core task of this dataset is to evaluate the performance of the CoreDiag algorithm in reducing redundancy within constraint sets.