[SMT-COMP] Contribution of QF_FPBV and QF_FPABV benchmarks

[Tjark Weber]

Clark,

On Tue, 2017-04-11 at 15:05 -0700, Clark Barrett wrote:

> I also agree that this is a separate issue from whether unknown
> benchmarks can or should be included in the competition.  I think that
> having an "unknown track" might be a very useful and interesting
> extension to the competition.

The competition featured an "unknown track" in 2016 (see the second
last slide of http://smtcomp.sourceforge.net/2016/SMT-COMP-2016.pdf for
a summary, and http://smtcomp.sourceforge.net/2016/results-toc.shtml
for full results).

We are currently discussing whether this track should be integrated
with the main track, so that results are no longer reported separately.

Best,
Tjark