Update benchmarks 12 and 15