SAT 2011 Competition: group-oriented MUS track: comparison of two solvers
Select two solvers that you want to compare
First solver:
Haifa-HLMUC_2011-04-07
Haifa-HLMUC_2011-04-07
Haifa-HLMUC-A_2011-04-07
Haifa-HLMUC-A_2011-04-07
MoUsSaka_2011-03-26
MUSer_2011-02-10
PicoGCNF_941
SAT4J MUS_2.3.0-SNAPSHOT 2011-02-06
Second solver:
Haifa-HLMUC_2011-04-07
Haifa-HLMUC_2011-04-07
Haifa-HLMUC-A_2011-04-07
Haifa-HLMUC-A_2011-04-07
MoUsSaka_2011-03-26
MUSer_2011-02-10
PicoGCNF_941
SAT4J MUS_2.3.0-SNAPSHOT 2011-02-06
No chosen solver.