KIT | KIT-Bibliothek | Impressum | Datenschutz

Global Benchmark Database

Iser, Markus ORCID iD icon 1; Jabs, Christoph; Chakraborty, Supratik [Hrsg.]; Jiang, Jie-Hong Roland [Hrsg.]
1 Institut für Theoretische Informatik (ITI), Karlsruher Institut für Technologie (KIT)

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.


Verlagsausgabe §
DOI: 10.5445/IR/1000174127
Veröffentlicht am 10.09.2024
Originalveröffentlichung
DOI: 10.4230/LIPIcs.SAT.2024.18
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2024
Sprache Englisch
Identifikator KITopen-ID: 1000174127
Erschienen in 27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024), Editors: Supratik Chakraborty, IIT Bombay, India; Jie-Hong Roland Jiang, National Taiwan University, Taipei, Taiwan
Veranstaltung 27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024), Pune, Indien, 21.08.2024 – 24.08.2024
Verlag Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI)
Seiten 18:1-18:10
Serie Leibniz International Proceedings in Informatics (LIPIcs) ; 305
Externe Relationen Supplement
Forschungsdaten/Software
Forschungsdaten/Software
Forschungsdaten/Software
Siehe auch
Schlagwörter Maintenance and Distribution of Benchmark Instances and their Features, Theory of computation → Logic, Theory of computation → Design and analysis of algorithms, Information systems → Information integration
Nachgewiesen in Scopus
Relationen in KITopen
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page