Benchmarks run and new results generated for d39a247ac311423fcd0aed7dad646b8bb98f0662