Tool CaT
stdout:
MAYBE
Problem:
f(c(c(a(),y,a()),b(x,z),a())) -> b(y,f(c(f(a()),z,z)))
f(b(b(x,f(y)),z)) -> c(z,x,f(b(b(f(a()),y),y)))
c(b(a(),a()),b(y,z),x) -> b(a(),b(z,z))
Proof:
OpenTool IRC1
stdout:
MAYBE
Tool IRC2
stdout:
TIMEOUT
'Fastest (timeout of 60.0 seconds)'
-----------------------------------
Answer: TIMEOUT
Input Problem: innermost runtime-complexity with respect to
Rules:
{ f(c(c(a(), y, a()), b(x, z), a())) -> b(y, f(c(f(a()), z, z)))
, f(b(b(x, f(y)), z)) -> c(z, x, f(b(b(f(a()), y), y)))
, c(b(a(), a()), b(y, z), x) -> b(a(), b(z, z))}
Proof Output:
Computation stopped due to timeout after 60.0 secondsTool RC1
stdout:
MAYBE
Tool RC2
stdout:
TIMEOUT
'Fastest (timeout of 60.0 seconds)'
-----------------------------------
Answer: TIMEOUT
Input Problem: runtime-complexity with respect to
Rules:
{ f(c(c(a(), y, a()), b(x, z), a())) -> b(y, f(c(f(a()), z, z)))
, f(b(b(x, f(y)), z)) -> c(z, x, f(b(b(f(a()), y), y)))
, c(b(a(), a()), b(y, z), x) -> b(a(), b(z, z))}
Proof Output:
Computation stopped due to timeout after 60.0 seconds