PB'25 competition: comparison of two solvers
Select two solvers that you want to compare
First solver:
AI448PBSolver_2025-05-31
CASHWMaxSATDisjCad-S_2025-06-01
CASHWMaxSATDisjCom-S_2025-06-01
Exact_2025-06-02
Exact_no_db_no_ls_2025-06-19
Exact_no_dombreaking_2025-06-16
ExactPR_2025-06-01
Exact_proof_2025-06-02
ExactPR-S_2025-06-01
Hybrid-CASHWMaxSATDisjCad+ExactPRS_2025-06-01
Hybrid-CASHWMaxSATDisjCadS+SynLSCD_2025-06-01
Hybrid-CASHWMaxSATDisjCadS+SynLSCD_2025-07-23
Hybrid-CASHWMaxSATDisjCom+ExactPRS_2025-06-01
Hybrid-CASHWMaxSATDisjCom+ExactPRS9_2025-06-02
Hybrid-CASHWMaxSATDisjComS+SynLSCD_2025-06-01
Hybrid-CASHWMaxSATDisjComS+SynLSCD_2025-07-23
Hybrid-NuPBODeepOptS-ExactPRnols_2025-06-02
IPBHS-GUROBI_2025-06-09
IPBHS-GUROBI-SYM_2025-06-09
IPBHS-SCIP_2025-06-09
LSIPExact_S1
LSIPExact_S1
LSIPExact _S2
LSIPExact 20 cores_S1
LSIPExact 20 cores_S2
mixed-bag-2024_2025-05-06
mixed-bag-2024_2025-07-10
NaPS_naps-1.03a6
NuPBO-DeepOpt+_2025-06-02
NuPBO-DeepOptS+_2025-06-02
OR-Tools CP-SAT_9.14
OR-Tools CP-SAT 20 cores_9.14
pb-oll-rs-2024_2025-05-06
pb_picat_2025-07-11
Picat_2025-06-16
PRINTEMPS_2025-05-28
PRINTEMPS 20 cores_2025-05-28
roundingsat_63f22ad
roundingsat-ihs_63f22ad
roundingsat-ihs-log_63f22ad
roundingsat-log_63f22ad
roundingsat-ls_63f22ad
roundingsat-ls-log_63f22ad
roundingsat-ls+pbsuma_63f22ad
roundingsat-ls+pbsuma-log_0f876b3
roundingsat-ls+pbsuma-log_63f22ad
roundingsat+pbsuma_63f22ad
roundingsat+pbsuma-log_63f22ad
roundingsat+pbsuma-opt_63f22ad
roundingsat+pbsuma-opt-log_0f876b3
roundingsat+pbsuma-opt-log_63f22ad
Sat4j CP_2025-06-06
Sat4j CP VeriPB_2025-06-06
Sat4j Resolution_2025-06-06
Sat4j Resolution VeriPB_2025-06-06
SCIP_2024-07-07
SCIP_2025-06-13
SCIP-NaPS_1.00a1
SCIP-NaPS_1.00a2
SynLSCD_2025-06-01
SynLSCD_2025-07-23
SynLSCD-PS_2025-06-01
SynLSCD-PS_2025-07-23
toulbar2_2025-06-13
UWrMaxSat_2025-06-04
UWrMaxSat-SCIP_2025-06-04
WMaxCDCL-SCIP_2025-06-21
Second solver:
AI448PBSolver_2025-05-31
CASHWMaxSATDisjCad-S_2025-06-01
CASHWMaxSATDisjCom-S_2025-06-01
Exact_2025-06-02
Exact_no_db_no_ls_2025-06-19
Exact_no_dombreaking_2025-06-16
ExactPR_2025-06-01
Exact_proof_2025-06-02
ExactPR-S_2025-06-01
Hybrid-CASHWMaxSATDisjCad+ExactPRS_2025-06-01
Hybrid-CASHWMaxSATDisjCadS+SynLSCD_2025-06-01
Hybrid-CASHWMaxSATDisjCadS+SynLSCD_2025-07-23
Hybrid-CASHWMaxSATDisjCom+ExactPRS_2025-06-01
Hybrid-CASHWMaxSATDisjCom+ExactPRS9_2025-06-02
Hybrid-CASHWMaxSATDisjComS+SynLSCD_2025-06-01
Hybrid-CASHWMaxSATDisjComS+SynLSCD_2025-07-23
Hybrid-NuPBODeepOptS-ExactPRnols_2025-06-02
IPBHS-GUROBI_2025-06-09
IPBHS-GUROBI-SYM_2025-06-09
IPBHS-SCIP_2025-06-09
LSIPExact_S1
LSIPExact_S1
LSIPExact _S2
LSIPExact 20 cores_S1
LSIPExact 20 cores_S2
mixed-bag-2024_2025-05-06
mixed-bag-2024_2025-07-10
NaPS_naps-1.03a6
NuPBO-DeepOpt+_2025-06-02
NuPBO-DeepOptS+_2025-06-02
OR-Tools CP-SAT_9.14
OR-Tools CP-SAT 20 cores_9.14
pb-oll-rs-2024_2025-05-06
pb_picat_2025-07-11
Picat_2025-06-16
PRINTEMPS_2025-05-28
PRINTEMPS 20 cores_2025-05-28
roundingsat_63f22ad
roundingsat-ihs_63f22ad
roundingsat-ihs-log_63f22ad
roundingsat-log_63f22ad
roundingsat-ls_63f22ad
roundingsat-ls-log_63f22ad
roundingsat-ls+pbsuma_63f22ad
roundingsat-ls+pbsuma-log_0f876b3
roundingsat-ls+pbsuma-log_63f22ad
roundingsat+pbsuma_63f22ad
roundingsat+pbsuma-log_63f22ad
roundingsat+pbsuma-opt_63f22ad
roundingsat+pbsuma-opt-log_0f876b3
roundingsat+pbsuma-opt-log_63f22ad
Sat4j CP_2025-06-06
Sat4j CP VeriPB_2025-06-06
Sat4j Resolution_2025-06-06
Sat4j Resolution VeriPB_2025-06-06
SCIP_2024-07-07
SCIP_2025-06-13
SCIP-NaPS_1.00a1
SCIP-NaPS_1.00a2
SynLSCD_2025-06-01
SynLSCD_2025-07-23
SynLSCD-PS_2025-06-01
SynLSCD-PS_2025-07-23
toulbar2_2025-06-13
UWrMaxSat_2025-06-04
UWrMaxSat-SCIP_2025-06-04
WMaxCDCL-SCIP_2025-06-21
No chosen solver.