[david_sc]

best avg100: 13.55 (σ = 1.28)
13.29, 14.25, 13.53, 12.15, 13.67, 12.88, 13.38, 14.80, 12.55, 14.61, 12.84, 11.60, 15.41, 13.30, 13.21, 13.34, 11.86, 13.48, 12.99, 12.41, 13.09, 15.21, 14.68, 13.46, 14.63, 13.40, 13.63, 13.57, 16.59, 12.26, 14.22, 12.45, 12.13, 13.31, 17.86, 15.05, 13.91, 14.52, 12.18, 14.79, 14.82, 12.82, 12.14, (19.00), 14.33, 13.38, 12.74, 13.23, 15.15, 12.55, 14.52, 13.66, 12.27, 12.86, 14.82, 13.99, 12.86, 11.81, 13.43, 12.13, 14.34, 13.84, 15.83, 12.80, 12.35, 13.69, 12.81, 15.23, 13.70, 12.77, 17.46, 15.91, (10.85), 17.83, 12.47, 13.65, 13.43, 12.69, 13.50, 12.75, 13.97, 12.58, 13.15, 11.45, 12.35, 14.17, 13.63, 13.17, 13.82, 12.98, 15.07, 14.42, 12.76, 11.07, 13.00, 13.02, 13.06, 12.30, 12.50, 12.31