Solver	#Ins.	WPM1	PM2	wbo1.6-cnf	claspMaxSat	IncMaxSatz	QMaxSat0.4-cnf	WMaxSatz+	WMaxSatz-2009	akmaxsat	akmaxsat_ls	sat4j-maxsat
ial/circuit-debugging-problems	3	66%	33%	0%	0%	0%	0%	0%	0%	0%	0%	0%
sean-safarpour	52	42%	28%	7%	3%	0%	0%	0%	0%	0%	0%	0%