- "mean": 13.632807582879996,
- "stddev": 0.2355323878543619,
- "median": 13.555863648479999,
- "user": 82.88931381000002,
- "system": 0.93749108,
- "min": 13.453315975479999,
- "max": 14.371597485479999,
+ "mean": 13.28965104545,
+ "stddev": 0.21676366324606136,
+ "median": 13.238329154199999,
+ "user": 82.32959034000001,
+ "system": 0.8696058699999998,
+ "min": 13.110526265699999,
+ "max": 14.128961326699999,