17.34/17.37	MAYBE
17.34/17.37	
17.34/17.37	
17.34/17.37	Termination: (Ranking Functions Found)
17.34/17.37	------------
17.34/17.37	l6: < < curr_serv_0, 0 > >
17.34/17.37	l1: < < curr_serv_0, curr_serv_0 > >
17.34/17.37	l0: < < 1 + curr_serv_0, 0 > >
17.34/17.37	
17.34/17.37	
17.34/17.37	Connected Subgraphs where we couldn't prove Termination:
17.34/17.37	--------------------------------------------------------
17.34/17.37	SCC:
17.34/17.37	+--transitions: t6
17.34/17.37	+--nodes: n_n_n_l4___2___2___2
17.34/17.37	
17.34/17.37	
17.40/17.65	EOF