[SMT-COMP] Contribution of QF_FPBV and QF_FPABV benchmarks
giles.reger at manchester.ac.uk
Fri Mar 24 17:11:14 EDT 2017
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.
More information about the SMT-COMP