Timestamping all benchmarks.
New instantiations for paper re-ordering.