% Public Domain. No Rights Reserved. See
% https://creativecommons.org/publicdomain/zero/1.0/

\section{Benchmarks}