[SMT-LIB] A theory for quantifier free theory for arrays of floating point numbers and bitvectors

[Tjark Weber]

Dan,

On Mon, 2016-10-10 at 19:49 +0100, Delcypher wrote:
> Is there any particular deadline for submitting benchmarks?

As far as I am aware, there are no deadlines for submitting benchmarks
to SMT-LIB. However, there will (necessarily) be a deadline for newly
submitted benchmarks to be considered for SMT-COMP 2017.

In 2016, this deadline was on May 1. For 2017, the deadline has not
been decided yet.

Best,
Tjark