/export/starexec/sandbox2/solver/bin/starexec_run_Default: line 4: 49949 Done                    xsltproc "$DIR/xtc2tpdb.xml" "$1"
     49950 Alarm clock             | NaTT.exe 2> "$2/stdout.txt" 2> $DIR/stderr.txt
Input TRS:
      1: b(a(b(x1))) -> b(a(a(a(b(x1)))))
      2: b(a(a(a(b(a(a(b(x1)))))))) -> b(a(a(b(a(a(b(a(a(a(b(b(x1))))))))))))
      3: b(a(a(a(b(a(a(a(b(x1))))))))) -> b(x1)
      4: b(a(a(a(b(b(b(x1))))))) -> b(b(b(a(a(a(b(x1)))))))
      5: b(a(a(b(b(x1))))) -> b(x1)
      6: b(b(a(a(b(x1))))) -> b(x1)
      7: b(a(a(a(b(a(b(x1))))))) -> b(x1)
      8: b(a(b(a(a(a(b(x1))))))) -> b(x1)
Number of strict rules: 8
Direct POLO(bPol) ... failed.
Uncurrying ... failed.
Dependency Pairs:
     #1: #b(a(a(a(b(a(a(b(x1)))))))) -> #b(a(a(b(a(a(b(a(a(a(b(b(x1))))))))))))
     #2: #b(a(a(a(b(a(a(b(x1)))))))) -> #b(a(a(b(a(a(a(b(b(x1)))))))))
     #3: #b(a(a(a(b(a(a(b(x1)))))))) -> #b(a(a(a(b(b(x1))))))
     #4: #b(a(a(a(b(a(a(b(x1)))))))) -> #b(b(x1))
     #5: #b(a(b(x1))) -> #b(a(a(a(b(x1)))))
     #6: #b(a(a(a(b(b(b(x1))))))) -> #b(b(b(a(a(a(b(x1)))))))
     #7: #b(a(a(a(b(b(b(x1))))))) -> #b(b(a(a(a(b(x1))))))
     #8: #b(a(a(a(b(b(b(x1))))))) -> #b(a(a(a(b(x1)))))
Number of SCCs: 1, DPs: 2
  SCC { #3 #8 }
POLO(Sum)... POLO(max)... QLPOS... POLO(mSum)... QWPOpS(mSum)... Mat2b... failed.
Finding a loop...