[SMTCOMP] New QF_AUFLIA benchmarks

[Leonardo de Moura]

Hi,

We translated to SMT-LIB format a subset of the benchmarks
used in the paper:

"Big proof engines as little proof engines: new results on
rewrite-based satisfiability procedure"
Alessandro Armando, Maria Paola Bonacina, Silvio Ranise,
Stephan Schulz.
PDPAR'05 (http://www.ai.dist.unige.it/pdpar05/)

The benchmarks can be downloaded at:
http://www.csl.sri.com/users/demoura/smt-comp/benchmarks.shtml

Leonardo