11.48/11.53	MAYBE
11.48/11.53	
11.48/11.53	
11.48/11.53	Termination: (Ranking Functions Found)
11.48/11.53	------------
11.48/11.53	l1: < < 4 * curr_serv_0 - servers_0, -4 + 4 * curr_serv_0 > >
11.48/11.53	l0: < < 4 * curr_serv_0, 0 > >
11.48/11.53	l6: < < 4 * curr_serv_0 - servers_0, 0 > >
11.48/11.53	
11.48/11.53	
11.48/11.53	Connected Subgraphs where we couldn't prove Termination:
11.48/11.53	--------------------------------------------------------
11.48/11.53	SCC:
11.48/11.53	+--transitions: t4
11.48/11.53	+--nodes: n_n_n_l4___2___2___2
11.48/11.53	
11.48/11.53	
11.58/11.60	EOF