PB'24 competition: WBO track: comparison of two solvers
Select two solvers that you want to compare
First solver:
Exact_2024-07-05
Exact_no_SoPlex_2024-07-05
FiberSCIP_2024-07-02
FiberSCIP_2024-07-30
FiberSCIP_20 cores, 2024-07-30
NaPS_1.03
NaPS_1.03a1
NaPS_1.03a2
NaPS-GM_1.03
NaPS-GM_1.03a1
NaPS-GM_1.03a2
NaPS-PB16_1.02b5
Sat4j Cutting Planes 2024_2024-07-12
Sat4j Partial RoundingSAT 2024_2024-07-12
Sat4j Resolution Default_2024-07-07
SCIP_2024-07-07
Second solver:
Exact_2024-07-05
Exact_no_SoPlex_2024-07-05
FiberSCIP_2024-07-02
FiberSCIP_2024-07-30
FiberSCIP_20 cores, 2024-07-30
NaPS_1.03
NaPS_1.03a1
NaPS_1.03a2
NaPS-GM_1.03
NaPS-GM_1.03a1
NaPS-GM_1.03a2
NaPS-PB16_1.02b5
Sat4j Cutting Planes 2024_2024-07-12
Sat4j Partial RoundingSAT 2024_2024-07-12
Sat4j Resolution Default_2024-07-07
SCIP_2024-07-07
No chosen solver.