PB'25 competition WBO: comparison of two solvers
Select two solvers that you want to compare
First solver:
Exact_2025-06-02
Exact_no_dombreaking_2025-06-16
NaPS_naps-1.03a6
OR-Tools CP-SAT_9.14
OR-Tools CP-SAT_9.14.2
PRINTEMPS_2025-05-28
Sat4j CP_2025-06-06
Sat4j Resolution_2025-06-06
SCIP_2024-07-07
toulbar2_2025-06-13
Second solver:
Exact_2025-06-02
Exact_no_dombreaking_2025-06-16
NaPS_naps-1.03a6
OR-Tools CP-SAT_9.14
OR-Tools CP-SAT_9.14.2
PRINTEMPS_2025-05-28
Sat4j CP_2025-06-06
Sat4j Resolution_2025-06-06
SCIP_2024-07-07
toulbar2_2025-06-13
No chosen solver.