Update spec timoue to use cpu time, not real (elapsed) time