[Termination tools] Termination competition, qualification round

[Claude Marche]

A new version of the qualification round is available. Please check if
your remarks have been taken into account.

- claude

>>>>> "Claude" == Claude Marche <Claude.Marche at lri.fr> writes:

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

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

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

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

    Claude> Suggestions are of course welcome !

    Claude> - Claude

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

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