PB'06 evaluation: comparison of two solvers
Select two solvers that you want to compare
First solver:
absconPseudo_1
bsolo_2006/05
glpPB_0.2
minisat+_1.14
PBS_4.1L
PB-smodels_1.28
PB-smodels_1.31
Pueblo_1.3
Pueblo_1.4
SAT4JPSEUDO_2006.2
SAT4JPSEUDO_2006.2 Heuristics
wildcat-rnp_0.8.0
wildcat-skc_0.8.0
Second solver:
absconPseudo_1
bsolo_2006/05
glpPB_0.2
minisat+_1.14
PBS_4.1L
PB-smodels_1.28
PB-smodels_1.31
Pueblo_1.3
Pueblo_1.4
SAT4JPSEUDO_2006.2
SAT4JPSEUDO_2006.2 Heuristics
wildcat-rnp_0.8.0
wildcat-skc_0.8.0
No chosen solver.