13.41/13.47	MAYBE
13.41/13.47	
13.41/13.47	
13.41/13.47	Termination: (Ranking Functions Found)
13.41/13.47	------------
13.41/13.47	l0: < < curr_serv_0, 0 > >
13.41/13.47	l6: < < -1 + curr_serv_0, 0 > >
13.41/13.47	l1: < < -1 + curr_serv_0, -1 + curr_serv_0 > >
13.41/13.47	
13.41/13.47	
13.41/13.47	Connected Subgraphs where we couldn't prove Termination:
13.41/13.47	--------------------------------------------------------
13.41/13.47	SCC:
13.41/13.47	+--transitions: t4
13.41/13.47	+--nodes: n_n_n_l4___2___2___2
13.41/13.47	
13.41/13.47	
13.47/13.54	EOF