[isabelle-dev] AFP statistics

Gerwin Klein gerwin.klein at nicta.com.au
Tue May 17 08:33:29 CEST 2011

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?


More information about the isabelle-dev mailing list