[Termtools] time limit 300

[Claude Marche]

One remark about the cases where a rerun with a time limit of 300
second is required: 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. This is why a rerun with the 300 limit
is now scheduled for most of the Gebhardt problems, since Jambox seems
to especially like to answer NO just in a bit more than 10 seconds. Is
it only a coincidence ?

- Claude

-- 
| Claude Marché           | mailto:Claude.Marche at lri.fr |
| LRI - Bât. 490          | http://www.lri.fr/~marche/  |
| Université de Paris-Sud | phoneto: +33 1 69 15 64 85  |
| F-91405 ORSAY Cedex     | faxto: +33 1 69 15 65 86    |
_______________________________________________
Termtools mailing list
Termtools at lists.lri.fr
http://lists.lri.fr/mailman/listinfo/termtools