[Termtools] certifying option ready to run

[Claude Marché]

The certifying option is now ready to run. To authors of such tools:
please check that the qualification round results are Ok for you:

http://www.lri.fr/~marche/termination-competition/2007/webform.cgi?command=trs&file=certif-qualif.db&subcat=certifying&timelimit=120

- Claude

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