[Termtools] TermComp2020 is running

[Yamada, Akihisa]

Dear Johannes,

> SRS_Relative/Waldmann_19 random problems are missing?
> (they were used last year).

thank you for detecting this. I've added them to the new Git repo and 
starexec.

> Matchbox's proofs in SRS-Relative are wrong,
> as they use the SRS-Standard method
> (with inapplicable RFC matchbounds, DP transform)
> (I already told Akihisa - probably the configuration Id was mistyped,
> this is just in case others were wondering)

Ouch, could you try fixing it in the approach I've just announced?

> Also, I am currently not printing proofs, is this a problem?
> https://gitlab.imn.htwk-leipzig.de/waldmann/pure-matchbox/-/issues/264

Maybe, I think the rule says that the output is followed by a proof. 
Also for future reference.

Best,
Akihisa

-- 
このEメールはアバスト アンチウイルスによりウイルススキャンされています。
https://www.avast.com/antivirus