[Termtools] HofWald 7

[Salvador Lucas]

Claude Marche wrote:

>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".
>
I think this is too harsh. Probably you have some explanation for
this bug (and how to fix it). There can be other solutions than
just 'disqualifying' CiME...

Regards,

Salvador.