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


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


MAYBE
Input TRS:
    1: f(f(f(f(j(),a),b),c),d) -> f(f(a,b),f(f(a,d),c))
Number of strict rules: 1
Direct poly ... failed.
Freezing ... failed.
Dependency Pairs:
   #1: #f(f(f(f(j(),a),b),c),d) -> #f(f(a,b),f(f(a,d),c))
   #2: #f(f(f(f(j(),a),b),c),d) -> #f(a,b)
   #3: #f(f(f(f(j(),a),b),c),d) -> #f(f(a,d),c)
   #4: #f(f(f(f(j(),a),b),c),d) -> #f(a,d)
Number of SCCs: 1, DPs: 4
	SCC { #1..4 }
Sum... Max... QLPOpS... NegMaxSum... succeeded.
  f(x1,x2)		w: (max{0, -21239 + x2, 21239 + x1})
  #f(x1,x2)		w: (max{0, 32532 + x2, 53771 + x1})
  j()		w: (7719)
    USABLE RULES: { 1 }
    Removed DPs: #2
Number of SCCs: 1, DPs: 3
	SCC { #1 #3 #4 }
Sum... Max... QLPOpS... NegMaxSum... QWPOpSMaxSum... 2D-Mat... sum_sum_int,sum_neg... heuristic_int,sum_neg... failed.
Finding a loop...  failed.