Problem TCT 09 ma7

Tool CaT

Execution TimeUnknown
Answer
MAYBE
InputTCT 09 ma7

stdout:

MAYBE

Problem:
 ite(tt(),u,v) -> u
 ite(ff(),u,v) -> v
 find(u,v,nil()) -> ff()
 find(u,v,cons(cons(u,v),E)) -> tt()
 find(u,v,cons(cons(u2,v2),E)) -> find(u,v,E)
 complete(u,nil(),E) -> tt()
 complete(u,cons(v,S),E) -> ite(find(u,v,E),complete(u,S,E),ff())
 clique(nil(),E) -> tt()
 clique(cons(u,K),E) -> ite(complete(u,K,E),clique(K,E),ff())
 choice(nil(),K,E) -> ite(clique(K,E),K,nil())
 choice(cons(u,S),K,E) -> choice(S,cons(u,K),E)
 choice(cons(u,S),K,E) -> choice(S,K,E)

Proof:
 Open

Tool IRC1

Execution TimeUnknown
Answer
MAYBE
InputTCT 09 ma7

stdout:

MAYBE

Tool IRC2

Execution TimeUnknown
Answer
TIMEOUT
InputTCT 09 ma7

stdout:

TIMEOUT

'Fastest (timeout of 60.0 seconds)'
-----------------------------------
Answer:           TIMEOUT
Input Problem:    innermost runtime-complexity with respect to
  Rules:
    {  ite(tt(), u, v) -> u
     , ite(ff(), u, v) -> v
     , find(u, v, nil()) -> ff()
     , find(u, v, cons(cons(u, v), E)) -> tt()
     , find(u, v, cons(cons(u2, v2), E)) -> find(u, v, E)
     , complete(u, nil(), E) -> tt()
     , complete(u, cons(v, S), E) ->
       ite(find(u, v, E), complete(u, S, E), ff())
     , clique(nil(), E) -> tt()
     , clique(cons(u, K), E) ->
       ite(complete(u, K, E), clique(K, E), ff())
     , choice(nil(), K, E) -> ite(clique(K, E), K, nil())
     , choice(cons(u, S), K, E) -> choice(S, cons(u, K), E)
     , choice(cons(u, S), K, E) -> choice(S, K, E)}

Proof Output:    
  Computation stopped due to timeout after 60.0 seconds

Tool RC1

Execution TimeUnknown
Answer
MAYBE
InputTCT 09 ma7

stdout:

MAYBE

Tool RC2

Execution TimeUnknown
Answer
TIMEOUT
InputTCT 09 ma7

stdout:

TIMEOUT

'Fastest (timeout of 60.0 seconds)'
-----------------------------------
Answer:           TIMEOUT
Input Problem:    runtime-complexity with respect to
  Rules:
    {  ite(tt(), u, v) -> u
     , ite(ff(), u, v) -> v
     , find(u, v, nil()) -> ff()
     , find(u, v, cons(cons(u, v), E)) -> tt()
     , find(u, v, cons(cons(u2, v2), E)) -> find(u, v, E)
     , complete(u, nil(), E) -> tt()
     , complete(u, cons(v, S), E) ->
       ite(find(u, v, E), complete(u, S, E), ff())
     , clique(nil(), E) -> tt()
     , clique(cons(u, K), E) ->
       ite(complete(u, K, E), clique(K, E), ff())
     , choice(nil(), K, E) -> ite(clique(K, E), K, nil())
     , choice(cons(u, S), K, E) -> choice(S, cons(u, K), E)
     , choice(cons(u, S), K, E) -> choice(S, K, E)}

Proof Output:    
  Computation stopped due to timeout after 60.0 seconds

Tool pair1rc

Execution TimeUnknown
Answer
TIMEOUT
InputTCT 09 ma7

stdout:

TIMEOUT

We consider the following Problem:

  Strict Trs:
    {  ite(tt(), u, v) -> u
     , ite(ff(), u, v) -> v
     , find(u, v, nil()) -> ff()
     , find(u, v, cons(cons(u, v), E)) -> tt()
     , find(u, v, cons(cons(u2, v2), E)) -> find(u, v, E)
     , complete(u, nil(), E) -> tt()
     , complete(u, cons(v, S), E) ->
       ite(find(u, v, E), complete(u, S, E), ff())
     , clique(nil(), E) -> tt()
     , clique(cons(u, K), E) ->
       ite(complete(u, K, E), clique(K, E), ff())
     , choice(nil(), K, E) -> ite(clique(K, E), K, nil())
     , choice(cons(u, S), K, E) -> choice(S, cons(u, K), E)
     , choice(cons(u, S), K, E) -> choice(S, K, E)}
  StartTerms: basic terms
  Strategy: none

Certificate: TIMEOUT

Application of 'pair1 (timeout of 60.0 seconds)':
-------------------------------------------------
  Computation stopped due to timeout after 60.0 seconds

Arrrr..

Tool pair3irc

Execution TimeUnknown
Answer
TIMEOUT
InputTCT 09 ma7

stdout:

TIMEOUT

We consider the following Problem:

  Strict Trs:
    {  ite(tt(), u, v) -> u
     , ite(ff(), u, v) -> v
     , find(u, v, nil()) -> ff()
     , find(u, v, cons(cons(u, v), E)) -> tt()
     , find(u, v, cons(cons(u2, v2), E)) -> find(u, v, E)
     , complete(u, nil(), E) -> tt()
     , complete(u, cons(v, S), E) ->
       ite(find(u, v, E), complete(u, S, E), ff())
     , clique(nil(), E) -> tt()
     , clique(cons(u, K), E) ->
       ite(complete(u, K, E), clique(K, E), ff())
     , choice(nil(), K, E) -> ite(clique(K, E), K, nil())
     , choice(cons(u, S), K, E) -> choice(S, cons(u, K), E)
     , choice(cons(u, S), K, E) -> choice(S, K, E)}
  StartTerms: basic terms
  Strategy: innermost

Certificate: TIMEOUT

Application of 'pair3 (timeout of 60.0 seconds)':
-------------------------------------------------
  Computation stopped due to timeout after 60.0 seconds

Arrrr..

Tool rc

Execution TimeUnknown
Answer
TIMEOUT
InputTCT 09 ma7

stdout:

TIMEOUT

We consider the following Problem:

  Strict Trs:
    {  ite(tt(), u, v) -> u
     , ite(ff(), u, v) -> v
     , find(u, v, nil()) -> ff()
     , find(u, v, cons(cons(u, v), E)) -> tt()
     , find(u, v, cons(cons(u2, v2), E)) -> find(u, v, E)
     , complete(u, nil(), E) -> tt()
     , complete(u, cons(v, S), E) ->
       ite(find(u, v, E), complete(u, S, E), ff())
     , clique(nil(), E) -> tt()
     , clique(cons(u, K), E) ->
       ite(complete(u, K, E), clique(K, E), ff())
     , choice(nil(), K, E) -> ite(clique(K, E), K, nil())
     , choice(cons(u, S), K, E) -> choice(S, cons(u, K), E)
     , choice(cons(u, S), K, E) -> choice(S, K, E)}
  StartTerms: basic terms
  Strategy: none

Certificate: TIMEOUT

Application of 'rc (timeout of 60.0 seconds)':
----------------------------------------------
  Computation stopped due to timeout after 60.0 seconds

Arrrr..

Tool tup3irc

Execution Time63.884567ms
Answer
TIMEOUT
InputTCT 09 ma7

stdout:

TIMEOUT

We consider the following Problem:

  Strict Trs:
    {  ite(tt(), u, v) -> u
     , ite(ff(), u, v) -> v
     , find(u, v, nil()) -> ff()
     , find(u, v, cons(cons(u, v), E)) -> tt()
     , find(u, v, cons(cons(u2, v2), E)) -> find(u, v, E)
     , complete(u, nil(), E) -> tt()
     , complete(u, cons(v, S), E) ->
       ite(find(u, v, E), complete(u, S, E), ff())
     , clique(nil(), E) -> tt()
     , clique(cons(u, K), E) ->
       ite(complete(u, K, E), clique(K, E), ff())
     , choice(nil(), K, E) -> ite(clique(K, E), K, nil())
     , choice(cons(u, S), K, E) -> choice(S, cons(u, K), E)
     , choice(cons(u, S), K, E) -> choice(S, K, E)}
  StartTerms: basic terms
  Strategy: innermost

Certificate: TIMEOUT

Application of 'tup3 (timeout of 60.0 seconds)':
------------------------------------------------
  Computation stopped due to timeout after 60.0 seconds

Arrrr..