SAT 2011 Competition: group-oriented 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 "GMUS" (GMUS)

Solver Name	#benchs	Solved	UNSAT	UNKNOWN	Bad Answers
Haifa-HLMUC 2011-04-07 (complete)	197	197 (100%)	197 (100%)	0 (0%)	0 (0%)
Haifa-HLMUC 2011-04-07 (complete)	197	180 (91.37%)	180 (91.37%)	10 (5.08%)	7 (3.55%)
Haifa-HLMUC-A 2011-04-07 (complete)	197	196 (99.49%)	196 (99.49%)	1 (0.51%)	0 (0%)
Haifa-HLMUC-A 2011-04-07 (complete)	197	196 (99.49%)	196 (99.49%)	1 (0.51%)	0 (0%)
MoUsSaka 2011-03-26 (complete)	197	194 (98.48%)	194 (98.48%)	0 (0%)	3 (1.52%)
MUSer 2011-02-10 (complete)	197	184 (93.4%)	184 (93.4%)	13 (6.6%)	0 (0%)
PicoGCNF 941 (complete)	197	181 (91.88%)	181 (91.88%)	0 (0%)	16 (8.12%)
SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete)	197	115 (58.38%)	115 (58.38%)	2 (1.02%)	80 (40.61%)