[SMT-COMP] Contribution of QF_FPBV and QF_FPABV benchmarks

[Delcypher]

On 2 May 2017 at 12:33, Christoph Wintersteiger <cwinter at microsoft.com> wrote:
> Thanks again, I'm adding these to our repositories just now.

Great. Thanks for accepting these benchmarks :)