- "mean": 13.992389136160003,
- "stddev": 0.21553593896680856,
- "median": 13.924619035460001,
- "user": 84.08106079999997,
- "system": 0.8509846700000001,
- "min": 13.81159969746,
- "max": 14.774044333460001,
+ "mean": 13.903733555459999,
+ "stddev": 0.19168634439996315,
+ "median": 13.83464575196,
+ "user": 84.07448690000003,
+ "system": 0.8601311899999999,
+ "min": 13.748144764460001,
+ "max": 14.412393211460001,