77.09/77.16	MAYBE
77.09/77.16	
77.09/77.16	
77.09/77.16	Termination: (Ranking Functions Found)
77.09/77.16	------------
77.09/77.16	f319_0__init__GE: < < 1 - arg2 + arg3 > >
77.09/77.16	f1266_0_example_GE': < < -1 - arg2 + arg3 >, < -1 - arg2 + arg3 >, < 1 - arg2 + arg3 >, < -1 - arg2 + arg3 >, < -1 - arg2 + arg3 >, < - arg2 + arg3 >, < -1 - arg2 + arg3 > >
77.09/77.16	f3087_0_init_GE: < < - arg2 + arg3 > >
77.09/77.16	f1723_0_example_LT: < < -2 - arg2 + arg3 >, < -1 - arg2 + arg3 >, < - arg2 + arg3 > >
77.09/77.16	f1738_0_example_GE: < < - arg3 + arg4 >, < 1 - arg3 + arg4 >, < - arg2 + arg4 >, < 1 - arg3 + arg4 >, < - arg3 + arg4 >, < - arg2 + arg4 >, < 0 > >
77.09/77.16	f9681_0_dijkstra_GE: < < - arg3 + arg6 >, < - arg5 + arg6 >, < - arg5 + arg6 >, < - arg5 + arg6 >, < - arg5 + arg6 > >
77.09/77.16	f7737_0_bellmanFord_GE: < < 1 - arg2 + arg3 > >
77.09/77.16	f9974_0_relax_ArrayAccess: < < - arg1 + arg6 >, < - arg3 + arg6 >, < -1 - arg5 + arg6 > >
77.09/77.16	f8283_0_bellmanFord_GE: < < - arg2 + arg4 >, < - arg3 + arg4 >, < - arg3 + arg4 > >
77.09/77.16	f8819_0_bellmanFord_GE: < < - arg2 + arg5 >, < - arg3 + arg5 >, < - arg4 + arg5 >, < - arg4 + arg5 >, < - arg4 + arg5 >, < - arg4 + arg5 > >
77.09/77.16	f8204_0_bellmanFord_GE: < < - arg2 + arg4 >, < 1 - arg3 + arg4 > >
77.09/77.16	f621_0__init__GE: < < - arg2 + arg4 >, < - arg3 + arg4 > >
77.09/77.16	f10401_0_relax_ArrayAccess: < < - arg1 + arg5 >, < -1 - arg4 + arg5 > >
77.09/77.16	f1266_0_example_GE: < < -1 - arg2 + arg3 >, < - arg2 + arg3 >, < 1 - arg2 + arg3 >, < - arg2 + arg3 >, < -1 - arg2 + arg3 >, < 1 - arg2 + arg3 >, < 0 > >
77.09/77.16	f660_0_init_GE: < < - arg2 + arg3 > >
77.09/77.16	f8607_0_dijkstra_GE: < < - arg3 + arg6 >, < - arg5 + arg6 >, < - arg5 + arg6 >, < - arg5 + arg6 >, < - arg5 + arg6 >, < - arg5 + arg6 >, < - arg4 + arg6 >, < - arg5 + arg6 >, < - arg4 + arg6 >, < - arg4 + arg6 > >
77.09/77.16	f6985_0_bellmanFord_GE: < < 1 - arg2 + arg3 > >
77.09/77.16	f8426_0_dijkstra_GE: < < - arg3 + arg5 >, < - arg4 + arg5 > >
77.09/77.16	f5979_0_dijkstra_GE: < < - arg3 + arg4 > >
77.09/77.16	f8557_0_bellmanFord_ArrayAccess: < < - arg2 + arg5 >, < -1 - arg4 + arg5 > >
77.09/77.16	f8157_0_dijkstra_GE: < < 1 - arg3 + arg4 > >
77.09/77.16	
77.09/77.16	
77.09/77.16	Connected Subgraphs where we couldn't prove Termination:
77.09/77.16	--------------------------------------------------------
77.09/77.16	SCC:
77.09/77.16	+--transitions: t10,t11,t8,t9
77.09/77.16	+--nodes: n_n_n_f5912_0_main_GE___1___3___3,n_n_n_f5912_0_main_GE___2___2___2
77.09/77.16	
77.09/77.16	
77.13/77.22	EOF