290.79/290.87	MAYBE
290.79/290.87	
290.79/290.87	
290.79/290.87	Termination: (Ranking Functions Found)
290.79/290.87	------------
290.79/290.87	l12: < < NBuffers_0 - i_0, NBuffers_0 - i_0 > >
290.79/290.87	l18: < < NLocBuffer_0 - i_0, 0 > >
290.79/290.87	l4: < < NBuffers_0 - i_0, 0 > >
290.79/290.87	l3: < < NLocBuffer_0 - i_0, NLocBuffer_0 - i_0 > >
290.79/290.87	l10: < < NBuffers_0 - i_0, 0 > >
290.79/290.87	l16: < < NLocBuffer_0 - i_0, 0 > >
290.79/290.87	l2: < < NLocBuffer_0 - i_0 + istemp_0, 0 > >
290.79/290.87	l17: < < NLocBuffer_0 - i_0, 0 > >
290.79/290.87	l8: < < NBuffers_0 - i_0, 0 > >
290.79/290.87	l9: < < NBuffers_0 - i_0, 0 > >
290.79/290.87	l5: < < 1 + NBuffers_0 - i_0, 0 > >
290.79/290.87	l11: < < NBuffers_0 - i_0, 0 > >
290.79/290.87	
290.79/290.87	
290.79/290.87	Connected Subgraphs where we couldn't prove Termination:
290.79/290.87	--------------------------------------------------------
290.79/290.87	SCC:
290.79/290.87	+--transitions: t33
290.79/290.87	+--nodes: n_n_n_l13___16___8___7
290.79/290.87	
290.79/290.87	
290.89/290.94	EOF