16.21/16.27	MAYBE
16.21/16.27	
16.21/16.27	
16.21/16.27	Termination: (Ranking Functions Found)
16.21/16.27	------------
16.21/16.27	l6: < < curr_serv_0 - servers_0 + 2 * serversdiv2_0, 0 > >
16.21/16.27	l0: < < curr_serv_0, 0 > >
16.21/16.27	l1: < < -1 + curr_serv_0, -1 + curr_serv_0 > >
16.21/16.27	
16.21/16.27	
16.21/16.27	Connected Subgraphs where we couldn't prove Termination:
16.21/16.27	--------------------------------------------------------
16.21/16.27	SCC:
16.21/16.27	+--transitions: t4
16.21/16.27	+--nodes: n_n_n_l4___2___2___2
16.21/16.27	
16.21/16.27	
16.30/16.33	EOF