[isabelle-dev] AFP statistics

Makarius makarius at sketis.net
Tue May 17 11:56:05 CEST 2011

On Tue, 17 May 2011, Alexander Krauss wrote:

>> The plan is to move the afp test back to Munich when I'm in Munich in 
>> about two weeks. Then we should be back to the old routine.
>> I'd prefer to run the test on a Linux machine. Is there one available 
>> with around 4 cores and lots of memory?
> Do 10GB already qualify? Then we can use lxbroy7/8, which are currently 
> looking for a new job.

It probably works if JinjaThreads is run with -M1.  Some weeks ago I did 
some fine tuning in the management of futures within the theory loader, 
and JinjaThreads with -M4 or -M8 now needs "only" 16GB, instead of 24GB.

It might actually work with less, but I did not try to squeeze it further 


More information about the isabelle-dev mailing list