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


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


MAYBE
Input TRS:
    1: b(a(),f(b(b(z,y),a()))) -> z
    2: c(c(z,x,a()),a(),y) -> f(f(c(y,a(),f(c(z,y,x)))))
    3: f(f(c(a(),y,z))) -> b(y,b(z,z))
Number of strict rules: 3
Direct POLO(bPol) ... failed.
Uncurrying ... failed.
Dependency Pairs:
   #1: #c(c(z,x,a()),a(),y) -> #f(f(c(y,a(),f(c(z,y,x)))))
   #2: #c(c(z,x,a()),a(),y) -> #f(c(y,a(),f(c(z,y,x))))
   #3: #c(c(z,x,a()),a(),y) -> #c(y,a(),f(c(z,y,x)))
   #4: #c(c(z,x,a()),a(),y) -> #f(c(z,y,x))
   #5: #c(c(z,x,a()),a(),y) -> #c(z,y,x)
   #6: #f(f(c(a(),y,z))) -> #b(y,b(z,z))
   #7: #f(f(c(a(),y,z))) -> #b(z,z)
Number of SCCs: 1, DPs: 2
  SCC { #3 #5 }
POLO(Sum)... POLO(max)... QLPOS... POLO(mSum)... QWPOpS(mSum)... Mat2b... failed.
Finding a loop...  failed.