YES(O(1), O(1)) 0.00/0.54 YES(O(1), O(1)) 0.00/0.55 0.00/0.55 0.00/0.55
0.00/0.55 0.00/0.550 CpxTRS0.00/0.55
↳1 CpxTrsToCdtProof (BOTH BOUNDS(ID, ID))0.00/0.55
↳2 CdtProblem0.00/0.55
↳3 CdtRhsSimplificationProcessorProof (BOTH BOUNDS(ID, ID))0.00/0.55
↳4 CdtProblem0.00/0.55
↳5 CdtLeafRemovalProof (BOTH BOUNDS(ID, ID))0.00/0.55
↳6 CdtProblem0.00/0.55
↳7 SIsEmptyProof (BOTH BOUNDS(ID, ID))0.00/0.55
↳8 BOUNDS(O(1), O(1))0.00/0.55
a(b(x)) → a(c(b(x)))
Tuples:
a(b(z0)) → a(c(b(z0)))
S tuples:
A(b(z0)) → c1(A(c(b(z0))))
K tuples:none
A(b(z0)) → c1(A(c(b(z0))))
a
A
c1
Tuples:
a(b(z0)) → a(c(b(z0)))
S tuples:
A(b(z0)) → c1
K tuples:none
A(b(z0)) → c1
a
A
c1
A(b(z0)) → c1
Tuples:none
a(b(z0)) → a(c(b(z0)))
a