[SMT-COMP] SMT-LIB benchmark release

[Clark Barrett]

Hi all,

The latest (2020-04-25) SMT-LIB release is now available on StarExec:
https://www.starexec.org/starexec/secure/explore/spaces.jsp?id=399901

Many thanks to Mathias Preiner and Aaron Stump,

-Clark


On Tue, Apr 28, 2020 at 10:21 AM Clark Barrett <barrett at cs.stanford.edu>
wrote:

> A new release of the SMT-LIB benchmark library (2020-04-25) is now
> available on the SMT-LIB GitLab server:
> https://clc-gitlab.cs.uiowa.edu:2443/explore/groups
>
> The upload to StarExec will follow shortly.  Another notification will be
> sent when the benchmarks are on StarExec.
>
> For this release we have:
>
>    * Added 37,061 new benchmarks in new logics:
>        o non-incremental:
>          ABV (169), ABVFPLRA (75), AUFDTLIRA (12,612), AUFDTNIRA (55),
>          AUFFPDTLIRA (167), BVFPLRA (185), FPLRA (27), QF_ABVFPLRA (74),
>          QF_UFFP (2), UFDTLIRA (11,813), UFDTNIRA (769),
>          UFFPDTLIRA (935), UFFPDTNIRA (19)
>
>        o incremental:
>          QF_UFFP (1), UF (5,079), UFNIA (5,074), UFNRA (5)
>
>    * Added 23,006 new benchmarks in existing logics:
>        o non-incremental:
>          ABVFP (29), ALIA (237), BV (96), BVFP (200), FP (8), LIA (225),
>          QF_ABV (1), QF_ALIA (169), QF_ANIA (4), QF_BV (17),
>          QF_BVFP (31), QF_BVFPLRA (152), QF_FP (24), QF_FPLRA (38),
>          QF_S (343), QF_SLIA (21,239), QF_UFNRA (1), UF (96), UFNIA (96)
>
>  Thank you to the 5 submitters of the new benchmarks:
>
>    David Deharbe, Matthias Heizmann, Johannes Kanig, Andres Nötzli, and
>    Dennis Yurichev
>
> And many thanks to Mathias Preiner, Aina Niemetz, and Hans-Jörg Schurr for
> their hard work putting this release together.
>