[SMT-LIB] How to submit benchmarks to smtlib

[Florian Schanda]

Hi,

I am compiling benchmarks for QF_FP and QF_FPBV (and probably more) that have 
been inspired by the kind of floating point issues we and our users have in 
SPARK (http://www.spark-2014.org)

I've looked on smt-lib.org but I could not actually find any instructions on 
how I would go about submitting them. What should I do?

Thanks,

	Florian