[Termtools] certification failures

[Claude Marché]

By the way, does the #YES counts the number of YES with certification, 
or all of them ? Would it be possible to see both ?

In other words, it should be nice to see as many columns in the first 
table for scores and the large table after. And of course, fixing the 
bug in the first row for the tool names would be nice...

- Claude

Claude Marché wrote:
> 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                    |