Fri Jul 27 11:30:25 BST 2012

These benchmarks come from armc/test/term/NRC. The *.armc files are
the *.pl files in the original directory.
