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.

翻译：实验评估是算法设计过程的一个组成部分,公开的基准实例被广泛用来评价沙特德士古公司解决方法。为了解释结果和设计算法组合,其属性至关重要。通过我们的基准实例识别特征的规格,可以大大简化基准实例及其属性的相互关系。因此,我们的工具通过提供按其属性管理和检索基准实例的手段和反之亦然,增加了这两种实例的可用性。同样,它有利于设计和分析沙特德士古公司实验和交换结果。