SAT 2011 Competition: plain MUS track: solvers page (tabular format, summary)

#Benchs: Number of benchs for this solver
Solved: Total number of solved instances (this is the sum of the SAT and UNSAT columns)
UNSAT: Total number of UNSAT answers
SAT: Total number of SAT answers
UNKNOWN: Total number of UNKNOWN answers
Bad Answers: Total number of bad answers

Category "MUS" (MUS)

Solver Name	#benchs	Solved	UNSAT	UNKNOWN	Bad Answers
Haifa-MUC 2011-04-07 (complete)	300	248 (82.67%)	248 (82.67%)	52 (17.33%)	0 (0%)
Haifa-MUC 2011-04-07 (complete)	300	250 (83.33%)	250 (83.33%)	50 (16.67%)	0 (0%)
Haifa-MUC-A 2011-04-07 (complete)	300	210 (70%)	210 (70%)	90 (30%)	0 (0%)
MiniUnsat2 2011-02-22 (complete)	300	185 (61.67%)	185 (61.67%)	115 (38.33%)	0 (0%)
MoUsSaka 2011-03-26 (complete)	300	243 (81%)	243 (81%)	6 (2%)	51 (17%)
MUSer 2011-02-10 (complete)	300	241 (80.33%)	241 (80.33%)	59 (19.67%)	0 (0%)
OptimuS a100_source (complete)	300	114 (38%)	114 (38%)	186 (62%)	0 (0%)
OptimuS p100_source (complete)	300	117 (39%)	117 (39%)	183 (61%)	0 (0%)
OptimuS x100_source (complete)	300	126 (42%)	126 (42%)	174 (58%)	0 (0%)
PicoMUS 941 (complete)	300	222 (74%)	222 (74%)	0 (0%)	78 (26%)
SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete)	300	189 (63%)	189 (63%)	13 (4.33%)	98 (32.67%)