[SMT-COMP] SMT-COMP 2015 Running

[Christoph Wintersteiger]

Hi Tjark,

Were there any problems with Z3 that we should fix, or was it an infrastructure problem?

Cheers,
Christoph 


-----Original Message-----
From: smt-comp-bounces at cs.nyu.edu [mailto:smt-comp-bounces at cs.nyu.edu] On Behalf Of Tjark Weber
Sent: 16 June 2015 11:19
To: smt-comp at cs.nyu.edu
Cc: Sylvain Conchon; David Deharbe
Subject: Re: [SMT-COMP] SMT-COMP 2015 Running

On Tue, 2015-06-16 at 00:57 +0200, Tjark Weber wrote:
> We have started the competition jobs for several main track divisions 
> for SMT-COMP 2015 on StarExec. Preliminary results are available:
> http://smtcomp.sourceforge.net/2015/results-toc.shtml [*]

Unfortunately, we've had to re-run a number of divisions today because of problems with the (non-competitive) Z3 version. The result pages are available again, but there may be minor deviations from preliminary results published earlier this morning.

I hope that the competition jobs will progress without further hiccups.
Please do keep in mind that all results are preliminary at this point.

Best,
Tjark


_______________________________________________
SMT-COMP mailing list
SMT-COMP at cs.nyu.edu
http://cs.nyu.edu/mailman/listinfo/smt-comp