Benchmarks run and new results generated for 388bd442b822deade154132210959603caf6e9f7