best time: 6.93
worst time: 14.24
best avg5: 8.77 (σ = 1.18)
best avg12: 9.79 (σ = 1.53)
best avg100: 10.93 (σ = 1.18)
12.54, 9.13, 12.71, 11.16, 11.30, 9.94, 12.22, 10.06, 9.23, 11.56, 10.54, 10.27, 13.08, 11.34, 11.14, 9.23, 9.12, 6.93, 10.33, 11.92, 13.65, 12.59, 11.63, 11.95, 11.50, 10.05, 12.48, 9.57, 10.25, 9.47, 12.41, 8.78, 9.38, 11.86, 9.36, 12.67, 11.43, 11.02, 12.78, 11.48, 11.07, 7.43, 9.02, 10.55, 10.34, 9.98, 11.87, 10.54, 11.46, 11.12, 11.15, 12.21, 13.16, 11.12, 10.51, 9.93, 12.09, 10.36, 10.59, 10.98, 13.23, 10.33, 11.64, 11.24, 13.56, 12.18, 11.30, 12.60, 10.89, 11.87, 9.86, 11.94, 7.41, 9.81, 7.47, 9.77, 9.07, 13.66, 8.61, 12.65, 11.65, 8.96, 9.10, 10.78, 10.82, 11.97, 10.79, 13.24, 9.47, 11.12, 14.24, 10.69, 12.35, 10.31, 9.96, 9.43, 12.64, 9.44, 9.65, 10.69