competition administration
3 posters
Page 1 of 1
competition administration
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
- David
davidcok- Posts : 32
Join date : 2014-04-29
Re: competition administration
> 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.
> 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
Re: competition administration
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...
Actually, I think I will start a new subforum for Summer 2014 competitions...
Page 1 of 1
Permissions in this forum:
You cannot reply to topics in this forum
|
|