[SMT-COMP] Floating-Point benchmarks for SMT-COMP

[Tjark Weber]

Christoph,

On Tue, 2018-04-24 at 11:08 +0000, Christoph Wintersteiger wrote:
> SMT-COMP organizers: do you want those benchmarks ready in time for the
> competition? Given that they are mostly functional tests they are
> probably a bit boring, but I'd be happy to add them soon/quickly.

If these benchmarks can be part of the 2018 SMT-LIB release (due in
mid-May), we will most likely include them in the competition.

Of course, it is important that the benchmarks are prepared with some
care as usual. (For instance, their logic and :status information
should be correct.)

Best,
Tjark