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