Solver	#Ins.	pmifumax	WPM1-2011	ISAC+-ms	optimax	optimax-ni	wbo2.1-cnf	MSUnCore	MaxHS	ILP-2013	scip-maxsat	Maxsatz2013f	Toulbar2	WMaxSatz+	WMaxSatz09	ahmaxsat	ckmax-small	glpk-maxsat	toysat
ial/circuit-debugging-problems	3	5.78(3)	11.85(3)	8.07(2)	29.08(3)	10.10(3)	586.39(3)	20.54(2)	757.64(1)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
sean-safarpour	52	147.01(36)	212.31(34)	184.73(30)	40.31(28)	29.47(27)	286.07(24)	61.99(19)	465.54(6)	61.63(1)	319.17(1)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
Total	55	39	37	32	31	30	27	21	7	1	1	0	0	0	0	0	0	0	0