[SMT-COMP] Contribution of QF_FPBV and QF_FPABV benchmarks

Giles Reger giles.reger at manchester.ac.uk
Fri Mar 24 17:11:14 EDT 2017

Hi all,

In addition to what Clark said, it may be helpful to know that benchmarks without status annotation won't be used in the SMT competition (afaik), so if you are reasonably confident of the status, please do add it.

This is one of the topics that we are seeking comments on. Before the previous competition there was some discussion around this topic which resulted in a separate ‘unknown benchmarks track’  - see the call for comments for further details.

Cheers, Giles

More information about the SMT-COMP mailing list