0.00/0.54
0.00/0.54
(0) Obligation:
Runtime Complexity TRS:
The TRS R consists of the following rules:
fst(0, Z) → nil
0.00/0.54
fst(s, cons(Y)) → cons(Y)
0.00/0.54
from(X) → cons(X)
0.00/0.54
add(0, X) → X
0.00/0.54
add(s, Y) → s
0.00/0.54
len(nil) → 0
0.00/0.54
len(cons(X)) → s
Rewrite Strategy: INNERMOST
0.00/0.54
0.00/0.54
(1) CpxTrsToCdtProof (BOTH BOUNDS(ID, ID) transformation)
Converted CpxTRS to CDT
0.00/0.54
0.00/0.54
(2) Obligation:
Complexity Dependency Tuples Problem
Rules:
fst(0, z0) → nil
0.00/0.54
fst(s, cons(z0)) → cons(z0)
0.00/0.54
from(z0) → cons(z0)
0.00/0.54
add(0, z0) → z0
0.00/0.54
add(s, z0) → s
0.00/0.54
len(nil) → 0
0.00/0.54
len(cons(z0)) → s
Tuples:none
S tuples:none
K tuples:none
Defined Rule Symbols:
fst, from, add, len
Defined Pair Symbols:none
Compound Symbols:none
0.00/0.54
0.00/0.54
(3) SIsEmptyProof (BOTH BOUNDS(ID, ID) transformation)
The set S is empty
0.00/0.54
0.00/0.54
(4) BOUNDS(O(1), O(1))
0.00/0.54