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