3.39/3.48 YES 3.39/3.48 3.39/3.48 3.39/3.48 Termination: (Ranking Functions Found) 3.39/3.48 ------------ 3.39/3.48 f671_0_main_LT: < < 9 - arg2, arg4 + 8 * arg5 -8 * arg6 >, < arg5 - arg6 > > 3.39/3.48 3.39/3.48 3.49/3.54 EOF