Are you using the Integrated Agent Controller
(i.e. Local Direct Connection) or the Agent Controller? If you're
using IAC, try switching to the Agent Controller. See section 4.0
of this document: http://www.eclipse.org/tptp/platform/documents/speed_profiling/speedUpProfiling.html