Re: [Smtcomp-discussion] a day to go

[David C. <dc...@gr...>]

I successfully ran jobs using the scrambler and giving it a seed last 
night. Whether it did any scrambling or not I do not know, but the 
solvers did not complain.

- David

On 6/15/2014 4:13 PM, Tjark Weber 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
>
>