[Termtools] Competition : qualification round

[Claude Marche]

The competition "qualifying round" is currently running at

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

please check that your tool is on the right sub-categories, and that
it performs as expected.

If there is a particular example that you would like see added in this
qualification round, to test if the installation is OK, please tell
me.

Tell me if you notice any problems.

-- 
| 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    |
_______________________________________________
Termtools mailing list
Termtools at lists.lri.fr
http://lists.lri.fr/mailman/listinfo/termtools