[SMT-LIB] new benchmarks

[Clark Barrett]

According to the schedule, today is the day for posting the first set of
SMT-COMP benchmarks.

The SMT-COMP benchmarks will be drawn from the SMT-LIB benchmarks and so I
encourage those of you who are competing to start looking at the benchmarks at
http://www.smtlib.org.  So far, new benchmarks have been added to the QF_UF and
AUFLIRA divisions since last year.

Unfortunately, we are running a bit behind with more new benchmarks.  I hope to
be posting a number of them in the next week or two.  It's not too late to
submit benchmarks.  We will accept benchmark submissions until June 1.

Thanks,

Clark Barrett
(benchmark guy for SMT-COMP)