3.78/3.80 MAYBE 3.78/3.80 3.78/3.80 3.78/3.80 Termination: (Ranking Functions Found) 3.78/3.80 ------------ 3.78/3.80 f53_0_loop_EQ: < < arg1 > > 3.78/3.80 n_f53_0_loop_EQ___1: < < arg1 > > 3.78/3.80 3.78/3.80 3.78/3.80 Connected Subgraphs where we couldn't prove Termination: 3.78/3.80 -------------------------------------------------------- 3.78/3.80 SCC: 3.78/3.80 +--transitions: t1 3.78/3.80 +--nodes: n_n_n_f53_0_loop_EQ___2___1___1 3.78/3.80 3.78/3.80 3.78/3.86 EOF