300.05/300.09	/export/starexec/sandbox2/solver/bin/starexec_run_Default: line 4: 39725 Done                    xsltproc "$DIR/xtc2tpdb.xml" "$1"
300.05/300.09	     39726 Alarm clock             | NaTT.exe 2> $DIR/stderr.txt
300.05/300.09	Input TRS:
300.05/300.09	    1: a(a(b(a(a(a(a(a(a(a(a(x1))))))))))) -> a(a(a(a(a(a(a(a(a(a(b(a(a(b(x1))))))))))))))
300.05/300.09	Number of strict rules: 1
300.05/300.09	Direct POLO(bPol) ... failed.
300.05/300.09	Uncurrying ... failed.
300.05/300.09	EOF