execution times are now displayed in a pretty format