Solver	#Ins.	ISAC+-2015-ms	mscg2015a	mscg2015b	WPM3-2015-co	maxino-kdyn	Open-WBO	optiriss-def	maxino-k16	optiriss-sel	MaxHS	QMSAT15UC	QMSAT14	Open-WBO-L	ILP-2015	toysat	CCEHC2akms	CCLS2akms-ls	CCLS2akms	WMaxSatz+	WMaxSatz09	ahms-1.55	ahms-1.68	ahms-ls-1.55	ahms-ls-1.68	msUZK-nopp	msUZK-pp	ratselfax-cnf	toysat_ls
ial/circuit-debugging-problems	3	100%	100%	100%	100%	100%	100%	100%	100%	100%	66%	33%	33%	33%	33%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%
sean-safarpour	52	80%	76%	76%	76%	75%	73%	73%	73%	73%	57%	30%	23%	11%	11%	9%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%	0%