| [news.eclipse.tptp] Re: Feedback on my TPTP profiling experiences |
Dear all,
I think I've had my fill of trying to profile using TPTP. I've found it a very frustrating experience. It was taken me just shy of 3 full days to get a small amount of useful information out of it. The effort involved was just not worth the return.
Cheers, Nicholas Sherlock