Rudimentary performance data analysis.
Rudimentary performance data analysis.

Output appears in https://github.com/tlaplus/tlaplus/issues/648#issuecomment-1000603103

[Tests][TLC]

tlaplus/tlaplus,tlaplus/tlaplus,tlaplus/tlaplus,tlaplus/tlaplus