WORST_CASE(?,O(n^1)) * Step 1: Ara WORST_CASE(?,O(n^1)) + Considered Problem: - Strict TRS: f(g(X)) -> f(X) - Signature: {f/1} / {g/1} - Obligation: innermost runtime complexity wrt. defined symbols {f} and constructors {g} + Applied Processor: Ara {araHeuristics = NoHeuristics, minDegree = 1, maxDegree = 2, araTimeout = 5, araRuleShifting = Nothing} + Details: Signatures used: ---------------- f :: ["A"(15)] -(15)-> "A"(0) g :: ["A"(15)] -(15)-> "A"(15) Cost-free Signatures used: -------------------------- Base Constructor Signatures used: --------------------------------- "g_A" :: ["A"(1)] -(1)-> "A"(1) WORST_CASE(?,O(n^1))