Problem Secret 05 SRS matchbox1

Tool Bounds

Execution Time	60.03319ms
Answer	TIMEOUT
Input	Secret 05 SRS matchbox1

stdout:

TIMEOUT

We consider the following Problem:

  Strict Trs:
    {  r(i(t(e(r(x1))))) -> e(w(r(i(t(e(x1))))))
     , e(r(x1)) -> e(w(x1))
     , w(r(x1)) -> i(t(x1))
     , t(e(x1)) -> r(e(x1))
     , e(w(x1)) -> r(i(x1))
     , i(t(x1)) -> e(r(x1))
     , r(e(x1)) -> w(r(x1))}
  StartTerms: all
  Strategy: none

Certificate: TIMEOUT

Proof:
  Computation stopped due to timeout after 60.0 seconds.

Arrrr..

Tool CDI

Execution Time	60.040398ms
Answer	TIMEOUT
Input	Secret 05 SRS matchbox1

stdout:

TIMEOUT

Statistics:
Number of monomials: 0
Last formula building started for bound 0
Last SAT solving started for bound 0

Tool EDA

Execution Time	60.038773ms
Answer	TIMEOUT
Input	Secret 05 SRS matchbox1

stdout:

Tool IDA

Execution Time	60.047184ms
Answer	TIMEOUT
Input	Secret 05 SRS matchbox1

stdout:

Tool TRI

Execution Time	60.03139ms
Answer	TIMEOUT
Input	Secret 05 SRS matchbox1

stdout:

Tool TRI2

Execution Time	0.3798008ms
Answer	MAYBE
Input	Secret 05 SRS matchbox1

stdout:

MAYBE

We consider the following Problem:

  Strict Trs:
    {  r(i(t(e(r(x1))))) -> e(w(r(i(t(e(x1))))))
     , e(r(x1)) -> e(w(x1))
     , w(r(x1)) -> i(t(x1))
     , t(e(x1)) -> r(e(x1))
     , e(w(x1)) -> r(i(x1))
     , i(t(x1)) -> e(r(x1))
     , r(e(x1)) -> w(r(x1))}
  StartTerms: all
  Strategy: none

Certificate: MAYBE

Proof:
  The input cannot be shown compatible

Arrrr..