Christoph, On Wed, 2015-06-24 at 13:51 +0000, Christoph Wintersteiger wrote: > I'm a bit surprised to see that only Z3 and MathSAT took part though, > was there a problem with other solvers (sonolar, CVC4?) or did they > simply not submit a solver? We did not receive other solver submissions for the floating-point divisions. Best, Tjark