Solver	#Ins.	dsat-wpm3-in-ms	WPM3-2015-in	Optiriss6-in	CnC-LS	dsat-wpm3-s-in-ms	CCLS	CCEHC	HS-Greedy	Naps-1.02-ms	Ramp	SC2016	SsMonteCarlo	Swcca-ms
ial/circuit-debugging-problems	3	100%	100%	100%	66%	100%	0%	0%	0%	0%	0%	0%	0%	0%
sean-safarpour	52	71%	67%	67%	86%	40%	1%	0%	0%	0%	0%	0%	0%	0%