5.50/5.53 MAYBE 5.50/5.53 5.50/5.53 5.50/5.53 Termination: (Ranking Functions Found) 5.50/5.53 ------------ 5.50/5.53 f112_0_loop_GE: < < - arg1 + arg2 > > 5.50/5.53 n_f112_0_loop_GE___3: < < - arg1 + arg2 > > 5.50/5.53 5.50/5.53 5.50/5.53 Connected Subgraphs where we couldn't prove Termination: 5.50/5.53 -------------------------------------------------------- 5.50/5.53 SCC: 5.50/5.53 +--transitions: t3 5.50/5.53 +--nodes: n_n_n_f112_0_loop_GE___1___2___2 5.50/5.53 5.50/5.53 5.52/5.59 EOF