Tool CaT
stdout:
MAYBE
Problem:
a(lambda(x),y) -> lambda(a(x,p(1(),a(y,t()))))
a(p(x,y),z) -> p(a(x,z),a(y,z))
a(a(x,y),z) -> a(x,a(y,z))
a(id(),x) -> x
a(1(),id()) -> 1()
a(t(),id()) -> t()
a(1(),p(x,y)) -> x
a(t(),p(x,y)) -> y
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:
{ a(lambda(x), y) -> lambda(a(x, p(1(), a(y, t()))))
, a(p(x, y), z) -> p(a(x, z), a(y, z))
, a(a(x, y), z) -> a(x, a(y, z))
, a(id(), x) -> x
, a(1(), id()) -> 1()
, a(t(), id()) -> t()
, a(1(), p(x, y)) -> x
, a(t(), p(x, y)) -> y}
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:
{ a(lambda(x), y) -> lambda(a(x, p(1(), a(y, t()))))
, a(p(x, y), z) -> p(a(x, z), a(y, z))
, a(a(x, y), z) -> a(x, a(y, z))
, a(id(), x) -> x
, a(1(), id()) -> 1()
, a(t(), id()) -> t()
, a(1(), p(x, y)) -> x
, a(t(), p(x, y)) -> y}
Proof Output:
Computation stopped due to timeout after 60.0 seconds