[Termtools] HofWald 7

[Claude Marche]

CiME produced a wrong answer on the Hofwald 7 example. I removed that
answer so that other tools still have a chance to solve it with the 300
seconds time limit.

CiME has of course to be assumed "disqualified".

If you see any other mistake like this, please mail me.

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