[SMT-LIB] Updated SMT-LIB benchmark library

Clark Barrett barrett at cs.nyu.edu
Tue Jun 2 09:05:20 EDT 2015


Hi all,

We are happy to announce a new update of the SMT-LIB benchmark library.
Many old benchmarks that had status "unknown" now have updated statuses of
either "sat" or "unsat". A number of new benchmarks have also been added,
both incremental and non-incremental

Incremental divisions with new benchmarks are: ALIA, ANIA, LIA, QF_ALIA,
QF_ANIA, QF_LIA, QF_NIA, and QF_UFNIA.

Non-incremental divisions with new benchmarks are: LIA, NIA, QF_ALIA,
QF_AUFNIA, QF_LIRA, QF_NIA, QF_NIRA, UFBV, UFLIA, and UFNIA.

The updated library is available on StarExec <http://www.starexec.org> in
the space:
SMT > SMT-LIB benchmarks > 2015-06-01.
Benchmarks can also be downloaded from NYU's mirror
<http://www.cs.nyu.edu/~barrett/smtlib/>.

-Clark, Cesare, and Pascal


More information about the SMT-LIB mailing list