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.


competition administration

3 posters

StarExec :: How Do I Do X on StarExec?

Go down

competition administration Empty competition administration

Post by davidcok Wed May 07, 2014 8:23 am

Could we please have some discussion about allocation of StarExec resources to the various competitions between now and mid-July? In particular, how many nodes in the cluster should the SMT-COMP organizers plan to use for the SMT-COMP competition?

- David

davidcok

Posts : 32
Join date : 2014-04-29

Back to top Go down

competition administration Empty Re: competition administration

Post by j.waldmann Tue May 13, 2014 8:41 am

> Could we please have some discussion about allocation of StarExec resources
> to the various competitions between now and mid-July?

Seconded.

For instance, Termination Competition ideally wants to run "live"  
(on some days in the first week of Vienna conference) -
can this be done? (how many nodes could we get?)

- J. W.

j.waldmann

Posts : 84
Join date : 2014-04-26

Back to top Go down

competition administration Empty Re: competition administration

Post by Admin Tue May 13, 2014 2:21 pm

I am going to do a dry run for queue reservations for summer competitions very soon (hopefully within the next week).

Actually, I think I will start a new subforum for Summer 2014 competitions...

Admin
Admin

Posts : 162
Join date : 2014-04-22

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

Back to top Go down

competition administration Empty Re: competition administration

Post by Sponsored content


Sponsored content


Back to top Go down

Back to top

- Similar topics

StarExec :: How Do I Do X on StarExec?

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