- "mean": 13.903733555459999,
- "stddev": 0.19168634439996315,
- "median": 13.83464575196,
- "user": 84.07448690000003,
- "system": 0.8601311899999999,
- "min": 13.748144764460001,
- "max": 14.412393211460001,
+ "mean": 13.995816192500001,
+ "stddev": 0.1644748734258061,
+ "median": 13.9193995067,
+ "user": 84.15829484000001,
+ "system": 0.8392032199999999,
+ "min": 13.824415346699999,
+ "max": 14.4707315307,