- : unit = ()
h : heuristic =
- : unit = ()
APPLY CRITERIA (Marked dependency pairs)
TRS termination of:
[1] f(f(X)) -> f(a(b(f(X))))
[2] f(a(g(X))) -> b(X)
[3] b(X) -> a(X)
Sub problem:
guided:
DP termination of:
END GUIDED
APPLY CRITERIA (Graph splitting)
Found 0 components:
SOLVED
{
TRS termination of:
[1] f(f(X)) -> f(a(b(f(X))))
[2] f(a(g(X))) -> b(X)
[3] b(X) -> a(X)
,
CRITERION: MDP
[ {
DP termination of:
,
CRITERION: SG
[ ]}
]}
Cime worked for 0.001485 seconds (real time)
Cime Exit Status: 0