Version used in the benchmarks of the paper.