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


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


YES
Input TRS:
    1: \\(x,x) -> e()
    2: /(x,x) -> e()
    3: .(e(),x) -> x
    4: .(x,e()) -> x
    5: \\(e(),x) -> x
    6: /(x,e()) -> x
    7: .(x,\\(x,y)) -> y
    8: .(/(y,x),x) -> y
    9: \\(x,.(x,y)) -> y
    10: /(.(y,x),x) -> y
    11: /(x,\\(y,x)) -> y
    12: \\(/(x,y),x) -> y
Number of strict rules: 12
Direct POLO(bPol) ... removes: 4 8 1 3 5 10 7 12 11 9 6 2
      / 	w: 2 * x1 + 2 * x2 + 2
      \\	w: 2 * x1 + 2 * x2 + 2
      . 	w: 2 * x1 + 2 * x2 + 1
      e 	w: 1
Number of strict rules: 0