PB'26 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 AdaptExact 2026-06-08 (complete)

Download the above graph as a PDF file
Solver AdaptExact v2 (complete)

Download the above graph as a PDF file
Solver AI448PBSolver 2026-04-26 (complete)

Download the above graph as a PDF file
Solver AutoAdaptRoundingSat 2026-06-08 (complete)

Download the above graph as a PDF file
Solver AutoAdaptRoundingSat v2 (complete)

Download the above graph as a PDF file
Solver AY 0.11.0 (complete)

Download the above graph as a PDF file
Solver AY 2026-07-11b (complete)

Download the above graph as a PDF file
Solver AY-cert 2026-07-13-certfix (cert) (complete)

Download the above graph as a PDF file
Solver Best Known Results oracle solver (complete)

Download the above graph as a PDF file
Solver cpmpy_highs (16 cores) 2026-07-05 (complete)

Download the above graph as a PDF file
Solver cpmpy_highs (1 core) 2026-05-18 (complete)

Download the above graph as a PDF file
Solver cpmpy_highs (1 core) 2026-07-05 (complete)

Download the above graph as a PDF file
Solver cpmpy_highs (1 core) 2026-07-14 (complete)

Download the above graph as a PDF file
Solver cpmpy_ortools (16 cores) 2026-05-18 (complete)

Download the above graph as a PDF file
Solver cpmpy_ortools (16 cores) 2026-07-14 (complete)

Download the above graph as a PDF file
Solver cpmpy_ortools (1 core) 2026-05-18 (complete)

Download the above graph as a PDF file
Solver cpmpy_ortools (1 core) 2026-07-14 (complete)

Download the above graph as a PDF file
Solver cpmpy_pindakaas_cadical 2026-05-18 (complete)

Download the above graph as a PDF file
Solver DivingFalconSolver (16 cores) 2026-06-12 (complete)

Download the above graph as a PDF file
Solver DivingFalconSolver (1 core) 2026-06-12 (complete)

Download the above graph as a PDF file
Solver Exact 2026-06-14 (complete)

Download the above graph as a PDF file
Solver Exact 2026-06-14 (cert) (complete)

Download the above graph as a PDF file
Solver exact-printemps (16 cores) 2026-05-18 (incomplete)

Download the above graph as a PDF file
Solver exact-printemps (1 core) 2026-05-18 (incomplete)

Download the above graph as a PDF file
Solver Exact_symbreak 2026-06-14 (complete)

Download the above graph as a PDF file
Solver Exact_symlocal 2026-06-14 (complete)

Download the above graph as a PDF file
Solver HitPBO 2026-06-22 (complete)

Download the above graph as a PDF file
Solver HitPBO-PL 2026-06-22 (cert) (complete)

Download the above graph as a PDF file
Solver Hybrid-CASHWMaxSATDisjComS-AdaptExact v1 (complete)

Download the above graph as a PDF file
Solver Hybrid-CASHWMaxSATDisjComS-AdaptExact v2 (complete)

Download the above graph as a PDF file
Solver Hybrid-CASHWMaxSATDisjComS-AdaptRoundingSat v1 (complete)

Download the above graph as a PDF file
Solver Hybrid-CASHWMaxSATDisjComS-AdaptRoundingSat v2 (complete)

Download the above graph as a PDF file
Solver Hybrid-SynLSExact+CASHWMaxSATDisjComS v1 (complete)

Download the above graph as a PDF file
Solver Hybrid-SynLSExact+CASHWMaxSATDisjComS v2 (complete)

Download the above graph as a PDF file
Solver Hybrid-SynLSRS+CASHWMaxSATDisjComS v1 (complete)

Download the above graph as a PDF file
Solver Hybrid-SynLSRS+CASHWMaxSATDisjComS v2 (complete)

Download the above graph as a PDF file
Solver Local-PB 2026-05-14 (complete)

Download the above graph as a PDF file
Solver NaPS 1.04 (complete)

Download the above graph as a PDF file
Solver OR-Tools CP-SAT (16 cores) 2026-05-18 (complete)

Download the above graph as a PDF file
Solver OR-Tools CP-SAT (1 core) 2026-05-18 (complete)

Download the above graph as a PDF file
Solver Picat(kissat) 2026-06-19 (complete)

Download the above graph as a PDF file
Solver PRINTEMPS (16 cores) 2026-05-18 (incomplete)

Download the above graph as a PDF file
Solver PRINTEMPS (1 core) 2026-05-18 (incomplete)

Download the above graph as a PDF file
Solver Qiuqi (16 cores) 2026-06-15 (complete)

Download the above graph as a PDF file
Solver Qiuqi (1 core) 2026-06-15 (complete)

Download the above graph as a PDF file
Solver roundingsat-ihs 2026-06-11 (complete)

Download the above graph as a PDF file
Solver roundingsat-ihs 2026-06-11 (cert) (complete)

Download the above graph as a PDF file
Solver roundingsat-opt 2026-06-11 (complete)

Download the above graph as a PDF file
Solver roundingsat-opt 2026-06-11 (cert) (complete)

Download the above graph as a PDF file
Solver roundingsat-satsuma-liftedcover 2026-06-11 (complete)

Download the above graph as a PDF file
Solver roundingsat-satsuma-liftedcover 2026-06-11 (cert) (complete)

Download the above graph as a PDF file
Solver roundingsat-satsuma-MIR 2026-06-11 (complete)

Download the above graph as a PDF file
Solver roundingsat-satsuma-MIR 2026-06-11 (cert) (complete)

Download the above graph as a PDF file
Solver roundingsat-satsuma-opt 2026-06-11 (complete)

Download the above graph as a PDF file
Solver roundingsat-satsuma-opt 2026-06-11 (cert) (complete)

Download the above graph as a PDF file
Solver roundingsat-satsuma-saturation 2026-06-11 (complete)

Download the above graph as a PDF file
Solver roundingsat-satsuma-saturation 2026-06-11 (cert) (complete)

Download the above graph as a PDF file
Solver Sat4j CuttingPlanes 2026-06-10 (complete)

Download the above graph as a PDF file
Solver Sat4j CuttingPlanes CERT 2026-06-10 (cert) (complete)

Download the above graph as a PDF file
Solver Sat4j Resolution 2026-06-10 (complete)

Download the above graph as a PDF file
Solver Sat4j Resolution CERT 2026-05-20 (cert) (complete)

Download the above graph as a PDF file
Solver SCIP-NaPS scip-naps-1.00a2 (complete)

Download the above graph as a PDF file
Solver scip-printemps (16 cores) 2026-06-28 (incomplete)

Download the above graph as a PDF file
Solver scip-printemps (1 core) 2026-06-28 (incomplete)

Download the above graph as a PDF file
Solver SynLSExact 2026-06-06 (complete)

Download the above graph as a PDF file
Solver SynLSRS 2026-06-06 (complete)

Download the above graph as a PDF file
Solver UWrMaxSat-SCIP 2.0.2 (complete)

Download the above graph as a PDF file
Solver UWrMaxSat-SCIP 2.0.3 (complete)

Download the above graph as a PDF file
Solver UWrMaxSat-SCIP 2.0.4 (complete)

Download the above graph as a PDF file
Solver WMaxCDCL 2026-05-17 (complete)

Download the above graph as a PDF file
Solver WMaxCDCL-S9 2026-05-17 (complete)

Download the above graph as a PDF file