This file is automatically generated. It contains the descriptions of each uploaded file as provided by the user.

• README.txt: The README.txt file describes the content of the compressed file "benchmarks.tar.gz"
• benchmarks.tar.gz: Collection of input and output files used to produce the benchmarks discussed in the paper.