[isabelle-dev] AFP statistics
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