Problem Transformed outermost 08 ex5.3

interpretations

Execution Time (secs)
-
Answer
MAYBE
InputTransformed outermost 08 ex5.3
MAYBE

We are left with following problem, upon which TcT provides the
certificate MAYBE.

Strict Trs:
  { from_2(x) -> cons_0(x, from_3(s_0(x)))
  , from_3(x) -> cons_1(x, from_3(s_0(x)))
  , cons_1(s_0(x), xs) -> overflow_0()
  , from_1(x) -> cons_0(x, from_3(s_0(x))) }
Obligation:
  innermost runtime complexity
Answer:
  MAYBE

None of the processors succeeded.

Details of failed attempt(s):
-----------------------------
1) 'matrix interpretation of dimension 3' failed due to the
   following reason:
   
   The input cannot be shown compatible

2) 'custom shape polynomial interpretation' failed due to the
   following reason:
   
   The input cannot be shown compatible

3) 'custom shape polynomial interpretation' failed due to the
   following reason:
   
   The input cannot be shown compatible

4) 'matrix interpretation of dimension 1' failed due to the
   following reason:
   
   The input cannot be shown compatible


Arrrr..

lmpo

Execution Time (secs)
-
Answer
MAYBE
InputTransformed outermost 08 ex5.3
MAYBE

We are left with following problem, upon which TcT provides the
certificate MAYBE.

Strict Trs:
  { from_2(x) -> cons_0(x, from_3(s_0(x)))
  , from_3(x) -> cons_1(x, from_3(s_0(x)))
  , from_1(x) -> cons_0(x, from_3(s_0(x)))
  , cons_1(s_0(x), xs) -> overflow_0() }
Obligation:
  innermost runtime complexity
Answer:
  MAYBE

The input cannot be shown compatible

Arrrr..

mpo

Execution Time (secs)
-
Answer
MAYBE
InputTransformed outermost 08 ex5.3
MAYBE

We are left with following problem, upon which TcT provides the
certificate MAYBE.

Strict Trs:
  { from_2(x) -> cons_0(x, from_3(s_0(x)))
  , from_3(x) -> cons_1(x, from_3(s_0(x)))
  , from_1(x) -> cons_0(x, from_3(s_0(x)))
  , cons_1(s_0(x), xs) -> overflow_0() }
Obligation:
  innermost runtime complexity
Answer:
  MAYBE

The input cannot be shown compatible

Arrrr..

popstar

Execution Time (secs)
0.120
Answer
MAYBE
InputTransformed outermost 08 ex5.3
MAYBE

We are left with following problem, upon which TcT provides the
certificate MAYBE.

Strict Trs:
  { from_2(x) -> cons_0(x, from_3(s_0(x)))
  , from_3(x) -> cons_1(x, from_3(s_0(x)))
  , from_1(x) -> cons_0(x, from_3(s_0(x)))
  , cons_1(s_0(x), xs) -> overflow_0() }
Obligation:
  innermost runtime complexity
Answer:
  MAYBE

The input cannot be shown compatible

Arrrr..

popstar-ps

Execution Time (secs)
0.132
Answer
MAYBE
InputTransformed outermost 08 ex5.3
MAYBE

We are left with following problem, upon which TcT provides the
certificate MAYBE.

Strict Trs:
  { from_2(x) -> cons_0(x, from_3(s_0(x)))
  , from_3(x) -> cons_1(x, from_3(s_0(x)))
  , from_1(x) -> cons_0(x, from_3(s_0(x)))
  , cons_1(s_0(x), xs) -> overflow_0() }
Obligation:
  innermost runtime complexity
Answer:
  MAYBE

The input cannot be shown compatible

Arrrr..