[Termtools] Re: Problem with some proofs

[Salvador Lucas]

Dear Hans,

Thanks for your message.

Zantema, H. wrote:

>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.
>
>I see two options:
>
>(1) You make clear that the analysis in your tool causing the detected
>error in TRS/secret2007/TTT2-6.trs does not play a role in the CSR and
>innermost subcategories. In that case you can participate with the last
>version of your tool that you submitted before the deadline.
>
>(2) The analysis in your tool causing the detected error in
>TRS/secret2007/TTT2-6.trs is used in the CSR and innermost subcategories
>too. In that case there is no other choice than also removing MU-TERM
>from the CSR and innermost subcategories.
>
Ok. We will inform you about our choice in few hours (we are
reviewing our proofs to see whether they fit your requirements
in 1).

Best regards,

Salvador.