Solver	#Ins.	CnC-LS	dsat-wpm3-in-ms	WPM3-2015-in	Optiriss6-in	dsat-wpm3-s-in-ms	CCLS	CCEHC	HS-Greedy	Naps-1.02-ms	Ramp	SC2016	SsMonteCarlo	Swcca-ms
ial/circuit-debugging-problems	3	2.76(2)	10.50(3)	3.68(3)	20.35(3)	3.88(3)	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	51.05(45)	43.30(37)	24.18(35)	41.65(35)	62.60(21)	239.84(1)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
Total	55	47	40	38	38	24	1	0	0	0	0	0	0	0