Solver	#Ins.	Open-WBO-In	clasp	Eva500a	MSCG	Eva500b	Open-WBO	ISAC+2014-ms	pmifumax	optimax2-r	WBO	WPM-2014-co	MaxHS	QMS-g3-auto	optimax2-rn	Open-WBO-SU	SAT4J-ms	toysat	QMS-g2-pms	ILP-2013	CCLS2akms	WMaxSatz+	WMaxSatz09	ahmaxsat-ls	ahmaxsat	maxSatUZK	scip-maxsat	toysat_ls
ial/circuit-debugging-problems	3	3.01(3)	11.47(3)	9.61(3)	4.60(3)	9.65(3)	5.78(3)	10.36(3)	5.80(3)	13.76(3)	6.59(3)	6.47(3)	17.26(3)	518.31(1)	10.95(2)	1.89(1)	21.67(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)	0.00(0)
sean-safarpour	52	53.65(39)	101.40(38)	181.32(38)	108.19(37)	157.23(37)	101.77(36)	129.62(36)	146.43(36)	181.57(34)	179.11(30)	52.40(26)	225.78(24)	417.31(13)	170.98(7)	686.36(8)	153.93(5)	166.08(6)	314.52(6)	64.62(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	42	41	41	40	40	39	39	39	37	33	29	27	14	9	9	6	6	6	1	0	0	0	0	0	0	0	0