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


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


YES
Input TRS:
    1: f(g(x),g(y)) -> f(p(f(g(x),s(y))),g(s(p(x))))
    2: p(0()) -> g(0())
    3: g(s(p(x))) -> p(x)
Number of strict rules: 3
Direct POLO(bPol) ... failed.
Uncurrying ... failed.
Dependency Pairs:
   #1: #p(0()) -> #g(0())
   #2: #f(g(x),g(y)) -> #f(p(f(g(x),s(y))),g(s(p(x))))
   #3: #f(g(x),g(y)) -> #p(f(g(x),s(y)))
   #4: #f(g(x),g(y)) -> #f(g(x),s(y))
   #5: #f(g(x),g(y)) -> #g(s(p(x)))
   #6: #f(g(x),g(y)) -> #p(x)
Number of SCCs: 0, DPs: 0