[Termtools] termcomp 2014: timeouts

[Johannes Waldmann]

Dear all,

several authors asked what the actual competition timeout
(per termination problem) will be.

at the moment, we cannot be more specific than in the accouncement
(something between 1 and 5 min wall clock limit,
and four times that as cpu clock limit).

exact values will be determined (by the SC)
when we have a more precise view of registration numbers.

in any case - if your solver wants to know about the timeout,
it has to look at the environment (not at the command line),
see
https://wiki.uiowa.edu/display/stardev/User+Guide#UserGuide-SpecialVariables

- J.