Problem Zantema 05 z10

Tool CaT

Execution TimeUnknown
Answer
MAYBE
InputZantema 05 z10

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:
 Open

Tool IRC1

Execution TimeUnknown
Answer
MAYBE
InputZantema 05 z10

stdout:

MAYBE

Tool IRC2

Execution TimeUnknown
Answer
TIMEOUT
InputZantema 05 z10

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 seconds

Tool RC1

Execution TimeUnknown
Answer
MAYBE
InputZantema 05 z10

stdout:

MAYBE

Tool RC2

Execution TimeUnknown
Answer
TIMEOUT
InputZantema 05 z10

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