best avg100: 12.72 (σ = 1.07)
12.45, (9.90), 12.64, 12.39, (8.97), 12.14, 13.27, 12.46, 14.06, 13.76, 11.78, (19.41), 14.03, 14.02, 11.73, 12.68, 14.05, 12.07, 10.54, 13.57, 11.66, 12.26, 12.38, 14.13, 11.42, 14.23, 13.36, 12.07, 12.45, 11.92, 12.26, 12.96, 14.01, 12.89, 12.76, 12.15, 12.59, (15.30), 11.46, 14.57, 14.02, 13.82, 12.22, 13.27, 11.92, 14.44, 14.18, 11.94, 10.91, 12.53, 12.39, 13.10, 11.81, 13.40, 13.55, 13.85, 14.57, 11.74, (9.38), 11.21, (16.74), (15.55), 11.38, 12.53, 14.55, (8.90), 12.73, 14.03, 10.05, 12.64, 11.88, 11.97, 12.15, 12.31, 12.43, 12.05, 12.41, (15.59), 12.78, 13.36, 14.64, 13.55, 13.68, 10.70, 11.37, 12.95, 11.44, 13.66, 12.80, 12.78, (9.18), 13.53, 13.45, 11.59, 14.44, 11.54, 13.86, 11.61, 13.40, 10.64
Ein paar Zeiten zuviel sind eingeklammert, keine Ahnung was qqTimer da gemacht hat
edit: anscheinend sind das alle sub10s und alle sup15s