[SMT-COMP] SMT-LIB release 2023

[Mathias Preiner]

Hi all,

The 2023 release of the SMT-LIB library (2023-05-08) is now available on 
the SMT-LIB GitLab server 
(https://clc-gitlab.cs.uiowa.edu:2443/explore/groups, tag r2023-05-08) 
and StarExec 
(https://www.starexec.org/starexec/secure/explore/spaces.jsp?id=538454):

For this year's release we got over 42,853 new benchmarks from 14 
submitters. Thanks a lot to all submitters for the new benchmarks!

Here is the summary of new benchmarks per logic:

    4806 non-incremental/ABV
      30 non-incremental/ABVFP
       2 non-incremental/ABVFPLRA
    3056 non-incremental/ALIA
      56 non-incremental/ANIA
      51 non-incremental/AUFLIA
     140 non-incremental/BV
       3 non-incremental/BVFP
      11 non-incremental/BVFPLRA
      20 non-incremental/LRA
      40 non-incremental/NIA
      64 non-incremental/QF_ABV
      50 non-incremental/QF_ALIA
      24 non-incremental/QF_ANIA
    3719 non-incremental/QF_BV
       2 non-incremental/QF_BVFP
       7 non-incremental/QF_BVFPLRA
       1 non-incremental/QF_FP
       4 non-incremental/QF_FPLRA
       2 non-incremental/QF_LIA
      85 non-incremental/QF_NIA
   16604 non-incremental/QF_S
   13589 non-incremental/QF_SLIA
      76 non-incremental/QF_UFBV
      76 non-incremental/QF_UFBVDT
      76 non-incremental/QF_UFDTLIA
      76 non-incremental/QF_UFDTNIA
      76 non-incremental/QF_UFLIA
      76 non-incremental/QF_UFNIA
      21 non-incremental/QF_UFNRA
       1 non-incremental/UFBV
       1 non-incremental/UFBVDT
       1 non-incremental/UFDTLIA
       1 non-incremental/UFDTNIA
       1 non-incremental/UFLIA
       1 non-incremental/UFNIA
       2 incremental/QF_NIA

We also corrected some more issues with misclassified benchmarks and 
moved them to their correct logic.

Many thanks to Hans-Jörg Schurr for again helping out with this year's 
release and managing the new submissions on GitHub, and Guillaume Bury 
for developing Dolmen!

Cheers,
Mathias
-------------- next part --------------
A non-text attachment was scrubbed...
Name: OpenPGP_0xA4AF2BDE778B2463.asc
Type: application/pgp-keys
Size: 4865 bytes
Desc: OpenPGP public key
URL: </pipermail/smt-comp/attachments/20230516/f3a63e08/attachment.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: OpenPGP_signature
Type: application/pgp-signature
Size: 840 bytes
Desc: OpenPGP digital signature
URL: </pipermail/smt-comp/attachments/20230516/f3a63e08/attachment.sig>