- "mean": 13.28965104545,
- "stddev": 0.21676366324606136,
- "median": 13.238329154199999,
- "user": 82.32959034000001,
- "system": 0.8696058699999998,
- "min": 13.110526265699999,
- "max": 14.128961326699999,
+ "mean": 13.275570773070001,
+ "stddev": 0.17261045049305512,
+ "median": 13.20598138862,
+ "user": 82.18376609999999,
+ "system": 0.8734752699999998,
+ "min": 13.09431488162,
+ "max": 13.69663597462,