13.80/13.83	MAYBE
13.80/13.83	
13.80/13.83	
13.80/13.83	Termination: (Ranking Functions Found)
13.80/13.83	------------
13.80/13.83	l1: < < 16 * curr_serv_0 - servers_0, -4 + 16 * curr_serv_0 > >
13.80/13.83	l0: < < 16 * curr_serv_0, 0 > >
13.80/13.83	l6: < < -4 * ___rho_2__0 + 4 * c_0 + 12 * curr_serv_0, 0 > >
13.80/13.83	
13.80/13.83	
13.80/13.83	Connected Subgraphs where we couldn't prove Termination:
13.80/13.83	--------------------------------------------------------
13.80/13.83	SCC:
13.80/13.83	+--transitions: t4
13.80/13.83	+--nodes: n_n_n_l4___2___2___2
13.80/13.83	
13.80/13.83	
13.82/13.90	EOF