[isabelle-dev] AFP statistics

[Gerwin Klein]

On 17/05/2011, at 12:45 AM, Makarius wrote:

> Can anybody say where AFP is tested and if there are statistics accumulating?

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?

Cheers,
Gerwin