Fix exec_time generation

Execution times are now fully functional.