TRSAnalyzer A comprehensive analyzer for term rewriting systems. Termination Prover Reference Termination Problems Data Base. TPDB Termination Competition. termCOMP Complexity Analyzer Linear runtime complexity