timing code updated - see StrassenTimed.java