Problem Various 04 13

Tool CaT

Execution TimeUnknown
Answer
MAYBE
InputVarious 04 13

stdout:

MAYBE

Problem:
 O(0()) -> 0()
 +(0(),x) -> x
 +(x,0()) -> x
 +(O(x),O(y)) -> O(+(x,y))
 +(O(x),I(y)) -> I(+(x,y))
 +(I(x),O(y)) -> I(+(x,y))
 +(I(x),I(y)) -> O(+(+(x,y),I(0())))
 *(0(),x) -> 0()
 *(x,0()) -> 0()
 *(O(x),y) -> O(*(x,y))
 *(I(x),y) -> +(O(*(x,y)),y)
 -(x,0()) -> x
 -(0(),x) -> 0()
 -(O(x),O(y)) -> O(-(x,y))
 -(O(x),I(y)) -> I(-(-(x,y),I(1())))
 -(I(x),O(y)) -> I(-(x,y))
 -(I(x),I(y)) -> O(-(x,y))

Proof:
 Open

Tool IRC1

Execution TimeUnknown
Answer
MAYBE
InputVarious 04 13

stdout:

MAYBE

Tool IRC2

Execution TimeUnknown
Answer
TIMEOUT
InputVarious 04 13

stdout:

TIMEOUT

'Fastest (timeout of 60.0 seconds)'
-----------------------------------
Answer:           TIMEOUT
Input Problem:    innermost runtime-complexity with respect to
  Rules:
    {  O(0()) -> 0()
     , +(0(), x) -> x
     , +(x, 0()) -> x
     , +(O(x), O(y)) -> O(+(x, y))
     , +(O(x), I(y)) -> I(+(x, y))
     , +(I(x), O(y)) -> I(+(x, y))
     , +(I(x), I(y)) -> O(+(+(x, y), I(0())))
     , *(0(), x) -> 0()
     , *(x, 0()) -> 0()
     , *(O(x), y) -> O(*(x, y))
     , *(I(x), y) -> +(O(*(x, y)), y)
     , -(x, 0()) -> x
     , -(0(), x) -> 0()
     , -(O(x), O(y)) -> O(-(x, y))
     , -(O(x), I(y)) -> I(-(-(x, y), I(1())))
     , -(I(x), O(y)) -> I(-(x, y))
     , -(I(x), I(y)) -> O(-(x, y))}

Proof Output:    
  Computation stopped due to timeout after 60.0 seconds

Tool RC1

Execution TimeUnknown
Answer
MAYBE
InputVarious 04 13

stdout:

MAYBE

Tool RC2

Execution TimeUnknown
Answer
TIMEOUT
InputVarious 04 13

stdout:

TIMEOUT

'Fastest (timeout of 60.0 seconds)'
-----------------------------------
Answer:           TIMEOUT
Input Problem:    runtime-complexity with respect to
  Rules:
    {  O(0()) -> 0()
     , +(0(), x) -> x
     , +(x, 0()) -> x
     , +(O(x), O(y)) -> O(+(x, y))
     , +(O(x), I(y)) -> I(+(x, y))
     , +(I(x), O(y)) -> I(+(x, y))
     , +(I(x), I(y)) -> O(+(+(x, y), I(0())))
     , *(0(), x) -> 0()
     , *(x, 0()) -> 0()
     , *(O(x), y) -> O(*(x, y))
     , *(I(x), y) -> +(O(*(x, y)), y)
     , -(x, 0()) -> x
     , -(0(), x) -> 0()
     , -(O(x), O(y)) -> O(-(x, y))
     , -(O(x), I(y)) -> I(-(-(x, y), I(1())))
     , -(I(x), O(y)) -> I(-(x, y))
     , -(I(x), I(y)) -> O(-(x, y))}

Proof Output:    
  Computation stopped due to timeout after 60.0 seconds