Benchmarks run and new results generated for 12bd2850f0841660c42f7e4df0d51b5d7a9ae0cd