Statistics for EvoSpex: An evolutionary algorithm for learning postconditions (artifact)