THESE FILES ARE AUTOMATICALLY COPIED FROM THE BENCHMARKS REPO. PLEASE
USE THE copy-to-paper.sh SCRIPT.

--------------------------------------------------------------------------------

If you found this file inside the code subdirectory for benchmarks,
please don't delete it. We copy to the paper to remind people about
how to regenerate figures.

(Yes, this would be done better by git submodules.)
