[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Batch mode is slow

On Tue, May 15, 2001 at 10:53:07AM +0200, Christoph Berg wrote:
> when running PVS (2.3) in batch mode, I noticed that the (x)emacs process
> running uses about 50% of the CPU time, so PVS runs at half speed.

I just noticed that it is even worse:
(prove-importchain 'basics) in batch mode yields

basics: 426 proofs attempted, 426 proved in 8169.92 real, 583.42 cpu seconds

Christoph Berg
cb@cs.uni-sb.de, http://www-wjp.cs.uni-sb.de/~cb/
Office +49/681/302-4490, Fax -4290, Home +49/681/9657944
Computer Science Dept., Universität des Saarlandes, Saarbrücken

PGP signature