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

[Clark Barrett]

Christoph,

Recall that we now have a page documenting the proper format of submitted
benchmarks:
https://clc-gitlab.cs.uiowa.edu:2443/SMT-LIB-benchmarks-tmp/benchmarks-pending/blob/master/README.md

If you send your benchmarks right away, we will try to get them into the
May release.

-Clark

On Tue, Apr 24, 2018 at 6:46 AM, Tjark Weber <tjark.weber at it.uu.se> wrote:

> 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
>
>
> _______________________________________________
> SMT-COMP mailing list
> SMT-COMP at cs.nyu.edu
> https://cs.nyu.edu/mailman/listinfo/smt-comp
>