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	1%	1%	1%	0%	0%	0%	0%	0%	0%	0%	0%	0%
sean-safarpour	52	19%	17%	7%	1%	0%	0%	0%	0%	0%	0%	0%	0%