45.06/45.17 MAYBE 45.06/45.17 45.06/45.17 45.06/45.17 Termination: (Ranking Functions Found) 45.06/45.17 ------------ 45.06/45.17 n_n_n_l2___4___2___2: < < Pdolen_0 - i_0 > > 45.06/45.17 n_l2___1: < < Pdolen_0 - i_0 > > 45.06/45.17 n_l3___2: < < Pdolen_0 - i_0 > > 45.06/45.17 l1: < < rho_1_0 > > 45.06/45.17 l6: < < Pdolen_0 - i_0 > > 45.06/45.17 l3: < < Pdolen_0 - i_0 > > 45.06/45.17 n_n_l3___2___1: < < Pdolen_0 - i_0 > > 45.06/45.17 l4: < < rho_1_0 > > 45.06/45.17 n_l3___5: < < Pdolen_0 - i_0 > > 45.06/45.17 l2: < < Pdolen_0 - i_0 > > 45.06/45.17 n_n_n_l3___2___1___1: < < Pdolen_0 - i_0 > > 45.06/45.17 n_l2___4: < < Pdolen_0 - i_0 > > 45.06/45.17 n_l2___3: < < Pdolen_0 - i_0 > > 45.06/45.17 n_n_l2___4___2: < < Pdolen_0 - i_0 > > 45.06/45.17 l0: < < Pdolen_0 - i_0 > > 45.06/45.17 45.06/45.17 45.06/45.17 Connected Subgraphs where we couldn't prove Termination: 45.06/45.17 -------------------------------------------------------- 45.06/45.17 SCC: 45.06/45.17 +--transitions: t3,t4 45.06/45.17 +--nodes: n_n_n_l2___4___2___2,n_n_n_l3___2___1___1 45.06/45.17 45.06/45.17 45.14/45.23 EOF