18.99/19.08	MAYBE
18.99/19.08	
18.99/19.08	
18.99/19.08	Termination: (Ranking Functions Found)
18.99/19.08	------------
18.99/19.08	l1: < < curr_serv_0, curr_serv_0 > >
18.99/19.08	l6: < < curr_serv_0, 0 > >
18.99/19.08	l0: < < 1 + curr_serv_0, 0 > >
18.99/19.08	
18.99/19.08	
18.99/19.08	Connected Subgraphs where we couldn't prove Termination:
18.99/19.08	--------------------------------------------------------
18.99/19.08	SCC:
18.99/19.08	+--transitions: t9
18.99/19.08	+--nodes: n_n_n_l4___4___4___4
18.99/19.08	
18.99/19.08	
19.10/19.15	EOF