[SMT-COMP] Contribution of QF_FPBV and QF_FPABV benchmarks

[Tjark Weber]

Dan,

On Fri, 2017-04-07 at 11:39 +0100, Delcypher wrote:
> Is it okay to put these "unknown" benchmarks as "unsat"?

Please do not do this! Status information in SMT-LIB benchmarks ought
to be correct.

Whether benchmarks with unknown status should be included in the
competition is a separate question that we are currently debating. But
simply setting an arbitrary (possibly incorrect) status would lead to
problems when these benchmarks are used in the competition, and would
most likely result in their retroactive disqualification.

Best,
Tjark