Further improvements to benchmark-related scripts, some results added.