4.86/4.90 MAYBE 4.86/4.90 4.86/4.90 4.86/4.90 Termination: (Ranking Functions Found) 4.86/4.90 ------------ 4.86/4.90 l2: < < x_0 > > 4.86/4.90 l1: < < x_0 > > 4.86/4.90 n_l0___2: < < x_0 > > 4.86/4.90 l0: < < x_0 > > 4.86/4.90 n_l0___1: < < -1 + x_0 >, < x_0 > > 4.86/4.90 4.86/4.90 4.86/4.90 Connected Subgraphs where we couldn't prove Termination: 4.86/4.90 -------------------------------------------------------- 4.86/4.90 SCC: 4.86/4.90 +--transitions: t2 4.86/4.90 +--nodes: n_n_n_l0___2___2___2 4.86/4.90 4.86/4.90 4.91/4.96 EOF