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


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


MAYBE
Input TRS:
    1: f1() -> g1()
    2: f1() -> g2()
    3: f2() -> g1()
    4: f2() -> g2()
    5: g1() -> h1()
    6: g1() -> h2()
    7: g2() -> h1()
    8: g2() -> h2()
    9: e1(h1(),h2(),x,y,z) -> e2(x,x,y,z,z)
    10: e2(f1(),x,y,z,f2()) -> e3(x,y,x,y,y,z,y,z,x,y,z)
    11: e3(x1,x1,x2,x2,x3,x3,x4,x4,x,y,z) -> e4(x1,x1,x2,x2,x3,x3,x4,x4,x,y,z)
    12: e4(g1(),x1,g2(),x1,g1(),x1,g2(),x1,x,y,z) -> e1(x1,x1,x,y,z)
Number of strict rules: 12
Direct POLO(bPol) ... failed.
Uncurrying ... failed.
Dependency Pairs:
   #1: #f1() -> #g2()
   #2: #e1(h1(),h2(),x,y,z) -> #e2(x,x,y,z,z)
   #3: #e3(x1,x1,x2,x2,x3,x3,x4,x4,x,y,z) -> #e4(x1,x1,x2,x2,x3,x3,x4,x4,x,y,z)
   #4: #e4(g1(),x1,g2(),x1,g1(),x1,g2(),x1,x,y,z) -> #e1(x1,x1,x,y,z)
   #5: #e2(f1(),x,y,z,f2()) -> #e3(x,y,x,y,y,z,y,z,x,y,z)
   #6: #f2() -> #g1()
   #7: #f1() -> #g1()
   #8: #f2() -> #g2()
Number of SCCs: 1, DPs: 4
  SCC { #2..5 }
POLO(Sum)... POLO(max)... QLPOS... POLO(mSum)... QWPOpS(mSum)... Mat2b... failed.
Finding a loop...  failed.