PB'24 competition: memory versus time to solve an instance

The figures below represent how much time and memory a solver used to provide an answer. The x axis is the time used (in seconds) and the y axis is the amount of memory used.

These graphs are based on a sampling of the memory usage of the solver which is performed every ten seconds. Therefore, this data is not necessarily very accurate since a solver may allocate and deallocate a lot of memory in ten seconds. Besides, when a solvers runs for less than ten seconds, no information on its memory usage could be recorded. Also, solvers written in the Java programming language usually allocate all their memory at once at the beginning of the program and therefore the reported memory is not very meaningful.

Solver CASHWMaxSAT-DisjCad-S 2024-07-10 (complete)

Download the above graph as a PDF file / as an EPS file
Solver CASHWMaxSAT-DisjCad-SP 2024-07-10 (complete)

Download the above graph as a PDF file / as an EPS file
Solver CASHWMaxSAT-DisjCom-S 2024-07-10 (complete)

Download the above graph as a PDF file / as an EPS file
Solver CASHWMaxSAT-DisjCom-SP 2024-07-10 (complete)

Download the above graph as a PDF file / as an EPS file
Solver DLS-PBO 2024-07-09 (incomplete)

Download the above graph as a PDF file / as an EPS file
Solver Exact 2024-07-05 (complete)

Download the above graph as a PDF file / as an EPS file
Solver Exact_no_SoPlex 2024-07-05 (complete)

Download the above graph as a PDF file / as an EPS file
Solver Exact_veripb2 2024-07-05 (complete)

Download the above graph as a PDF file / as an EPS file
Solver Exact_veripb2_no_SoPlex 2024-07-05 (complete)

Download the above graph as a PDF file / as an EPS file
Solver FiberSCIP 2024-07-02 (complete)

Download the above graph as a PDF file / as an EPS file
Solver FiberSCIP 2024-07-30 (complete)

Download the above graph as a PDF file / as an EPS file
Solver FiberSCIP 20 cores, 2024-07-30 (complete)

Download the above graph as a PDF file / as an EPS file
Solver FiberSCIP 20 cores, 2024-08-09 (complete)

Download the above graph as a PDF file / as an EPS file
Solver FiberSCIP 20 cores, 2024-08-12 (complete)

Download the above graph as a PDF file / as an EPS file
Solver Hybrid-CASHWMaxSATDisjCadSP+Exact 2024-07-11 (complete)

Download the above graph as a PDF file / as an EPS file
Solver Hybrid-CASHWMaxSATDisjComS+Exact 2024-07-11 (complete)

Download the above graph as a PDF file / as an EPS file
Solver Hybrid-LSMabP+Exact 2024-07-11 (incomplete)

Download the above graph as a PDF file / as an EPS file
Solver Hybrid-LSMabSP+CASHWMaxSATDisjCom 2024-07-11 (incomplete)

Download the above graph as a PDF file / as an EPS file
Solver Hybrid-LSMabSP+Exact 2024-07-11 (incomplete)

Download the above graph as a PDF file / as an EPS file
Solver IPBHS-GUROBI 2024-07-09 (complete)

Download the above graph as a PDF file / as an EPS file
Solver IPBHS-GUROBI-SYM 2024-07-09 (complete)

Download the above graph as a PDF file / as an EPS file
Solver IPBHS-SCIP 2024-07-09 (complete)

Download the above graph as a PDF file / as an EPS file
Solver LS-Mab 2024-07-10 (incomplete)

Download the above graph as a PDF file / as an EPS file
Solver LS-MabP 2024-07-10 (incomplete)

Download the above graph as a PDF file / as an EPS file
Solver LS-MabS 2024-07-10 (incomplete)

Download the above graph as a PDF file / as an EPS file
Solver LS-MabSP 2024-07-10 (incomplete)

Download the above graph as a PDF file / as an EPS file
Solver mixed-bag 2024-07-02 (complete)

Download the above graph as a PDF file / as an EPS file
Solver mixed-bag 2024-07-19 (complete)

Download the above graph as a PDF file / as an EPS file
Solver NaPS 1.03 (complete)

Download the above graph as a PDF file / as an EPS file
Solver NaPS-GM 1.03 (complete)

Download the above graph as a PDF file / as an EPS file
Solver NaPS-PB16 1.02b5 (complete)

Download the above graph as a PDF file / as an EPS file
Solver ParLS-PBO-1.1 2024-07-09 (incomplete)

Download the above graph as a PDF file / as an EPS file
Solver ParLS-PBO-1.1 20 cores, 2024-07-09 (incomplete)

Download the above graph as a PDF file / as an EPS file
Solver pb-oll-rs 2024-07-02 (complete)

Download the above graph as a PDF file / as an EPS file
Solver pb-oll-rs 2024-07-19 (complete)

Download the above graph as a PDF file / as an EPS file
Solver Picat 2024-06-18 (complete)

Download the above graph as a PDF file / as an EPS file
Solver RoundingSat log (1) (complete)

Download the above graph as a PDF file / as an EPS file
Solver RoundingSat log (2) (complete)

Download the above graph as a PDF file / as an EPS file
Solver RoundingSat log (3) (complete)

Download the above graph as a PDF file / as an EPS file
Solver RoundingSat nolog (1) (complete)

Download the above graph as a PDF file / as an EPS file
Solver RoundingSat nolog (2) (complete)

Download the above graph as a PDF file / as an EPS file
Solver Sat4j Cutting Planes 2024 2024-07-12 (complete)

Download the above graph as a PDF file / as an EPS file
Solver Sat4j Partial RoundingSAT 2024 2024-07-12 (complete)

Download the above graph as a PDF file / as an EPS file
Solver Sat4j Resolution 2024 2024-07-07 (complete)

Download the above graph as a PDF file / as an EPS file
Solver Sat4j Resolution Default 2024-07-07 (complete)

Download the above graph as a PDF file / as an EPS file
Solver SCIP 2024-07-07 (complete)

Download the above graph as a PDF file / as an EPS file