[SMT-COMP] SMT-COMP 2015: All Jobs Complete

[Martin Brain]

On Wed, 2015-06-24 at 13:51 +0000, Christoph Wintersteiger wrote:
> Hi all,
> 
> Yes, the files didn't contain status values, and I didn't want to use Z3's result or values copied over from the corresponding files that contain real-numbered numerals as I didn't want to introduce faulty values. 
> 
> 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?

I can answer for CVC4 : I hadn't finished debugging a few issues in the
theory solver and thought it was unwise to enter the competition with
known bugs.

Cheers,
 - Martin