Metrics: Towards a Unified Library for Experimenting Solvers [July 3, 2020]


by Thibault Falque, Romain Wallon and Hugues Wattez for the 11th Pragmatics of SAT International workshop (

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.


Added by :
Daniel Le Berre

Updated on :
July 4, 2020, 11:38 a.m.

Duration :

Number of view :
14 (Show details views)

Type :

Main language :

 Embed/Share (Draft Mode)
Please note that your video is in draft mode.
The following links contain a key allowing access. Anyone with this links can access it.
Check the box to autoplay the video.
Check the box to loop the video.
Check the box to indicate the beginning of playing desired.