Benchmarks run and new results generated for 3459de512eaed9f4e88bb72d04dfee9367f9c38a