The Polybench 3.2 benchmark was obtained from sourceforge.org, where it is
available under the GPLv2.
