This updates the benchmark script collect_lp_benchmark.sh to reflect changes in the data sources (Hans Mittelmann's benchmark site switched from gzip to bzip for many files). It also updates the comments to reflect the changing nature of the Mittelmann's benchmark set, and to identify the particular version this benchmark set reflects.
This updates the benchmark script collect_lp_benchmark.sh to reflect changes in the data sources (Hans Mittelmann's benchmark site switched from gzip to bzip for many files). It also updates the comments to reflect the changing nature of the Mittelmann's benchmark set, and to identify the particular version this benchmark set reflects.