SAT 2011 Competition: plain MUS track: comparison of two solvers
Select two solvers that you want to compare
First solver:
Haifa-MUC_2011-04-07
Haifa-MUC_2011-04-07
Haifa-MUC-A_2011-04-07
MiniUnsat2_2011-02-22
MoUsSaka_2011-03-26
MUSer_2011-02-10
OptimuS_a100_source
OptimuS_p100_source
OptimuS_x100_source
PicoMUS_941
SAT4J MUS_2.3.0-SNAPSHOT 2011-02-06
Second solver:
Haifa-MUC_2011-04-07
Haifa-MUC_2011-04-07
Haifa-MUC-A_2011-04-07
MiniUnsat2_2011-02-22
MoUsSaka_2011-03-26
MUSer_2011-02-10
OptimuS_a100_source
OptimuS_p100_source
OptimuS_x100_source
PicoMUS_941
SAT4J MUS_2.3.0-SNAPSHOT 2011-02-06
No chosen solver.