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