- "mean": 13.332148464840003,
- "stddev": 0.2677936691595618,
- "median": 13.22471509514,
- "user": 82.76726615999999,
- "system": 0.9324920999999999,
- "min": 13.08697098314,
- "max": 14.10655408014,
+ "mean": 13.28965104545,
+ "stddev": 0.21676366324606136,
+ "median": 13.238329154199999,
+ "user": 82.32959034000001,
+ "system": 0.8696058699999998,
+ "min": 13.110526265699999,
+ "max": 14.128961326699999,