Solver	#Ins.	optiriss-def-i	WPM3-2015-in	optiriss-sel-i	CnC	ILP-2015-in	CCEHC	CCLS2015	Swcca_ms
ial/circuit-debugging-problems	3	5.61(3)	4.01(3)	4.08(3)	106.55(2)	119.23(1)	0.00(0)	0.00(0)	0.00(0)
sean-safarpour	52	28.16(38)	42.54(36)	35.72(32)	36.08(26)	53.29(6)	0.00(0)	0.00(0)	0.00(0)
Total	55	41	39	35	28	7	0	0	0