Re: [Smtcomp-discussion] a day to go

[Aaron S. <aar...@ui...>]

Hi, Tjark.  I am not sure what the problem is but making sure you guys can
get started ASAP (hopefully tomorrow as planned) will be my top priority
tomorrow.  Sorry for this problem.

Aaron


On Sun, Jun 15, 2014 at 3:13 PM, Tjark Weber <tja...@it...> wrote:

> On Sun, 2014-06-15 at 07:28 -0400, David Cok wrote:
> > PS: One more item
> > Tjark - finish wrapping Z3
>
> I am afraid I still cannot create jobs on StarExec at the moment; I
> only get "http 500 - internal server error" when I try.
>
> Alas, I cannot test the new seed feature or my latest attempt to wrap
> Z3 until this has been fixed.
>
> Best,
> Tjark
>
>
>