Benchmarks sets for quantifier elimination in common SMT theories

[Nicola Gigante]

Hi all,

are there publicly available benchmarks sets of QE instances in common SMT theories?

The SMT-LIB benchmark sets has some subsets of instances that can be used as tests/benchmarks for QE procedures, but I'm wondering if more specialized benchmarks sets exist for e.g. LIA, LRA, bitvectors etc.

Thanks in advance!

Nicola