Do you know that a word can have a different meaning in a different context? You describe a formal proof but the Collin dictionary define proof that way : Pr

Do you know that a word can have a different meaning in a different context? You describe a formal proof but the Collin dictionary define proof that way : Proof is a fact, argument, or *piece of evidence* which shows that something is definitely true or definitely exists. That demonstration is a piece of evidence that shows that an algorithm is truly faster on that computer with that specific input, sure it's not a formal generalizable CS proof but it a valid usage of the word proven nonetheless.