[SMT-COMP] cluster moving

[Aaron Stump]

Dear SMT-COMP community,

I hope everyone enjoyed watching or participating in SMT-COMP 2008.  I
just wanted to let you know that we are moving the cluster which runs
SMT-EXEC and SMT-COMP (since I am moving to U. Iowa).  Some temporary
pages displaying the results of SMT-COMP 2008 will be up in a couple
days.  The service itself should be back online and ready to run your
jobs in 1-2 weeks.  Sorry if the downtime is inconvenient for anyone.

Best wishes,
Aaron Stump