check_execution_time_of_program
