SAT 2009 Competition: minisat hack 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 "applications instances" (APPLICATION)

Solver Name	#benchs	Solved	UNSAT	SAT	UNKNOWN
APTUSAT 2009-03-22 (complete)	292	123 (42.12%)	69 (23.63%)	54 (18.49%)	169 (57.88%)
BinMiniSat 2009-03-21 (complete)	292	123 (42.12%)	75 (25.68%)	48 (16.44%)	169 (57.88%)
MiniSAT 09z 2009-03-22 (complete)	292	149 (51.03%)	90 (30.82%)	59 (20.21%)	143 (48.97%)
minisat2 070721/core (complete)	292	120 (41.1%)	67 (22.95%)	53 (18.15%)	172 (58.9%)
MiniSat2hack 2009-03-23 (complete)	292	119 (40.75%)	67 (22.95%)	52 (17.81%)	173 (59.25%)
minisat_cumr p-2009-03-18 (complete)	292	142 (48.63%)	84 (28.77%)	58 (19.86%)	150 (51.37%)
minisat_cumr r-2009-03-18 (complete)	292	131 (44.86%)	71 (24.32%)	60 (20.55%)	161 (55.14%)