I've submitted the TPTP 4.7 IP log through the Helios release tracker on the Eclipse Portal. Is that the automated tool you mean? If I'm supposed to submit it elsewhere, please provide the URL. Thanks!