121.83/121.86	YES
121.83/121.86	
121.83/121.86	
121.83/121.86	Termination: (Ranking Functions Found)
121.83/121.86	------------
121.83/121.86	f2260_0_jaro_GE: < < - arg2 + arg3 > >
121.83/121.86	f833_0__init__GE': < < - arg2 -3 * arg3 + 3 * arg4 > >
121.83/121.86	f4039_0_hamming_GE: < < - arg2 + arg3 >, < - arg2 + arg3 >, < - arg2 + arg3 > >
121.83/121.86	f1034_0_levenshtein_GT: < < - arg3 + arg4 > >
121.83/121.86	f7489_0_findMatch_GE: < < - arg4 + arg5 >, < - arg4 + arg5 >, < - arg4 + arg5 > >
121.83/121.86	f1960_0_jaro_GE: < < - arg2 + arg3 > >
121.83/121.86	f8074_0_append_GE: < < - arg3 + arg4 > >
121.83/121.86	f5195_0_levenshtein_ArrayAccess: < < 1 - arg3 + arg7 >, < - arg4 + arg7 >, < - arg4 + arg7 > >
121.83/121.86	f5323_0_levenshtein_ArrayAccess: < < - arg3 - arg5 + arg8 + arg10 >, < - arg8 + arg10 >, < - arg8 + arg10 >, < 1 - arg8 + arg9 >, < - arg3 + arg10 >, < - arg3 + arg9 >, < -3 * arg3 + arg4 + arg7 + 3 * arg9 > >
121.83/121.86	f1232_0_levenshtein_GT: < < - arg3 + arg4 > >
121.83/121.86	f6656_0_jaro_GT: < < -2 - arg4 + arg7 >, < - arg4 + arg7 >, < arg3 + arg4 - arg5 >, < 2 + 2 * arg3 - arg5 > >
121.83/121.86	f5542_0_levenshtein_ArrayAccess: < < 1 - arg4 + arg10 >, < -1 - arg8 + arg10 >, < -1 - arg8 + arg10 >, < arg2 - arg4 - arg8 + arg10 >, < - arg8 + arg10 >, < arg2 - arg4 - arg8 + arg10 >, < -2 + arg1 + arg3 -3 * arg8 + 3 * arg9 > >
121.83/121.86	f5888_0_min_LE: < < 1 - arg6 + arg11 >, < -1 - arg4 + arg11 >, < -1 - arg4 + arg11 >, < - arg4 + arg10 >, < - arg4 + arg11 >, < -1 - arg4 + arg11 >, < arg1 + 5 * arg3 -3 * arg4 + arg5 -5 * arg6 + 3 * arg11 > >
121.83/121.86	f894_0_main_GE: < < - arg2 + arg4 >, < - arg2 + arg4 >, < 99 - arg3 > >
121.83/121.86	f8879_0_jaro_GE: < < - arg3 + arg4 >, < - arg3 + arg5 >, < - arg3 + arg5 > >
121.83/121.86	f537_0_main_InvokeMethod': < < - arg2 + arg3 >, < - arg2 + arg3 >, < - arg2 + arg3 >, < - arg2 + arg3 >, < - arg2 + arg3 >, < - arg2 + arg3 >, < - arg2 + arg3 >, < - arg2 + arg3 >, < - arg2 + arg3 >, < - arg2 + arg3 >, < -1 - arg2 + arg3 > >
121.83/121.86	f2549_0_levenshtein_GE: < < 2 - arg3 + arg4 > >
121.83/121.86	f6616_0_min_LE: < < -1 + arg3 - arg6 + arg7 >, < - arg4 + arg8 >, < - arg5 + arg6 >, < 2 * arg3 - arg5 -2 * arg7 + 2 * arg8 > >
121.83/121.86	f8972_0_main_GT: < < 1 - arg2 + arg3 >, < - arg2 + arg3 >, < 1 - arg2 + arg3 >, < - arg2 + arg3 >, < 1 - arg2 + arg3 >, < - arg2 + arg3 >, < 1 - arg2 + arg3 >, < - arg2 + arg3 >, < 1 - arg2 + arg3 >, < - arg2 + arg3 >, < - arg2 + arg3 > >
121.83/121.86	f6023_0_min_LE: < < 1 - arg6 + arg10 >, < arg3 - arg4 - arg6 + arg10 >, < arg3 - arg4 - arg6 + arg10 >, < - arg4 + arg9 >, < - arg4 + arg10 >, < - arg4 + arg9 >, < -3 + arg2 -3 * arg4 + arg5 + 3 * arg10 > >
121.83/121.86	f4567_0_levenshtein_GE: < < - arg3 + arg6 >, < - arg4 + arg6 >, < - arg4 + arg6 >, < - arg4 + arg6 >, < - arg4 - arg5 + 2 * arg6 >, < - arg4 + arg6 >, < arg1 + arg2 -3 * arg4 + 3 * arg5 > >
121.83/121.86	f537_0_main_InvokeMethod: < < 1 - arg2 + arg3 >, < - arg2 + arg3 >, < 1 - arg2 + arg3 >, < - arg2 + arg3 >, < 1 - arg2 + arg3 >, < - arg2 + arg3 >, < 1 - arg2 + arg3 >, < - arg2 + arg3 >, < 1 - arg2 + arg3 >, < - arg2 + arg3 >, < -1 - arg2 + arg3 > >
121.83/121.86	f6098_0_levenshtein_ArrayAccess: < < -2 * arg3 + arg6 + arg7 >, < -1 - arg4 + arg8 >, < - arg4 + arg7 >, < - arg4 + arg7 >, < 1 - arg4 + arg7 >, < - arg4 + arg7 >, < -3 + arg1 + arg2 -3 * arg4 + 3 * arg7 > >
121.83/121.86	f833_0__init__GE: < < -3 * arg3 + 3 * arg4 > >
121.83/121.86	f6456_0_jaro_GE: < < -1 - arg5 + arg6 >, < 1 - arg5 + arg6 > >
121.83/121.86	
121.83/121.86	
121.89/121.93	EOF