StarExec
Would you like to react to this message? Create an account in a few clicks or log in to continue.
StarExec

This is a forum for discussing the StarExec solver execution service, at starexec.org.


Service Temporarily Unavailable

2 posters

StarExec :: Bug Reports

Go down

Service Temporarily Unavailable Empty Service Temporarily Unavailable

Post by lianah Sun Feb 22, 2015 9:21 am

It seems that the Starexec server is down. Are there any estimates of when it will be back up? We are hoping to include experimental results done on StarExec for a CADE submission, next Wednesday

lianah

Posts : 11
Join date : 2014-04-23

Back to top Go down

Service Temporarily Unavailable Empty Re: Service Temporarily Unavailable

Post by Admin Sun Feb 22, 2015 11:07 am

We just discovered the site down this morning. This was not expected, and I do not know the cause. It should definitely be back tomorrow (Monday), though I am not sure our IT folks will be available to fix it before then. Sorry for the inconvenience, and I hope you will have enough time to get the remaining results you need for your submission.
Aaron

Admin
Admin

Posts : 162
Join date : 2014-04-22

http://www.cs.uiowa.edu/~astump/

Back to top Go down

Service Temporarily Unavailable Empty Re: Service Temporarily Unavailable

Post by lianah Sun Feb 22, 2015 11:33 am

Monday should give us enough time to run the experiments. Thank you for the very quick reply.

lianah

Posts : 11
Join date : 2014-04-23

Back to top Go down

Service Temporarily Unavailable Empty Re: Service Temporarily Unavailable

Post by Sponsored content


Sponsored content


Back to top Go down

Back to top

- Similar topics

StarExec :: Bug Reports

 
Permissions in this forum:
You cannot reply to topics in this forum