[SMT-LIB] submitting SMTLIB2 benchmarks?

[Ranjit Jhala]

Hi all,

I have a bunch of SMTLIB2 benchmarks of the form

  (push . assert* . checksat . pop)*

the queries are QF_UFLIA formulas (though there
are some which require SET operations like union,
intersection, subset etc.)

Is there any interest in adding these to the SMTLIB benchmark set? If so,
could you point me in the right direction?

Many thanks (and apologies if this was the wrong
place to ask!)

Ranjit Jhala.