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


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


YES
Input TRS:
    1: 0(*(x1)) -> *(1(x1))
    2: 1(*(x1)) -> 0(\#(x1))
    3: \#(0(x1)) -> 0(\#(x1))
    4: \#(1(x1)) -> 1(\#(x1))
    5: \#($(x1)) -> *($(x1))
    6: \#(\#(x1)) -> \#(x1)
    7: \#(*(x1)) -> *(x1)
Number of strict rules: 7
Direct poly ... removes: 7 6
  1(x1)		w: (31598 + x1)
  \#(x1)		w: (1 + x1)
  0(x1)		w: (31598 + x1)
  $(x1)		w: (20585 + 2 * x1)
  *(x1)		w: (1 + x1)
Number of strict rules: 5
Direct poly ... failed.
Freezing ... failed.
Dependency Pairs:
   #1: #1(*(x1)) -> #0(\#(x1))
   #2: #1(*(x1)) -> #\#(x1)
   #3: #\#(0(x1)) -> #0(\#(x1))
   #4: #\#(0(x1)) -> #\#(x1)
   #5: #0(*(x1)) -> #1(x1)
   #6: #\#(1(x1)) -> #1(\#(x1))
   #7: #\#(1(x1)) -> #\#(x1)
Number of SCCs: 1, DPs: 7
	SCC { #1..7 }
Sum... succeeded.
  #0(x1)		w: (21238 + x1)
  1(x1)		w: (40 + x1)
  #\#(x1)		w: (21240 + x1)
  \#(x1)		w: (2 + x1)
  0(x1)		w: (40 + x1)
  $(x1)		w: (7720 + x1)
  #1(x1)		w: (21239 + x1)
  *(x1)		w: (2 + x1)
    USABLE RULES: { 1..5 }
    Removed DPs: #1..7
Number of SCCs: 0, DPs: 0