299.99/300.02	/export/starexec/sandbox/solver/bin/starexec_run_Default: line 4: 15797 Done                    xsltproc "$DIR/xtc2tpdb.xml" "$1"
299.99/300.02	     15798 Alarm clock             | NaTT.exe 2> $DIR/stderr.txt
299.99/300.03	Input TRS:
299.99/300.03	    1: a(a(x1)) -> b(a(b(x1)))
299.99/300.03	    2: a(a(a(x1))) -> a(b(a(b(a(x1)))))
299.99/300.03	    3: a(b(a(x1))) -> b(b(a(b(b(x1)))))
299.99/300.03	    4: a(a(a(a(x1)))) -> a(a(b(a(b(a(a(x1)))))))
299.99/300.03	    5: a(a(b(a(x1)))) -> a(b(b(a(b(a(b(x1)))))))
299.99/300.03	    6: a(b(a(a(x1)))) -> b(a(b(a(b(b(a(x1)))))))
299.99/300.03	    7: a(b(b(a(x1)))) -> b(b(b(a(b(b(b(x1)))))))
299.99/300.03	    8: a(a(a(a(a(x1))))) -> a(a(a(b(a(b(a(a(a(x1)))))))))
299.99/300.03	    9: a(a(a(b(a(x1))))) -> a(a(b(b(a(b(a(a(b(x1)))))))))
299.99/300.03	    10: a(a(b(a(a(x1))))) -> a(b(a(b(a(b(a(b(a(x1)))))))))
299.99/300.03	    11: a(a(b(b(a(x1))))) -> a(b(b(b(a(b(a(b(b(x1)))))))))
299.99/300.03	    12: a(b(a(a(a(x1))))) -> b(a(a(b(a(b(b(a(a(x1)))))))))
299.99/300.03	    13: a(b(a(b(a(x1))))) -> b(a(b(b(a(b(b(a(b(x1)))))))))
299.99/300.03	    14: a(b(b(a(a(x1))))) -> b(b(a(b(a(b(b(b(a(x1)))))))))
299.99/300.03	    15: a(b(b(b(a(x1))))) -> b(b(b(b(a(b(b(b(b(x1)))))))))
299.99/300.03	Number of strict rules: 15
299.99/300.03	Direct POLO(bPol) ... failed.
299.99/300.03	Uncurrying ... failed.
299.99/300.03	EOF