Before I watched the video, my answer to this was going to be that the existence of a program figuring out how long another program takes to run contradicts the undecidability of the halting problem, so no such program could possibly exist. But you were going for more of a “why isn’t it perfect.”