[SMT-COMP] SMT-LIB benchmark release 2021

[Mathias Preiner]

Hi all,

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

For this year's release we got over 24,000 new benchmarks from 13 
submitters:

   Clark Barrett (139 in incremental/UFDTNIA) 

   Nestan Tsiskaridze (47 in non-incremental/{BV,UFBV}) 

   Tjark Weber (1 in non-incremental/QF_BV) 

   Johannes Schoisswohl (77 in non-incremental/{UF,UFDT}) 

   Andrew V. Jones (19073 in incremental/{QF_ABVFP,QF_BVFP,QF_FP}) 

   Maria Schett (208 in non-incremental/UFBVLIA) 

   Anastasiia Izycheva (490 in non-incremental/{FP,NRA}) 

   Hernán Ponce de Leon (791 in non-incremental/QF_IDL) 

   Alexey Vishnyakov (535 in non-incremental/QF_BV) 

   Da Shen (856 in 
non-incremental/{QF_LIA,QF_LRA,QF_LIRA,QF_NRA,QF_NIA})
   Matteo Favaro (1 in non-incremental/QF_BV) 

   Mathias Preiner (165 in non-incremental/BV) 

   Nuno Lopes (2000 in non-incremental/{AUFBV,BV,QF_AUFBV,QF_BV,UFBV})


Thanks a lot to all submitters for the new benchmarks!

And also many thanks to Hans-Jörg Schurr for helping out with this 
year's release!

Cheers,
Mathias
-------------- next part --------------
A non-text attachment was scrubbed...
Name: OpenPGP_0xA4AF2BDE778B2463.asc
Type: application/pgp-keys
Size: 5238 bytes
Desc: OpenPGP public key
URL: </pipermail/smt-comp/attachments/20210528/49385684/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/20210528/49385684/attachment.sig>