13.85/13.88	MAYBE
13.85/13.88	
13.85/13.88	
13.85/13.88	Termination: (Ranking Functions Found)
13.85/13.88	------------
13.85/13.88	l0: < < - x_5_0 + y_6_0 > >
13.85/13.88	l2: < < - x_5_0 + y_6_0 > >
13.85/13.88	n_l4___2: < < - x_5_0 + y_6_0 >, < - x_5_0 + y_6_0 > >
13.85/13.88	n_l0___3: < < - x_5_0 + y_6_0 >, < 1 - x_5_0 + y_6_0 > >
13.85/13.88	n_l0___1: < < - x_5_0 + y_6_0 >, < - x_5_0 + y_6_0 > >
13.85/13.88	l3: < < - x_5_0 + y_6_0 > >
13.85/13.88	l4: < < - x_5_0 + y_6_0 > >
13.85/13.88	
13.85/13.88	
13.85/13.88	Connected Subgraphs where we couldn't prove Termination:
13.85/13.88	--------------------------------------------------------
13.85/13.88	SCC:
13.85/13.88	+--transitions: t10,t5,t6,t8
13.85/13.88	+--nodes: n_n_n_l0___1___1___2,n_n_n_l0___1___2___1,n_n_n_l4___2___3___3
13.85/13.88	
13.85/13.88	
13.91/13.94	EOF