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