PB'16 competition: WBO track: comparison of two solvers
Select two solvers that you want to compare
First solver:
NaPS_1.02
Sat4j PB 2.3.6 Res+CP_PB16
Sat4j PB 2.3.6 Resolution_PB16
toysat_2016-05-02
Second solver:
NaPS_1.02
Sat4j PB 2.3.6 Res+CP_PB16
Sat4j PB 2.3.6 Resolution_PB16
toysat_2016-05-02
No chosen solver.