[isabelle-dev] AFP statistics

Makarius makarius at sketis.net
Wed Jun 15 16:44:54 CEST 2011

On Tue, 17 May 2011, Gerwin Klein wrote:

> The AFP test is currently still running in Sydney and accumulating the 
> usual data.
> I've copied the logs over to ~/afp/log on macbroy*
>> The traditional isatest data is now empty 
>> http://isabelle.in.tum.de/devel/stats/afp.html
> Right, I forgot about these.
> 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?

Did anything happen here?

~/afp/log seems to be unchanged since 17-May-2011.

The AFP logs help to keep an eye on performance for large applications, 
i.e. to spot accidental bloat early.


More information about the isabelle-dev mailing list