[Termtools] time limit 300

[Johannes Waldmann]

Claude Marche wrote:

> I configured my tool running the competition so
> that such a rerun is scheduled if no tool give an answer in less than
> *10* seconds in the first step. 

Did you do this by accident or on purpose?
I see this as a (unnecessary) change of rules.
-- 
-- Johannes Waldmann -- Tel/Fax (0341) 3076 6479/80 --
---- http://www.imn.htwk-leipzig.de/~waldmann/ -------