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.


Downtime Thursday morning (US Central Time)

StarExec :: Announcements: Forum Moved!

Go down

Downtime Thursday morning (US Central Time) Empty Downtime Thursday morning (US Central Time)

Post by Admin Tue Dec 02, 2014 4:29 pm

Thursday morning, Dec. 4th, from 8:30am to noon US Central Time (GMT-6), StarExec will be unavailable for maintenance. We need to repartition the head node to allocate more space to the partition storing the database.
Aaron

Admin
Admin

Posts : 162
Join date : 2014-04-22

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

Back to top Go down

Back to top

- Similar topics

StarExec :: Announcements: Forum Moved!

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