3.04/3.08	YES
3.04/3.08	
3.04/3.08	
3.04/3.08	Termination: (Ranking Functions Found)
3.04/3.08	------------
3.04/3.08	l3: < < 6 -2 * retryCount_10_0 > >
3.04/3.08	l1: < < maxRetries_9_0 -2 * retryCount_10_0 > >
3.04/3.08	
3.04/3.08	
3.04/3.14	EOF