20.37/20.39 MAYBE 20.37/20.39 20.37/20.39 20.37/20.39 Termination: (Ranking Functions Found) 20.37/20.39 ------------ 20.37/20.39 l3: < < x_0 >, < x_0 > > 20.37/20.39 l2: < < x_0 >, < x_0 > > 20.37/20.39 20.37/20.39 20.37/20.39 Connected Subgraphs where we couldn't prove Termination: 20.37/20.39 -------------------------------------------------------- 20.37/20.39 SCC: 20.37/20.39 +--transitions: t10,t5,t6,t7,t8,t9 20.37/20.39 +--nodes: n_n_n_l0___1___2___2,n_n_n_l0___2___1___1,n_n_n_l1___3___4___4,n_n_n_l1___4___3___3 20.37/20.39 20.37/20.39 20.39/20.45 EOF