using Syrk and Cholesky in timing.py