Experimental evaluation is an integral part in the design process of algorithms. Publicly available benchmark instances are widely used to evaluate methods in SAT solving. For the interpretation of results and the design of algorithm portfolios their attributes are crucial. Capturing the interrelation of benchmark instances and their attributes is considerably simplified through our specification of a benchmark instance identifier. Thus, our tool increases the availability of both by providing means to manage and retrieve benchmark instances by their attributes and vice versa. Like this, it facilitates the design and analysis of SAT experiments and the exchange of results.

中文翻译：

---

基准实例及其属性的协同管理

实验评估是算法设计过程中不可或缺的一部分。公开可用的基准实例被广泛用于评估 SAT 求解中的方法。对于结果的解释和算法组合的设计，它们的属性至关重要。通过我们对基准实例标识符的规范，可以大大简化捕获基准实例及其属性的相互关系。因此，我们的工具通过提供按属性管理和检索基准实例的方法来提高两者的可用性，反之亦然。这样，它有助于 SAT 实验的设计和分析以及结果的交换。