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