Solver	#Ins.	optimax2-r-i	WPM-2014-in	optimax2-rn-i	SAT4J-ms-inc	CCMPA	CCAT	CCLS2014	Dist	Swcca_ms
ial/circuit-debugging-problems	3	11.68(3)	3.51(3)	7.96(2)	20.77(1)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
sean-safarpour	52	29.56(30)	42.18(27)	53.72(15)	64.63(4)	227.58(5)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
Total	55	33	30	17	5	5	0	0	0	0