Stats formating, partially fixing the bug with exec_time. It needs more care to see why is exec time negative.