[Termtools] certification failures

[Claude Marché]

Another comment from a naive visitor: it is sad to see that many red 
boxes that seem to mean a failure in the certification phase

The commitee should really consider voting for a larger time limit for 
certification. For a on-going competition, it should not be a problem to 
allow a significantly larger time for certifying: first certification 
phase is supposed to always terminate (!) and second, the certification 
tends to be long for problems that where difficult to prove terminating, 
hence for which it is even more important to have a certificate.

- Claude

-- 
Claude Marché                          | tel: +33 1 72 92 59 69
INRIA Saclay - Île-de-France           | mobile: +33 6 33 14 57 93
Parc Orsay Université                  | fax: +33 1 74 85 42 29
4, rue Jacques Monod - Bâtiment N      | http://www.lri.fr/~marche/
F-91893 ORSAY Cedex                    |