[SMTCOMP] New benchmarks for QF_LIA

[Leonardo de Moura]

Hi,

Tobias Schuele submitted several benchmarks for QF_LIA.
The benchmarks were generated using bounded model
checking procedures. The Averest website is located at:
http://www.averest.org.

The new benchmarks can be downloaded at:

http://www.csl.sri.com/users/demoura/smt-comp/benchmarks.shtml

Leonardo