/export/starexec/sandbox/solver/bin/starexec_run_Default /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files


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


NO
Input TRS:
    1: sel(s(N),cons(X)) -> sel(N,XS)
    2: fib(N) -> sel(N,fib1(s(0()),s(0())))
    3: fib1(X,Y) -> cons(X)
    4: add(0(),X) -> X
    5: add(s(X),Y) -> s(add(X,Y))
    6: sel(0(),cons(X)) -> X
Extra variable in rule 1.