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