296.86/296.91	MAYBE
296.86/296.91	
296.86/296.91	
296.86/296.91	Termination: (Ranking Functions Found)
296.86/296.91	------------
296.86/296.91	l9: < < - loop_count_0 + loop_max_0 > >
296.86/296.91	l11: < < - loop_count_0 + loop_max_0 >, < -1 - nPacketsOld_0 + nPackets_0 >, < -1 - nPacketsOld_0 + nPackets_0 >, < -1 - nPacketsOld_0 + nPackets_0 > >
296.86/296.91	n_l4___7: < < - loop_count_0 + loop_max_0 >, < - loop_count_0 + loop_max_0 >, < - loop_count_0 + loop_max_0 >, < - loop_count_0 + loop_max_0 > >
296.86/296.91	n_l13___5: < < - loop_count_0 + loop_max_0 >, < - loop_count_0 + loop_max_0 >, < - loop_count_0 + loop_max_0 >, < - loop_count_0 + loop_max_0 > >
296.86/296.91	l3: < < - loop_count_0 + loop_max_0 >, < -1 - nPacketsOld_0 + nPackets_0 >, < -1 - nPacketsOld_0 + nPackets_0 >, < -1 - nPacketsOld_0 + nPackets_0 > >
296.86/296.91	l5: < < - loop_count_0 + loop_max_0 >, < 0 >, < 0 >, < 0 > >
296.86/296.91	l10: < < - loop_count_0 + loop_max_0 >, < -1 - nPacketsOld_0 + nPackets_0 >, < -1 - nPacketsOld_0 + nPackets_0 >, < -1 - nPacketsOld_0 + nPackets_0 > >
296.86/296.91	l14: < < - loop_count_0 + loop_max_0 >, < 0 >, < 0 >, < 0 > >
296.86/296.91	n_n_l10___2___2: < < - loop_count_0 + loop_max_0 >, < - loop_count_0 + loop_max_0 >, < - loop_count_0 + loop_max_0 >, < - loop_count_0 + loop_max_0 > >
296.86/296.91	n_n_l10___3___1: < < - loop_count_0 + loop_max_0 >, < - loop_count_0 + loop_max_0 >, < - loop_count_0 + loop_max_0 >, < - loop_count_0 + loop_max_0 > >
296.86/296.91	n_n_l13___5___3: < < - loop_count_0 + loop_max_0 >, < - loop_count_0 + loop_max_0 >, < - loop_count_0 + loop_max_0 >, < - loop_count_0 + loop_max_0 > >
296.86/296.91	n_l10___2: < < - loop_count_0 + loop_max_0 >, < - loop_count_0 + loop_max_0 >, < - loop_count_0 + loop_max_0 >, < - loop_count_0 + loop_max_0 > >
296.86/296.91	n_l8___1: < < - loop_count_0 + loop_max_0 >, < - loop_count_0 + loop_max_0 >, < - loop_count_0 + loop_max_0 >, < - loop_count_0 + loop_max_0 > >
296.86/296.91	l13: < < - loop_count_0 + loop_max_0 >, < 0 >, < 0 >, < 0 > >
296.86/296.91	n_n_n_l10___2___2___2: < < - loop_count_0 + loop_max_0 >, < - loop_count_0 + loop_max_0 >, < - loop_count_0 + loop_max_0 >, < - loop_count_0 + loop_max_0 > >
296.86/296.91	l12: < < - loop_count_0 + loop_max_0 >, < 0 >, < 0 >, < 0 > >
296.86/296.91	l1: < < - loop_count_0 + loop_max_0 >, < 0 >, < 0 >, < 0 > >
296.86/296.91	n_n_n_l10___3___1___1: < < - loop_count_0 + loop_max_0 >, < - loop_count_0 + loop_max_0 >, < - loop_count_0 + loop_max_0 >, < - loop_count_0 + loop_max_0 > >
296.86/296.91	l8: < < - loop_count_0 + loop_max_0 >, < 0 >, < 0 >, < 0 > >
296.86/296.91	l0: < < - loop_count_0 + loop_max_0 >, < 0 >, < 0 >, < 0 > >
296.86/296.91	l2: < < - loop_count_0 + loop_max_0 >, < 0 >, < 0 >, < 0 > >
296.86/296.91	l4: < < - loop_count_0 + loop_max_0 >, < 0 >, < 0 >, < 0 > >
296.86/296.91	n_l10___3: < < - loop_count_0 + loop_max_0 >, < - loop_count_0 + loop_max_0 >, < - loop_count_0 + loop_max_0 >, < - loop_count_0 + loop_max_0 > >
296.86/296.91	n_n_n_l13___5___3___3: < < - loop_count_0 + loop_max_0 >, < - loop_count_0 + loop_max_0 >, < - loop_count_0 + loop_max_0 >, < - loop_count_0 + loop_max_0 > >
296.86/296.91	n_n_n_l4___7___5___5: < < - loop_count_0 + loop_max_0 >, < - loop_count_0 + loop_max_0 >, < - loop_count_0 + loop_max_0 >, < - loop_count_0 + loop_max_0 > >
296.86/296.91	n_l2___6: < < - loop_count_0 + loop_max_0 >, < - loop_count_0 + loop_max_0 >, < - loop_count_0 + loop_max_0 >, < - loop_count_0 + loop_max_0 > >
296.86/296.91	n_n_l4___7___5: < < - loop_count_0 + loop_max_0 >, < - loop_count_0 + loop_max_0 >, < - loop_count_0 + loop_max_0 >, < - loop_count_0 + loop_max_0 > >
296.86/296.91	n_n_n_l2___6___4___4: < < - loop_count_0 + loop_max_0 >, < - loop_count_0 + loop_max_0 >, < - loop_count_0 + loop_max_0 >, < - loop_count_0 + loop_max_0 > >
296.86/296.91	n_n_l2___6___4: < < - loop_count_0 + loop_max_0 >, < - loop_count_0 + loop_max_0 >, < - loop_count_0 + loop_max_0 >, < - loop_count_0 + loop_max_0 > >
296.86/296.91	
296.86/296.91	
296.86/296.91	Connected Subgraphs where we couldn't prove Termination:
296.86/296.91	--------------------------------------------------------
296.86/296.91	SCC:
296.86/296.91	+--transitions: t1,t12,t2,t3,t4,t5,t6,t7
296.86/296.91	+--nodes: n_n_n_l10___2___2___2,n_n_n_l10___3___1___1,n_n_n_l13___5___3___3,n_n_n_l2___6___4___4,n_n_n_l4___7___5___5
296.86/296.91	
296.86/296.91	
296.86/296.96	EOF