Separated timings and writeup into two files