David,
Thanks, this has sorted the problem out - the 150MB database now loads
in 1.7s (once cached in memory).
Phil
David Matthews wrote:
Philip Clayton wrote:
I have rebuilt ProofPower using this file and the times to start up
are back to normal. I've set a build going to test the 150MB
Philip Clayton wrote:
I have rebuilt ProofPower using this file and the times to start up are
back to normal. I've set a build going to test the 150MB databases but
won't know the outcome until tomorrow. This is looking good so far...
Good. I've committed that change. It looks like it has
Rob Arthan wrote:
On 26 Jul 2009, at 19:37, David Matthews wrote:
Rob Arthan wrote:
We have performance problems with ProofPower when compiled with
Poly/ML using the latest sources as compared with version 5.2.1. The
main problem is with loading a large state. In some of QinetiQ's
tests, it
On 26 Jul 2009, at 19:37, David Matthews wrote:
Rob Arthan wrote:
We have performance problems with ProofPower when compiled with
Poly/ML using the latest sources as compared with version 5.2.1.
The main problem is with loading a large state. In some of
QinetiQ's tests, it now takes nearl
Rob Arthan wrote:
We have performance problems with ProofPower when compiled with Poly/ML using
the latest sources as compared with version 5.2.1. The main problem is with
loading a large state. In some of QinetiQ's tests, it now takes nearly 40
minutes to load a state (occupying about 150Mb on
We have performance problems with ProofPower when compiled with Poly/ML using
the latest sources as compared with version 5.2.1. The main problem is with
loading a large state. In some of QinetiQ's tests, it now takes nearly 40
minutes to load a state (occupying about 150Mb on disc) that previou