[SMT-COMP] Contribution of QF_FPBV and QF_FPABV benchmarks

Tjark Weber tjark.weber at it.uu.se
Wed Apr 12 08:22:03 EDT 2017


On Tue, 2017-04-11 at 15:05 -0700, Clark Barrett wrote:

> I also agree that this is a separate issue from whether unknown
> benchmarks can or should be included in the competition.  I think that
> having an "unknown track" might be a very useful and interesting
> extension to the competition.

The competition featured an "unknown track" in 2016 (see the second
last slide of http://smtcomp.sourceforge.net/2016/SMT-COMP-2016.pdf for
a summary, and http://smtcomp.sourceforge.net/2016/results-toc.shtml
for full results).

We are currently discussing whether this track should be integrated
with the main track, so that results are no longer reported separately.


More information about the SMT-COMP mailing list