17.56/17.62	MAYBE
17.56/17.62	
17.56/17.62	
17.56/17.62	Termination: (Ranking Functions Found)
17.56/17.62	------------
17.56/17.62	n_f115_0_loop_LE___5: < < arg2 > >
17.56/17.62	
17.56/17.62	
17.56/17.62	Connected Subgraphs where we couldn't prove Termination:
17.56/17.62	--------------------------------------------------------
17.56/17.62	SCC:
17.56/17.62	+--transitions: t5,t6,t7,t8
17.56/17.62	+--nodes: n_n_n_f115_0_loop_LE___2___1___3,n_n_n_f115_0_loop_LE___6___2___2
17.56/17.62	
17.56/17.62	
17.66/17.68	EOF