[SMT-COMP] [SMT-LIB] SMT-COMP 2016: Draft Rules and Timeline Available
Tjark Weber
tjark.weber at it.uu.se
Sun May 15 08:27:38 EDT 2016
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
More information about the SMT-COMP
mailing list