Solver	#Ins.	Open-WBO-In	clasp	Eva500a	MSCG	Eva500b	Open-WBO	ISAC+2014-ms	pmifumax	optimax2-r	WBO	WPM-2014-co	MaxHS	optimax2-rn	QMS-g3-auto	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	0.16(100)	0.63(100)	0.53(100)	0.25(100)	0.53(100)	0.32(100)	0.57(100)	0.32(100)	0.76(100)	0.36(100)	0.35(100)	0.95(100)	0.40(66)	9.59(33)	0.03(33)	0.40(33)	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	2.23(75)	4.11(73)	7.36(73)	4.27(71)	6.21(71)	3.91(69)	4.98(69)	5.63(69)	6.59(65)	5.74(57)	1.45(50)	5.78(46)	1.27(13)	5.79(25)	5.86(15)	0.82(9)	1.06(11)	2.01(11)	0.06(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	175	173	173	171	171	169	169	169	165	157	150	146	80	58	48	42	11	11	1	0	0	0	0	0	0	0	0