[SMT-COMP] [SMT-LIB] SMT-COMP 2016: Draft Rules and Timeline Available

[Tjark Weber]

Dejan,

On Fri, 2016-05-13 at 14:46 +0000, Dejan Jovanović wrote:
> Quick question: will the competition include QF_NIA benchmarks that
> have unguarded division (div by zero issue)?

Are there any SMT-LIB benchmarks where this makes a difference?

We have not treated division on integers or reals special in the past,
i.e., such benchmarks would have been eligible for the competition.

Best,
Tjark