[SMTCOMP] Revised benchmark library

[Leonardo de Moura]

Hi,

We posted the revised benchmark library at:
http://www.csl.sri.com/users/demoura/smt-comp/benchmarks.shtml

We are planning to post the benchmarks for QF_UFBV next week.
We will *not* add more benchmarks to the old divisions.
We will probably *not* add new benchmarks to AUFLIA
and AUFLIRA. Our goal is to freeze the library next week.
If you find problems with the benchmarks, please tell us and
we will fix them for the final release on August 1st.

The revised library contains the answer (:status attribute) for more
than 99% of the benchmarks. If you know the answer for a benchmark
marked as unknown, please tell us.

The new library contains two new sets of benchmarks: NASA (AUFLIRA),
and Simplify/ESC-Java (AUFLIA).

We also included two new attributes: difficulty  and category.
These attributes will be used by the benchmark selection tool.
Additional information and the benchmark selection tool are
available at:
http://www.csl.sri.com/users/demoura/smt-comp/bench_selection.shtml

Best wishes,
Leonardo
for Aaron and Clark, too.