MAYBE Time: 0.003607 TRS: {f(f(a(), x), a()) -> f(a(), f(f(x, f(a(), a())), a()))} DP: DP: {f#(f(a(), x), a()) -> f#(x, f(a(), a())), f#(f(a(), x), a()) -> f#(f(x, f(a(), a())), a()), f#(f(a(), x), a()) -> f#(a(), f(f(x, f(a(), a())), a())), f#(f(a(), x), a()) -> f#(a(), a())} TRS: {f(f(a(), x), a()) -> f(a(), f(f(x, f(a(), a())), a()))} EDG: {(f#(f(a(), x), a()) -> f#(f(x, f(a(), a())), a()), f#(f(a(), x), a()) -> f#(x, f(a(), a()))) (f#(f(a(), x), a()) -> f#(f(x, f(a(), a())), a()), f#(f(a(), x), a()) -> f#(f(x, f(a(), a())), a())) (f#(f(a(), x), a()) -> f#(f(x, f(a(), a())), a()), f#(f(a(), x), a()) -> f#(a(), f(f(x, f(a(), a())), a()))) (f#(f(a(), x), a()) -> f#(f(x, f(a(), a())), a()), f#(f(a(), x), a()) -> f#(a(), a()))} STATUS: arrows: 0.750000 SCCS (1): Scc: {f#(f(a(), x), a()) -> f#(f(x, f(a(), a())), a())} SCC (1): Strict: {f#(f(a(), x), a()) -> f#(f(x, f(a(), a())), a())} Weak: {f(f(a(), x), a()) -> f(a(), f(f(x, f(a(), a())), a()))} Open