9.51/9.67	MAYBE
9.51/9.67	
9.51/9.67	
9.51/9.67	Termination: (Ranking Functions Found)
9.51/9.67	------------
9.51/9.67	l2: < < 1 - x_5_0 + y_6_0 > >
9.51/9.67	l0: < < 1 - x_5_0 + y_6_0 > >
9.51/9.67	l4: < < - x_5_0 + y_6_0 > >
9.51/9.67	l5: < < - x_5_0 + y_6_0 > >
9.51/9.67	l3: < < 1 - x_5_0 + y_6_0 > >
9.51/9.67	
9.51/9.67	
9.51/9.67	Connected Subgraphs where we couldn't prove Termination:
9.51/9.67	--------------------------------------------------------
9.51/9.67	SCC:
9.51/9.67	+--transitions: t3
9.51/9.67	+--nodes: n_n_n_l0___3___4___4
9.51/9.67	
9.51/9.67	
9.58/9.73	EOF