[SMT-COMP] Contribution of QF_FPBV and QF_FPABV benchmarks

Delcypher delcypher at gmail.com
Sat Apr 22 07:24:45 EDT 2017

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

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


More information about the SMT-COMP mailing list