Tool CaT
stdout:
MAYBE
Problem:
+(x,0()) -> x
+(0(),x) -> x
+(s(x),s(y)) -> s(s(+(x,y)))
*(x,0()) -> 0()
*(0(),x) -> 0()
*(s(x),s(y)) -> s(+(*(x,y),+(x,y)))
sum(nil()) -> 0()
sum(cons(x,l)) -> +(x,sum(l))
prod(nil()) -> s(0())
prod(cons(x,l)) -> *(x,prod(l))
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:
{ +(x, 0()) -> x
, +(0(), x) -> x
, +(s(x), s(y)) -> s(s(+(x, y)))
, *(x, 0()) -> 0()
, *(0(), x) -> 0()
, *(s(x), s(y)) -> s(+(*(x, y), +(x, y)))
, sum(nil()) -> 0()
, sum(cons(x, l)) -> +(x, sum(l))
, prod(nil()) -> s(0())
, prod(cons(x, l)) -> *(x, prod(l))}
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:
{ +(x, 0()) -> x
, +(0(), x) -> x
, +(s(x), s(y)) -> s(s(+(x, y)))
, *(x, 0()) -> 0()
, *(0(), x) -> 0()
, *(s(x), s(y)) -> s(+(*(x, y), +(x, y)))
, sum(nil()) -> 0()
, sum(cons(x, l)) -> +(x, sum(l))
, prod(nil()) -> s(0())
, prod(cons(x, l)) -> *(x, prod(l))}
Proof Output:
Computation stopped due to timeout after 60.0 seconds