PB'16 competition: satisfaction and optimization track: comparison of two solvers
Select two solvers that you want to compare
First solver:
cdcl-cuttingplanes DEC_2016-05-01
cdcl-cuttingplanes OPT binary search_2016-05-01
cdcl-cuttingplanes OPT linear search_2016-05-01
minisatp_2012-10-02 git-d91742b
NaPS_1.02
Open-WBO_PB16
Open-WBO-LSU_PB16
Sat4j PB 2.3.6 Res+CP_PB16
Sat4j PB 2.3.6 Resolution_PB16
toysat_2016-05-02
Second solver:
cdcl-cuttingplanes DEC_2016-05-01
cdcl-cuttingplanes OPT binary search_2016-05-01
cdcl-cuttingplanes OPT linear search_2016-05-01
minisatp_2012-10-02 git-d91742b
NaPS_1.02
Open-WBO_PB16
Open-WBO-LSU_PB16
Sat4j PB 2.3.6 Res+CP_PB16
Sat4j PB 2.3.6 Resolution_PB16
toysat_2016-05-02
No chosen solver.