[SMT-COMP] Contribution of QF_FPBV and QF_FPABV benchmarks

Delcypher delcypher at gmail.com
Sat Apr 22 07:18:56 EDT 2017


On 21 April 2017 at 16:06, Christoph Wintersteiger
<cwinter at microsoft.com> wrote:
> Hi Dan,
> Space is free, submit them all! If it turns out there are too many of them, we can let others (e.g. the competition organizers) do the sub-sampling themselves and by their own criteria.

Great. That saves me a bunch of work :)

> In other parts of the library it turned out that we had a bunch of duplicates with different file names (e.g. QF_BV/sage2 if I remember correctly). If there's an easy way for you to filter those, that would be nice.

Sure. That should be pretty easy to do.


More information about the SMT-COMP mailing list