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	3.89(100)	1.17(100)	1.77(66)	2.30(33)	0.00(0)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
sean-safarpour	52	5.68(57)	7.30(51)	5.16(28)	1.65(7)	7.29(9)	0.00(0)	0.00(0)	0.00(0)	0.00(0)
Total	55	157	151	95	41	9	0	0	0	0