[SMT-COMP] Contribution of QF_FPBV and QF_FPABV benchmarks

[Giles Reger]

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