[Termtools] RE: Problem with some proofs

[Etienne Payet]

> Accepting repaired versions after the deadline is out of scope. The  
> only
> exception that could be made is if the error is unrelated to  
> generation
> of proofs, like could be the case if something already goes wrong with
> parsing the system.
>

This is what happens with NTI: the parser does not recognize the  
carriage returns.
This character occurs in most of the problems in TRS/TRCSR, which  
explains the
"syntax errors" of NTI on this directory.

The repaired version of NTI is able to disprove termination of 120  
TRSs (instead of
85 for the submitted version.)

Best regards,

Etienne Payet.