/export/starexec/sandbox/solver/bin/starexec_run_competition /export/starexec/sandbox/benchmark/theBenchmark.smt2 /export/starexec/sandbox/output/output_files


--------------------------------------------------------------------------------


YES


Termination: (Ranking Functions Found)
------------
f10686_0_indexOf_EQ: < < arg13 -arg14 >, < arg8 > >
f10687_0_indexOf_EQ: < < arg13 -arg14 >, < arg13 -arg14 >, < arg8 > >
f11013_0_indexOf_EQ: < < arg14 -arg15 >, < arg14 -arg15 >, < arg14 -arg15 >, < arg9 >, < 0 >, < arg9 >, < arg9 >, < arg9 > >
f11014_0_indexOf_EQ: < < arg14 -arg15 >, < arg14 -arg15 >, < 1 + arg14 -arg15 >, < -1 + arg14 -arg15 >, < arg9 >, < 0 >, < arg9 >, < arg9 >, < arg9 > >
f11138_0_indexOf_EQ: < < arg10 -arg11 >, < arg10 -arg11 >, < arg10 -arg11 >, < arg6 >, < -arg5 >, < arg6 >, < arg6 >, < arg6 > >
f11144_0_indexOf_EQ: < < arg10 -arg11 >, < arg10 -arg11 >, < 1 + arg10 -arg11 >, < -1 + arg10 -arg11 >, < arg6 >, < -arg5 >, < arg6 >, < arg6 >, < arg6 > >
f3426_0__init__LE: < < arg19 >, < arg19 >, < arg19 >, < arg11 + arg25 >, < arg25 > >
f9903_0_hasNext_EQ: < < arg12 -arg13 >, < arg12 -arg13 >, < arg4 + arg12 -arg13 >, < -1 + arg12 -arg13 > >


method 1