- "mean": 13.241399209209998,
- "stddev": 0.27217911366407616,
- "median": 13.138224996560002,
- "user": 82.42079815999998,
- "system": 0.86065818,
- "min": 13.07087743856,
- "max": 14.20647392156,
+ "mean": 13.28965104545,
+ "stddev": 0.21676366324606136,
+ "median": 13.238329154199999,
+ "user": 82.32959034000001,
+ "system": 0.8696058699999998,
+ "min": 13.110526265699999,
+ "max": 14.128961326699999,