PB'26 competition WBO: comparison of two solvers
Select two solvers that you want to compare
First solver:
AY_0.11.0
AY_2026-07-11b
Exact_2026-06-14
exact-printemps_2026-05-18
Exact_symbreak_2026-06-14
Exact_symlocal_2026-06-14
NaPS_1.04
OR-Tools CP-SAT_2026-05-18
PRINTEMPS_2026-05-18
Sat4j CuttingPlanes_2026-06-10
Sat4j Resolution_2026-06-10
scip-printemps_2026-06-28
UWrMaxSat-SCIP_2.0.3
UWrMaxSat-SCIP_2.0.4
UWrMaxSat-SCIP_2.0.5
Second solver:
AY_0.11.0
AY_2026-07-11b
Exact_2026-06-14
exact-printemps_2026-05-18
Exact_symbreak_2026-06-14
Exact_symlocal_2026-06-14
NaPS_1.04
OR-Tools CP-SAT_2026-05-18
PRINTEMPS_2026-05-18
Sat4j CuttingPlanes_2026-06-10
Sat4j Resolution_2026-06-10
scip-printemps_2026-06-28
UWrMaxSat-SCIP_2.0.3
UWrMaxSat-SCIP_2.0.4
UWrMaxSat-SCIP_2.0.5
No chosen solver.