nicer output of timing results