PB'11 competition: WBO track: comparison of two solvers
Select two solvers that you want to compare
First solver:
clasp_2.0-RC2
clasp_2.0-RC2
Sat4j Resolution_2011-06-08
SCIP spx_SCIP 2.0.1.4. with SoPlex 1.5.0.4
wbo_1.6
Second solver:
clasp_2.0-RC2
clasp_2.0-RC2
Sat4j Resolution_2011-06-08
SCIP spx_SCIP 2.0.1.4. with SoPlex 1.5.0.4
wbo_1.6
No chosen solver.