Decision Benchmarks for PB Competitions
收藏arXiv2025-09-30 收录
下载链接：
https://gitlab.com/pb-backjump-level/pos21-experiments
下载链接
链接失效反馈官方服务：
资源简介：
该数据集是一系列包含自第一届起在PB竞赛中使用的“小”整数的基准测试集合。该数据集被用于评估不同策略在冲突分析和回跳级别方面的表现。它包含了各种规模的决策基准，旨在对PB求解器中的回跳级别进行实证评估。
This dataset is a benchmark suite consisting of "small" integers that have been used in the PB Competitions since their first edition. It is employed to assess the performance of diverse strategies with respect to conflict analysis and backjump levels. It encompasses decision benchmarks across different scales, designed for empirical evaluation of backjump levels in PB solvers.
提供机构：
PB competitions
