KeY performance over time

How this was measured