Solver	#Ins.	wbo1.6-cnf	WPM1	PM2	QMaxSat-g2-ms	Sat4j	ShinMaxSat	WMaxSatz+	WMaxSatz09	akmaxsat	akmaxsat_ls	iut_rr_ls	iut_rr_rv
ial/circuit-debugging-problems	3	33%	33%	33%	0%	0%	0%	0%	0%	0%	0%	0%	0%
sean-safarpour	52	36%	32%	13%	1%	0%	0%	0%	0%	0%	0%	0%	0%