- : unit = ()
h : heuristic = <heuristic>
- : unit = ()
APPLY CRITERIA (Marked dependency pairs)

TRS termination of:
[1] \(x,x) -> e
[2] /(x,x) -> e
[3] .(e,x) -> x
[4] .(x,e) -> x
[5] \(e,x) -> x
[6] /(x,e) -> x
[7] .(x,\(x,y)) -> y
[8] .(/(y,x),x) -> y
[9] \(x,.(x,y)) -> y
[10] /(.(y,x),x) -> y
[11] /(x,\(y,x)) -> y
[12] \(/(x,y),x) -> y


Sub problem: 
guided: 

DP termination of:
 
END GUIDED
APPLY CRITERIA (Graph splitting)
Found 0 components:
SOLVED
{
 
TRS termination of:
[1] \(x,x) -> e
[2] /(x,x) -> e
[3] .(e,x) -> x
[4] .(x,e) -> x
[5] \(e,x) -> x
[6] /(x,e) -> x
[7] .(x,\(x,y)) -> y
[8] .(/(y,x),x) -> y
[9] \(x,.(x,y)) -> y
[10] /(.(y,x),x) -> y
[11] /(x,\(y,x)) -> y
[12] \(/(x,y),x) -> y
 ,
 CRITERION: MDP
 [ {
      
     DP termination of:
      ,
      CRITERION: SG
      [  ]} 
      ]} 

Cime worked for 0.001846 seconds (real time)
Cime Exit Status: 0