id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
52	matrixMultiplication	zirkel	ywei zirkel	"Compare on the matrixMultiplication returns false.  The problems are:

Possible violation detected with specification at State 95
Possible incorrect final value for implementation output variable C at State 239

Full output in normal and verbose modes is attached."	defect	new	major		examples	1.0		examples, matrixMultiplication