Global Benchmark Database

Global Benchmark Database
Iser, Markus, and Jabs, Christoph
2024
In 27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024), 2024, (accepted for publication)
  1. Abstract

    This paper presents Global Benchmark Database (GBD), a comprehensive suite of tools for provisioning and sustainably maintaining benchmark instances and their metadata. The availability of benchmark metadata is essential for many tasks in empirical research, e.g., for the data-driven compilation of benchmarks, the domain-specific analysis of runtime experiments, or the instance-specific selection of solvers. In this paper, we introduce the data model of GBD as well as its interfaces and provide examples of how to interact with them. We also demonstrate the integration of custom data sources and explain how to extend GBD with additional problem domains, instance formats and feature extractors.

    Bibtex

    @inproceedings{IserJabs2024GlobalBenchmarkDatabase,
      author = {Iser, Markus and Jabs, Christoph},
      title = {Global Benchmark Database},
      booktitle = {27th International Conference on Theory and Applications of Satisfiability Testing ({SAT} 2024)},
      year = {2024},
      editor = {Jiang, Jie-Hong Roland and Chakraborty, Supratik},
      publisher = {Schloss Dagstuhl---Leibniz-Zentrum f{\"{u}}r Informatik},
      series = {Leibniz International Proceedings in Informatics ({LIPIcs})},
      eprinttype = {arXiv},
      pubstate = {accepted for publication},
    }