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