Benchmarks run and new results generated for 7a4a5590463bd7b250ff741def4dad1c6f1908f1