PB'24 competition: comparison of two solvers
Select two solvers that you want to compare
First solver:
CASHWMaxSAT-DisjCad-S_2024-07-10
CASHWMaxSAT-DisjCad-SP_2024-07-10
CASHWMaxSAT-DisjCom-S_2024-07-10
CASHWMaxSAT-DisjCom-SP_2024-07-10
DLS-PBO_2024-07-09
Exact_2024-07-05
Exact_no_SoPlex_2024-07-05
Exact_veripb2_2024-07-05
Exact_veripb2_no_SoPlex_2024-07-05
FiberSCIP_2024-07-02
FiberSCIP_2024-07-30
FiberSCIP_20 cores, 2024-07-30
FiberSCIP_20 cores, 2024-08-09
FiberSCIP_20 cores, 2024-08-12
Hybrid-CASHWMaxSATDisjCadSP+Exact_2024-07-11
Hybrid-CASHWMaxSATDisjComS+Exact_2024-07-11
Hybrid-LSMabP+Exact_2024-07-11
Hybrid-LSMabSP+CASHWMaxSATDisjCom_2024-07-11
Hybrid-LSMabSP+Exact_2024-07-11
IPBHS-GUROBI_2024-07-09
IPBHS-GUROBI-SYM_2024-07-09
IPBHS-SCIP_2024-07-09
LS-Mab_2024-07-10
LS-MabP_2024-07-10
LS-MabS_2024-07-10
LS-MabSP_2024-07-10
mixed-bag_2024-07-02
mixed-bag_2024-07-19
NaPS_1.03
NaPS-GM_1.03
NaPS-PB16_1.02b5
ParLS-PBO-1.1_2024-07-09
ParLS-PBO-1.1_20 cores, 2024-07-09
pb-oll-rs_2024-07-02
pb-oll-rs_2024-07-19
Picat_2024-06-18
RoundingSat_log (1)
RoundingSat_log (2)
RoundingSat_log (3)
RoundingSat_nolog (1)
RoundingSat_nolog (2)
Sat4j Cutting Planes 2024_2024-07-12
Sat4j Partial RoundingSAT 2024_2024-07-12
Sat4j Resolution 2024_2024-07-07
Sat4j Resolution Default_2024-07-07
SCIP_2024-07-07
Second solver:
CASHWMaxSAT-DisjCad-S_2024-07-10
CASHWMaxSAT-DisjCad-SP_2024-07-10
CASHWMaxSAT-DisjCom-S_2024-07-10
CASHWMaxSAT-DisjCom-SP_2024-07-10
DLS-PBO_2024-07-09
Exact_2024-07-05
Exact_no_SoPlex_2024-07-05
Exact_veripb2_2024-07-05
Exact_veripb2_no_SoPlex_2024-07-05
FiberSCIP_2024-07-02
FiberSCIP_2024-07-30
FiberSCIP_20 cores, 2024-07-30
FiberSCIP_20 cores, 2024-08-09
FiberSCIP_20 cores, 2024-08-12
Hybrid-CASHWMaxSATDisjCadSP+Exact_2024-07-11
Hybrid-CASHWMaxSATDisjComS+Exact_2024-07-11
Hybrid-LSMabP+Exact_2024-07-11
Hybrid-LSMabSP+CASHWMaxSATDisjCom_2024-07-11
Hybrid-LSMabSP+Exact_2024-07-11
IPBHS-GUROBI_2024-07-09
IPBHS-GUROBI-SYM_2024-07-09
IPBHS-SCIP_2024-07-09
LS-Mab_2024-07-10
LS-MabP_2024-07-10
LS-MabS_2024-07-10
LS-MabSP_2024-07-10
mixed-bag_2024-07-02
mixed-bag_2024-07-19
NaPS_1.03
NaPS-GM_1.03
NaPS-PB16_1.02b5
ParLS-PBO-1.1_2024-07-09
ParLS-PBO-1.1_20 cores, 2024-07-09
pb-oll-rs_2024-07-02
pb-oll-rs_2024-07-19
Picat_2024-06-18
RoundingSat_log (1)
RoundingSat_log (2)
RoundingSat_log (3)
RoundingSat_nolog (1)
RoundingSat_nolog (2)
Sat4j Cutting Planes 2024_2024-07-12
Sat4j Partial RoundingSAT 2024_2024-07-12
Sat4j Resolution 2024_2024-07-07
Sat4j Resolution Default_2024-07-07
SCIP_2024-07-07
No chosen solver.