11.49/11.59	MAYBE
11.49/11.59	
11.49/11.59	
11.49/11.59	Termination: (Ranking Functions Found)
11.49/11.59	------------
11.49/11.59	l0: < < 64 * curr_serv_0, 0 > >
11.49/11.59	l1: < < -8 + 64 * curr_serv_0, 64 * curr_serv_0 - servers_0 > >
11.49/11.59	l6: < < 56 * curr_serv_0 -8 * resp_0, 0 > >
11.49/11.59	
11.49/11.59	
11.49/11.59	Connected Subgraphs where we couldn't prove Termination:
11.49/11.59	--------------------------------------------------------
11.49/11.59	SCC:
11.49/11.59	+--transitions: t4
11.49/11.59	+--nodes: n_n_n_l4___2___2___2
11.49/11.59	
11.49/11.59	
11.58/11.66	EOF