Global Benchmark Database

Markus Iser; Christoph Jabs

doi:10.4230/LIPIcs.SAT.2024.18

Global Benchmark Database

Tietojenkäsittelytieteen osasto

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

Abstrakti

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.

Alkuperäiskieli	englanti
Otsikko	27th International Conference on Theory and Applications of Satisfiability Testing, SAT 2024
Toimittajat	Supratik Chakraborty, Jie-Hong Roland Jiang
Kustantaja	Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Julkaisupäivä	elok. 2024
Artikkeli no	18
ISBN (elektroninen)	978-3-95977-334-8
DOI - pysyväislinkit	https://doi.org/10.4230/LIPIcs.SAT.2024.18
Tila	Julkaistu - elok. 2024
OKM-julkaisutyyppi	A4 Artikkeli konferenssijulkaisuussa
Tapahtuma	International Conference on Theory and Applications of Satisfiability Testing - Pune, Intia Kesto: 21 elok. 2024 → 24 elok. 2024 Konferenssinumero: 27

Julkaisusarja

Nimi	Leibniz International Proceedings in Informatics, LIPIcs
Vuosikerta	305
ISSN (painettu)	1868-8969

Lisätietoja

Publisher Copyright:
© Markus Iser and Christoph Jabs.

Tieteenalat

113 Tietojenkäsittely- ja informaatiotieteet

Pääsy asiakirjaan

10.4230/LIPIcs.SAT.2024.18Lisenssi: CC BY

GlobalLopullinen julkaistu versio, 701 KBLisenssi: CC BY

Seuraavan sukupolven rajoiteoptimointimenetelmiä
Järvisalo, M. (Projektinjohtaja), Conati, A. F. (osallistuja), Eskelinen, V. (osallistuja), Feyzbakhsh Rankooh, M. (osallistuja), Jabs, C. J. (osallistuja) & Lehtonen, T. (osallistuja)
Suomen Akatemia
01/09/2023 → 31/08/2027
Projekti: Suomen Akatemia: Akatemiahanke

Siteeraa tätä

Iser, M., & Jabs, C. (2024). Global Benchmark Database. teoksessa S. Chakraborty, & J.-H. R. Jiang (Toimittajat), 27th International Conference on Theory and Applications of Satisfiability Testing, SAT 2024 Artikkeli 18 (Leibniz International Proceedings in Informatics, LIPIcs; Vuosikerta 305). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SAT.2024.18

@inproceedings{4afc9e5385b44a64b2689bf03ca2c503,

title = "Global Benchmark Database",

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.",

keywords = "Maintenance and Distribution of Benchmark Instances and their Features, 113 Computer and information sciences",

author = "Markus Iser and Christoph Jabs",

note = "Publisher Copyright: {\textcopyright} Markus Iser and Christoph Jabs.; International Conference on Theory and Applications of Satisfiability Testing, SAT ; Conference date: 21-08-2024 Through 24-08-2024",

year = "2024",

month = aug,

doi = "10.4230/LIPIcs.SAT.2024.18",

language = "English",

series = "Leibniz International Proceedings in Informatics, LIPIcs",

publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",

editor = "Supratik Chakraborty and Jiang, {Jie-Hong Roland}",

booktitle = "27th International Conference on Theory and Applications of Satisfiability Testing, SAT 2024",

address = "Germany",

}

Iser, M & Jabs, C 2024, Global Benchmark Database. julkaisussa S Chakraborty & J-HR Jiang (toim), 27th International Conference on Theory and Applications of Satisfiability Testing, SAT 2024., 18, Leibniz International Proceedings in Informatics, LIPIcs, Vuosikerta 305, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, International Conference on Theory and Applications of Satisfiability Testing, Pune, Intia, 21/08/2024. https://doi.org/10.4230/LIPIcs.SAT.2024.18

Global Benchmark Database. / Iser, Markus; Jabs, Christoph.
27th International Conference on Theory and Applications of Satisfiability Testing, SAT 2024. toim. / Supratik Chakraborty; Jie-Hong Roland Jiang. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2024. 18 (Leibniz International Proceedings in Informatics, LIPIcs; Vuosikerta 305).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

TY - GEN

T1 - Global Benchmark Database

AU - Iser, Markus

AU - Jabs, Christoph

N1 - Conference code: 27

PY - 2024/8

Y1 - 2024/8

N2 - 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.

AB - 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.

KW - Maintenance and Distribution of Benchmark Instances and their Features

KW - 113 Computer and information sciences

U2 - 10.4230/LIPIcs.SAT.2024.18

DO - 10.4230/LIPIcs.SAT.2024.18

M3 - Conference contribution

AN - SCOPUS:85203265369

T3 - Leibniz International Proceedings in Informatics, LIPIcs

BT - 27th International Conference on Theory and Applications of Satisfiability Testing, SAT 2024

A2 - Chakraborty, Supratik

A2 - Jiang, Jie-Hong Roland

PB - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing

T2 - International Conference on Theory and Applications of Satisfiability Testing

Y2 - 21 August 2024 through 24 August 2024

ER -

Global Benchmark Database

Abstrakti

Julkaisusarja

Lisätietoja

Tieteenalat

Pääsy asiakirjaan

Projektit

Seuraavan sukupolven rajoiteoptimointimenetelmiä

Siteeraa tätä