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 CdtUnreachableProof (⇔)0.00/0.55
↳4 CdtProblem0.00/0.55
↳5 SIsEmptyProof (BOTH BOUNDS(ID, ID))0.00/0.55
↳6 BOUNDS(O(1), O(1))0.00/0.55
*(i(x), x) → 1 0.00/0.55
*(1, y) → y 0.00/0.55
*(x, 0) → 0 0.00/0.55
*(*(x, y), z) → *(x, *(y, z))
Tuples:
*(i(z0), z0) → 1 0.00/0.55
*(1, z0) → z0 0.00/0.55
*(z0, 0) → 0 0.00/0.55
*(*(z0, z1), z2) → *(z0, *(z1, z2))
S tuples:
*'(*(z0, z1), z2) → c3(*'(z0, *(z1, z2)), *'(z1, z2))
K tuples:none
*'(*(z0, z1), z2) → c3(*'(z0, *(z1, z2)), *'(z1, z2))
*
*'
c3
*'(*(z0, z1), z2) → c3(*'(z0, *(z1, z2)), *'(z1, z2))
Tuples:none
*(i(z0), z0) → 1 0.00/0.55
*(1, z0) → z0 0.00/0.55
*(z0, 0) → 0 0.00/0.55
*(*(z0, z1), z2) → *(z0, *(z1, z2))
*