[SMT-COMP] Contribution of QF_FPBV and QF_FPABV benchmarks

[Delcypher]

On 21 April 2017 at 17:33, Clark Barrett <barrett at cs.stanford.edu> wrote:
> We have not really enforced such limits in the past, but since you asked...
> :)
>
> I think that a sample of no more than 1000 benchmarks in each of QF_FPBV and
> QF_FPABV would be great!

Seeing as Christoph will be taking ownership of the benchmarks and he
suggested that I just submit them all and I prefer the option that
generates less work for me my initial submission will contain all the
benchmarks.

If it turns out we need sample these sets of benchmarks we can do so
in subsequent iterations.

Thanks,
Dan.