[Termtools] strange proof

[ManhThang Nguyen]

Dear all,

Originally, Polytool generated information about the proof. However, I
just read from the rules of the competition that the tool should provide
YES or NO or DON'T KNOW. I misunderstood that it was a requirement.
Therefore, I just deleted the explanation form the proof. Sorry for that.

Do you think that I should provide a version which gives information
about the proof? However, then somebody has to run the test again.
 
Best Regards,
Thang

Quoting Carsten Otto <c-otto at gmx.de>:

> On Mon, Jun 04, 2007 at 09:56:50PM +0200, Johannes Waldmann wrote:
> > Jörg Endrullis notes that this proof is at least incomplete:
> >
>
http://www.lri.fr/~marche/termination-competition/2007/webform.cgi?command=viewres&file=srs-standard.db&tool=torpa&prob=SRS.Gebhardt.02.srs
> 
> What about the proofs from Polytool in the LP category?
> I am missing quite a bit of information there.
> 
> Bye,
> -- 
> Carsten Otto
> c-otto at gmx.de
> www.c-otto.de
>