Re: [Smtcomp-discussion] a day to go

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

Yes, we are going to do a system reset in the morning (GMT+5).  Before 
that I hope Tjark can complete his tests. Please wait for my signal, 
hopefully just in the early afternoon.
Aaron

On Sun 15 Jun 2014 09:14:05 PM CDT, David Cok wrote:
> Aaron - are you still planning to do system refresh in the morning?
> Should we wit for your signal to start competition jobs?  Or is any
> time after 9am OK?
>
> - David
>
> On 6/15/2014 9:12 PM, Aaron Stump wrote:
>> 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...
>> <mailto: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
>>
>>
>>
>