Fwd: SMT-LIB benchmark release

[Clark Barrett]

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.

[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