/export/starexec/sandbox2/solver/bin/starexec_run_Default: line 4: 27477 Done                    xsltproc "$DIR/xtc2tpdb.xml" "$1"
     27478 Alarm clock             | NaTT.exe 2> "$2/stdout.txt" 2> $DIR/stderr.txt
Input TRS:
      1: 0(0(0(0(1(1(2(1(0(2(3(1(2(x1))))))))))))) -> 1(1(2(2(2(2(0(2(0(3(0(2(2(1(2(3(3(x1)))))))))))))))))
      2: 0(0(1(3(2(0(1(2(3(2(0(3(1(x1))))))))))))) -> 2(2(3(0(0(2(0(3(3(2(2(3(3(2(2(3(2(x1)))))))))))))))))
      3: 0(0(2(0(0(0(0(1(3(3(1(1(2(x1))))))))))))) -> 3(3(3(1(2(2(0(0(2(3(2(3(2(1(2(1(2(x1)))))))))))))))))
      4: 0(0(2(1(0(0(0(2(0(1(3(2(1(x1))))))))))))) -> 2(2(3(0(0(0(2(2(3(2(1(3(2(2(3(1(1(x1)))))))))))))))))
      5: 0(1(1(1(0(2(0(3(0(2(2(2(0(x1))))))))))))) -> 1(2(2(0(2(2(3(1(2(3(1(2(2(2(2(1(0(x1)))))))))))))))))
      6: 0(1(2(2(3(3(2(0(0(3(1(2(2(x1))))))))))))) -> 3(0(2(2(2(1(1(2(2(2(1(1(3(3(2(2(2(x1)))))))))))))))))
      7: 0(3(0(2(0(3(2(0(3(2(0(2(1(x1))))))))))))) -> 2(1(0(3(1(2(3(0(2(0(2(2(2(3(1(3(1(x1)))))))))))))))))
      8: 0(3(1(1(1(2(2(3(1(3(3(2(1(x1))))))))))))) -> 2(2(0(1(2(1(1(1(1(1(2(0(2(1(0(2(2(x1)))))))))))))))))
      9: 0(3(1(2(2(2(1(0(1(0(2(3(3(x1))))))))))))) -> 2(2(2(0(2(3(2(3(3(3(1(3(3(1(2(2(3(x1)))))))))))))))))
      10: 0(3(3(2(1(0(2(3(0(2(2(2(0(x1))))))))))))) -> 2(2(0(0(1(2(2(2(3(3(2(1(3(0(2(2(3(x1)))))))))))))))))
      11: 1(0(2(3(2(1(0(2(3(3(0(2(2(x1))))))))))))) -> 2(1(0(2(2(3(0(3(1(2(2(2(2(2(2(1(2(x1)))))))))))))))))
      12: 1(1(0(2(1(1(3(0(0(3(2(1(2(x1))))))))))))) -> 2(3(2(1(2(2(1(1(0(0(3(2(2(0(1(1(2(x1)))))))))))))))))
      13: 1(1(0(2(2(1(0(2(1(1(3(2(3(x1))))))))))))) -> 2(0(2(3(2(0(2(0(0(2(2(1(2(2(3(3(3(x1)))))))))))))))))
      14: 1(1(0(2(2(3(1(1(0(0(1(1(2(x1))))))))))))) -> 2(0(0(0(2(0(3(0(1(2(0(2(2(2(2(1(2(x1)))))))))))))))))
      15: 1(1(1(3(2(0(2(1(2(0(0(2(0(x1))))))))))))) -> 2(3(2(3(2(0(3(2(2(1(2(3(2(2(2(1(0(x1)))))))))))))))))
      16: 1(1(2(0(0(2(1(2(0(1(1(1(1(x1))))))))))))) -> 1(0(0(0(2(2(2(3(3(2(3(3(3(2(0(2(2(x1)))))))))))))))))
      17: 1(1(2(1(2(3(3(1(2(1(0(1(0(x1))))))))))))) -> 2(2(2(3(1(2(2(1(2(2(3(2(1(0(3(3(2(x1)))))))))))))))))
      18: 1(1(2(2(0(2(2(0(0(3(1(0(2(x1))))))))))))) -> 1(3(2(0(2(2(1(3(3(2(2(1(1(3(2(0(2(x1)))))))))))))))))
      19: 1(2(0(2(1(2(1(1(3(1(3(3(0(x1))))))))))))) -> 1(2(1(3(0(3(0(0(0(2(2(2(2(3(2(0(2(x1)))))))))))))))))
      20: 1(2(1(0(3(2(1(1(1(0(2(3(3(x1))))))))))))) -> 0(2(3(3(0(2(2(2(1(0(0(2(1(1(3(3(2(x1)))))))))))))))))
      21: 1(2(1(2(1(1(3(2(1(3(3(0(1(x1))))))))))))) -> 1(0(0(2(2(0(0(0(2(2(2(2(2(2(2(0(2(x1)))))))))))))))))
      22: 1(2(1(3(2(0(3(3(2(1(1(0(2(x1))))))))))))) -> 3(3(2(2(2(1(2(0(1(1(2(0(2(2(1(0(2(x1)))))))))))))))))
      23: 1(2(1(3(2(3(3(0(3(1(2(3(3(x1))))))))))))) -> 2(2(1(0(2(2(0(0(2(1(1(2(3(1(1(1(2(x1)))))))))))))))))
      24: 1(3(0(1(3(2(3(2(0(0(1(2(3(x1))))))))))))) -> 1(1(3(1(3(2(2(0(2(3(1(2(1(2(1(2(3(x1)))))))))))))))))
      25: 2(0(1(1(0(0(2(3(3(0(2(0(1(x1))))))))))))) -> 2(2(2(1(3(1(3(3(2(2(2(2(0(3(0(1(1(x1)))))))))))))))))
      26: 2(1(1(3(1(3(3(2(1(1(1(3(3(x1))))))))))))) -> 0(2(2(1(2(3(0(0(1(2(0(2(0(2(1(2(2(x1)))))))))))))))))
      27: 2(1(3(2(0(0(3(3(2(1(3(1(2(x1))))))))))))) -> 2(2(2(1(0(2(3(1(1(1(1(3(2(3(3(2(2(x1)))))))))))))))))
      28: 2(2(0(0(3(3(0(1(2(0(3(2(2(x1))))))))))))) -> 2(2(2(3(1(1(0(0(2(1(0(1(2(2(0(1(2(x1)))))))))))))))))
      29: 3(0(2(3(0(1(2(2(3(2(2(0(3(x1))))))))))))) -> 2(2(1(3(3(2(2(2(3(3(0(2(2(2(3(3(0(x1)))))))))))))))))
      30: 3(2(2(2(3(0(3(1(3(0(3(1(2(x1))))))))))))) -> 2(2(2(0(2(3(1(2(1(2(2(3(2(2(3(3(1(x1)))))))))))))))))
Number of strict rules: 30
Direct POLO(bPol) ... failed.
Uncurrying ... failed.