PB'07 evaluation: comparison of two solvers
Select two solvers that you want to compare
First solver:
absconPseudo_102
bsolo_3.0.16
bsolo_3.0.17
glpPB_0.2
minisat+_1.14
oree_0.1.2 alpha
PB-clasp_2007-03-23
PB-clasp_2007-04-10
PBS4_2007-03-23
PBS4_v2_2007-03-23
Pueblo_1.4
sat4jPseudoCP_2007-03-23
sat4jPseudoCPClause_2007-03-23
SAT4JPseudoResolution_2007-03-23
wildcat-rnp_2007-03-21
wildcat-skc_2007-03-21
Second solver:
absconPseudo_102
bsolo_3.0.16
bsolo_3.0.17
glpPB_0.2
minisat+_1.14
oree_0.1.2 alpha
PB-clasp_2007-03-23
PB-clasp_2007-04-10
PBS4_2007-03-23
PBS4_v2_2007-03-23
Pueblo_1.4
sat4jPseudoCP_2007-03-23
sat4jPseudoCPClause_2007-03-23
SAT4JPseudoResolution_2007-03-23
wildcat-rnp_2007-03-21
wildcat-skc_2007-03-21
No chosen solver.