Metrics: Towards a Unified Library for Experimenting Solvers - Université d'Artois Access content directly
Conference Papers Year : 2020

Metrics: Towards a Unified Library for Experimenting Solvers


When developing a SAT solver, one of the most important parts is to perform experiments so as to evaluate its performance. Most of the time, this process remains the same, so that everybody collects almost the same statistics about the solver execution. However, how many scripts are there to retrieve experimental data and draw scatter or cactus plots? Probably as many as researchers in the domain. Based on this observation, this paper introduces Metrics, a Python library, aiming to unify and make easier the analysis of solver experiments. The ambition of Metrics is to provide a complete toolchain from the execution of the solver to the analysis of its performance. In particular, this library simplifies the retrieval of experimental data from many different inputs (including the solver's output), and provides a nice interface for drawing commonly used plots, computing statistics about the execution of the solver, and effortlessly organizing them (e.g., in Jupyter notebooks). In the end, the main purpose of Metrics is to favor the sharing and reproducibility of experimental results and their analysis.
Fichier principal
Vignette du fichier
paper.pdf (608.81 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03301303 , version 1 (16-08-2022)


  • HAL Id : hal-03301303 , version 1


Thibault Falque, Romain Wallon, Hugues Wattez. Metrics: Towards a Unified Library for Experimenting Solvers. 11th International Workshop on Pragmatics of SAT (POS'20), Jul 2020, Alghero (en ligne), Italy. ⟨hal-03301303⟩
92 View
16 Download


Gmail Facebook Twitter LinkedIn More