Benchmarks run and new results generated for 856da1fffa02d0df466d81001be75df2420b8456