/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: h1() -> i()
    10: h2() -> i()
    11: e1(h1(),h2(),x,y,z) -> e2(x,x,y,z,z)
    12: e1(x1,x1,x,y,z) -> e5(x1,x,y,z)
    13: e2(f1(),x,y,z,f2()) -> e3(x,y,x,y,y,z,y,z,x,y,z)
    14: e2(x,x,y,z,z) -> e6(x,y,z)
    15: e2(i(),x,y,z,i()) -> e6(x,y,z)
    16: e3(x1,x1,x2,x2,x3,x3,x4,x4,x,y,z) -> e4(x1,x1,x2,x2,x3,x3,x4,x4,x,y,z)
    17: e3(x,y,x,y,y,z,y,z,x,y,z) -> e6(x,y,z)
    18: e4(g1(),x1,g2(),x1,g1(),x1,g2(),x1,x,y,z) -> e1(x1,x1,x,y,z)
    19: e4(i(),x1,i(),x1,i(),x1,i(),x1,x,y,z) -> e5(x1,x,y,z)
    20: e4(x,x,x,x,x,x,x,x,x,x,x) -> e6(x,x,x)
    21: e5(i(),x,y,z) -> e6(x,y,z)
Number of strict rules: 21
Direct POLO(bPol) ... failed.
Uncurrying ... failed.
Dependency Pairs:
   #1: #f1() -> #g2()
   #2: #g1() -> #h2()
   #3: #e2(f1(),x,y,z,f2()) -> #e3(x,y,x,y,y,z,y,z,x,y,z)
   #4: #e1(h1(),h2(),x,y,z) -> #e2(x,x,y,z,z)
   #5: #e1(x1,x1,x,y,z) -> #e5(x1,x,y,z)
   #6: #g2() -> #h1()
   #7: #g1() -> #h1()
   #8: #e4(i(),x1,i(),x1,i(),x1,i(),x1,x,y,z) -> #e5(x1,x,y,z)
   #9: #e3(x1,x1,x2,x2,x3,x3,x4,x4,x,y,z) -> #e4(x1,x1,x2,x2,x3,x3,x4,x4,x,y,z)
   #10: #f2() -> #g1()
   #11: #f1() -> #g1()
   #12: #g2() -> #h2()
   #13: #f2() -> #g2()
   #14: #e4(g1(),x1,g2(),x1,g1(),x1,g2(),x1,x,y,z) -> #e1(x1,x1,x,y,z)
Number of SCCs: 1, DPs: 4
  SCC { #3 #4 #9 #14 }
POLO(Sum)... POLO(max)... QLPOS... POLO(mSum)... QWPOpS(mSum)... Mat2b... failed.
Finding a loop...  failed.