Solver	#Ins.	optiriss-def-i	WPM3-2015-in	optiriss-sel-i	CnC	ILP-2015-in	CCEHC	CCLS2015	Swcca_ms
ial/circuit-debugging-problems	3	100%	100%	100%	66%	33%	0%	0%	0%
sean-safarpour	52	73%	69%	61%	50%	11%	0%	0%	0%