LMPO

Execution Time (secs)	0.038
Answer	MAYBE
Input	Zantema 08 ex2

MAYBE

We consider the following Problem:

  Strict Trs:
    {  f(x, x) -> f(0(), 1())
     , 0() -> 2()
     , 1() -> 2()
     , f(x, 2()) -> 2()
     , f(2(), x) -> 2()}
  StartTerms: basic terms
  Strategy: innermost

Certificate: MAYBE

Proof:
  The input cannot be shown compatible

Arrrr..

MPO

Execution Time (secs)	0.041
Answer	MAYBE
Input	Zantema 08 ex2

MAYBE

We consider the following Problem:

  Strict Trs:
    {  f(x, x) -> f(0(), 1())
     , 0() -> 2()
     , 1() -> 2()
     , f(x, 2()) -> 2()
     , f(2(), x) -> 2()}
  StartTerms: basic terms
  Strategy: innermost

Certificate: MAYBE

Proof:
  The input cannot be shown compatible

Arrrr..

POP*

Execution Time (secs)	0.018
Answer	MAYBE
Input	Zantema 08 ex2

MAYBE

We consider the following Problem:

  Strict Trs:
    {  f(x, x) -> f(0(), 1())
     , 0() -> 2()
     , 1() -> 2()
     , f(x, 2()) -> 2()
     , f(2(), x) -> 2()}
  StartTerms: basic terms
  Strategy: innermost

Certificate: MAYBE

Proof:
  The input cannot be shown compatible

Arrrr..

POP* (PS)

Execution Time (secs)	0.042
Answer	MAYBE
Input	Zantema 08 ex2

MAYBE

We consider the following Problem:

  Strict Trs:
    {  f(x, x) -> f(0(), 1())
     , 0() -> 2()
     , 1() -> 2()
     , f(x, 2()) -> 2()
     , f(2(), x) -> 2()}
  StartTerms: basic terms
  Strategy: innermost

Certificate: MAYBE

Proof:
  The input cannot be shown compatible

Arrrr..

Small POP*

Execution Time (secs)	0.020
Answer	MAYBE
Input	Zantema 08 ex2

MAYBE

We consider the following Problem:

  Strict Trs:
    {  f(x, x) -> f(0(), 1())
     , 0() -> 2()
     , 1() -> 2()
     , f(x, 2()) -> 2()
     , f(2(), x) -> 2()}
  StartTerms: basic terms
  Strategy: innermost

Certificate: MAYBE

Proof:
  The input cannot be shown compatible

Arrrr..

Small POP* (PS)

Execution Time (secs)	0.024
Answer	MAYBE
Input	Zantema 08 ex2

MAYBE

We consider the following Problem:

  Strict Trs:
    {  f(x, x) -> f(0(), 1())
     , 0() -> 2()
     , 1() -> 2()
     , f(x, 2()) -> 2()
     , f(2(), x) -> 2()}
  StartTerms: basic terms
  Strategy: innermost

Certificate: MAYBE

Proof:
  The input cannot be shown compatible

Arrrr..

Problem Zantema 08 ex2

LMPO

MPO

POP*

POP* (PS)

Small POP*

Small POP* (PS)