[Termination tools] Termination competition, qualification round

[Claude Marche]

Please look at the results of the "qualification round" of the
competition, at URL

http://www.lri.fr/~marche/termination-competition/2005/

If you see any mistake, if you are not in right categories,
etc. please tell me.

I still want to add an additional statistics, on the percentage of
problems solved by each tool.

Suggestions are of course welcome !

- 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    |