Vicky, TPTP is very hard to get running reliably thus I recommend you use something else.
i.e. jvisualvm is built into the JDK but don't think it provides method level profiling out of the box but otherwise try some of the many other profilers available, jprofiler, yourkit, etc.