[SMT-LIB] FP demo track at SMT-COMP

[Alberto Griggio]

Hi,

> Hi all,
>
> So far, none of the submissions to SMT-COMP 2015 have select QF_FP or
> QF_BVFP as categories they would like to take part in:
>
> http://smtcomp.sourceforge.net/2015/participants.shtml
>
> We would like to run the floating-point demo track alongside the other
> competition track, i.e., starting June 14. So, if you would like to
> participate, please let us know as soon as possible. As Tjark said, if
> we don’t hear from you, your solver(s) will not take part.
>
> If you want to take a look at the latest benchmarks before committing to
> it, they are available on starexec in root/SMT/SMT-LIB
> benchmarks/2015-06-01/non-incremental/QF_FP and …/QF_BVFP.

I was planning to submit. As I told Tjark, I did not understand that the
general SMTCOMP deadline was meant also for the FP demo tracks. If I'm
still on time, I'll try to submit mathsat by june 14.

Alberto