- "mean": 13.269334259860003,
- "stddev": 0.16067441763181775,
- "median": 13.20688639446,
- "user": 82.4979613,
- "system": 0.8987518699999999,
- "min": 13.14650321146,
- "max": 13.817360158460001,
+ "mean": 13.28965104545,
+ "stddev": 0.21676366324606136,
+ "median": 13.238329154199999,
+ "user": 82.32959034000001,
+ "system": 0.8696058699999998,
+ "min": 13.110526265699999,
+ "max": 14.128961326699999,