Solver	#Ins.	pmifumax	WPM1-2011	optimax	optimax-ni	wbo2.1-cnf	ISAC+-ms	MSUnCore	MaxHS	ILP-2013	scip-maxsat	Maxsatz2013f	Toulbar2	WMaxSatz+	WMaxSatz09	ahmaxsat	ckmax-small	glpk-maxsat	toysat
ial/circuit-debugging-problems	3	100%	100%	100%	100%	100%	66%	66%	33%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
sean-safarpour	52	69%	65%	53%	51%	46%	57%	36%	11%	1%	1%	0%	0%	0%	0%	0%	0%	0%	0%