[SMTCOMP] First version of the benchmark library is available

[Leonardo de Moura]

Hi,

The first version of the benchmark library for SMT-COMP'06 is  
available at:
http://www.csl.sri.com/users/demoura/smt-comp/benchmarks.shtml
The benchmarks are available also in the SMT-LIB webiste:
http://goedel.cs.uiowa.edu/smtlib/

It includes the benchmarks from last year, the benchmarks posted in  
the past months,
and two new sets of benchmarks (cellar and smtlib-predabs) sent by  
Albert Oliveiras.
Both sets are derived from realistic applications of SMT solvers.

A revised version of the benchmark library will be posted on July 1st.
If you have SMT benchmarks, then this is a good time to submit them.

Best wishes,
Leonardo de Moura
for Aaron Stump and Clark Barrett