better timer, standalone lanczos timer