Updated benchmarks.

*) Renamings to appear lexicographically in the correct order.