11.60/11.64 MAYBE 11.60/11.64 11.60/11.64 11.60/11.64 Termination: (Ranking Functions Found) 11.60/11.64 ------------ 11.60/11.64 l6: < < curr_serv_0, 0 > > 11.60/11.64 l0: < < 1 + curr_serv_0, 0 > > 11.60/11.64 l1: < < curr_serv_0, curr_serv_0 > > 11.60/11.64 11.60/11.64 11.60/11.64 Connected Subgraphs where we couldn't prove Termination: 11.60/11.64 -------------------------------------------------------- 11.60/11.64 SCC: 11.60/11.64 +--transitions: t4 11.60/11.64 +--nodes: n_n_n_l4___2___2___2 11.60/11.64 11.60/11.64 11.69/11.71 EOF