TPDB - by category? Duplication of Data? Example: These are not conflicts: https://termcomp.imn.htwk-leipzig.de/problems/False/18370/18369
what does YES mean, actually? depends on benchmark and category. but see WORST_CASE, which is a good idea.
but do you know what NON_POLY means? See also https://termcomp.imn.htwk-leipzig.de/pairs/238257667
CeTA needs two arguments. (Matching of benchmark and proof should be done in a certified way.)
Simply replace the so-called XTC format? It’s not for humans anyway.