PB'26 competition: comparison of two solvers
Select two solvers that you want to compare
First solver:
AdaptExact_2026-06-08
AdaptExact_v2
AI448PBSolver_2026-04-26
AutoAdaptRoundingSat_2026-06-08
AutoAdaptRoundingSat_v2
AY_0.11.0
AY_2026-07-11b
AY-cert_2026-07-13-certfix (cert)
Best Known Results_oracle solver
cpmpy_highs (16 cores)_2026-07-05
cpmpy_highs (1 core)_2026-05-18
cpmpy_highs (1 core)_2026-07-05
cpmpy_highs (1 core)_2026-07-14
cpmpy_ortools (16 cores)_2026-05-18
cpmpy_ortools (16 cores)_2026-07-14
cpmpy_ortools (1 core)_2026-05-18
cpmpy_ortools (1 core)_2026-07-14
cpmpy_pindakaas_cadical_2026-05-18
DivingFalconSolver (16 cores)_2026-06-12
DivingFalconSolver (1 core)_2026-06-12
Exact_2026-06-14
Exact_2026-06-14 (cert)
exact-printemps (16 cores)_2026-05-18
exact-printemps (1 core)_2026-05-18
Exact_symbreak_2026-06-14
Exact_symlocal_2026-06-14
HitPBO_2026-06-22
HitPBO-PL_2026-06-22 (cert)
Hybrid-CASHWMaxSATDisjComS-AdaptExact_v1
Hybrid-CASHWMaxSATDisjComS-AdaptExact_v2
Hybrid-CASHWMaxSATDisjComS-AdaptRoundingSat_v1
Hybrid-CASHWMaxSATDisjComS-AdaptRoundingSat_v2
Hybrid-SynLSExact+CASHWMaxSATDisjComS_v1
Hybrid-SynLSExact+CASHWMaxSATDisjComS_v2
Hybrid-SynLSRS+CASHWMaxSATDisjComS_v1
Hybrid-SynLSRS+CASHWMaxSATDisjComS_v2
Local-PB_2026-05-14
NaPS_1.04
OR-Tools CP-SAT (16 cores)_2026-05-18
OR-Tools CP-SAT (1 core)_2026-05-18
Picat(kissat)_2026-06-19
PRINTEMPS (16 cores)_2026-05-18
PRINTEMPS (1 core)_2026-05-18
Qiuqi (16 cores)_2026-06-15
Qiuqi (1 core)_2026-06-15
roundingsat-ihs_2026-06-11
roundingsat-ihs_2026-06-11 (cert)
roundingsat-opt_2026-06-11
roundingsat-opt_2026-06-11 (cert)
roundingsat-satsuma-liftedcover_2026-06-11
roundingsat-satsuma-liftedcover_2026-06-11 (cert)
roundingsat-satsuma-MIR_2026-06-11
roundingsat-satsuma-MIR_2026-06-11 (cert)
roundingsat-satsuma-opt_2026-06-11
roundingsat-satsuma-opt_2026-06-11 (cert)
roundingsat-satsuma-saturation_2026-06-11
roundingsat-satsuma-saturation_2026-06-11 (cert)
Sat4j CuttingPlanes_2026-06-10
Sat4j CuttingPlanes CERT_2026-06-10 (cert)
Sat4j Resolution_2026-06-10
Sat4j Resolution CERT_2026-05-20 (cert)
SCIP-NaPS_scip-naps-1.00a2
scip-printemps (16 cores)_2026-06-28
scip-printemps (1 core)_2026-06-28
SynLSExact_2026-06-06
SynLSRS_2026-06-06
UWrMaxSat-SCIP_2.0.2
UWrMaxSat-SCIP_2.0.3
UWrMaxSat-SCIP_2.0.4
WMaxCDCL_2026-05-17
WMaxCDCL-S9_2026-05-17
Second solver:
AdaptExact_2026-06-08
AdaptExact_v2
AI448PBSolver_2026-04-26
AutoAdaptRoundingSat_2026-06-08
AutoAdaptRoundingSat_v2
AY_0.11.0
AY_2026-07-11b
AY-cert_2026-07-13-certfix (cert)
Best Known Results_oracle solver
cpmpy_highs (16 cores)_2026-07-05
cpmpy_highs (1 core)_2026-05-18
cpmpy_highs (1 core)_2026-07-05
cpmpy_highs (1 core)_2026-07-14
cpmpy_ortools (16 cores)_2026-05-18
cpmpy_ortools (16 cores)_2026-07-14
cpmpy_ortools (1 core)_2026-05-18
cpmpy_ortools (1 core)_2026-07-14
cpmpy_pindakaas_cadical_2026-05-18
DivingFalconSolver (16 cores)_2026-06-12
DivingFalconSolver (1 core)_2026-06-12
Exact_2026-06-14
Exact_2026-06-14 (cert)
exact-printemps (16 cores)_2026-05-18
exact-printemps (1 core)_2026-05-18
Exact_symbreak_2026-06-14
Exact_symlocal_2026-06-14
HitPBO_2026-06-22
HitPBO-PL_2026-06-22 (cert)
Hybrid-CASHWMaxSATDisjComS-AdaptExact_v1
Hybrid-CASHWMaxSATDisjComS-AdaptExact_v2
Hybrid-CASHWMaxSATDisjComS-AdaptRoundingSat_v1
Hybrid-CASHWMaxSATDisjComS-AdaptRoundingSat_v2
Hybrid-SynLSExact+CASHWMaxSATDisjComS_v1
Hybrid-SynLSExact+CASHWMaxSATDisjComS_v2
Hybrid-SynLSRS+CASHWMaxSATDisjComS_v1
Hybrid-SynLSRS+CASHWMaxSATDisjComS_v2
Local-PB_2026-05-14
NaPS_1.04
OR-Tools CP-SAT (16 cores)_2026-05-18
OR-Tools CP-SAT (1 core)_2026-05-18
Picat(kissat)_2026-06-19
PRINTEMPS (16 cores)_2026-05-18
PRINTEMPS (1 core)_2026-05-18
Qiuqi (16 cores)_2026-06-15
Qiuqi (1 core)_2026-06-15
roundingsat-ihs_2026-06-11
roundingsat-ihs_2026-06-11 (cert)
roundingsat-opt_2026-06-11
roundingsat-opt_2026-06-11 (cert)
roundingsat-satsuma-liftedcover_2026-06-11
roundingsat-satsuma-liftedcover_2026-06-11 (cert)
roundingsat-satsuma-MIR_2026-06-11
roundingsat-satsuma-MIR_2026-06-11 (cert)
roundingsat-satsuma-opt_2026-06-11
roundingsat-satsuma-opt_2026-06-11 (cert)
roundingsat-satsuma-saturation_2026-06-11
roundingsat-satsuma-saturation_2026-06-11 (cert)
Sat4j CuttingPlanes_2026-06-10
Sat4j CuttingPlanes CERT_2026-06-10 (cert)
Sat4j Resolution_2026-06-10
Sat4j Resolution CERT_2026-05-20 (cert)
SCIP-NaPS_scip-naps-1.00a2
scip-printemps (16 cores)_2026-06-28
scip-printemps (1 core)_2026-06-28
SynLSExact_2026-06-06
SynLSRS_2026-06-06
UWrMaxSat-SCIP_2.0.2
UWrMaxSat-SCIP_2.0.3
UWrMaxSat-SCIP_2.0.4
WMaxCDCL_2026-05-17
WMaxCDCL-S9_2026-05-17
No chosen solver.