[isabelle-dev] Spare cycles on compute server

Lukas Bulwahn bulwahn at in.tum.de
Thu Apr 5 10:25:00 CEST 2012

Hi all,

our system administrators just told me that our Munich compute server 
(lxbroy10) still has many spare cycles, which we could use for more 
testing and other measurements.
At the moment, there are two processes: one checking isabelle_makeall on 
the testboard, another checking AFP_fast on the testboard.
Any suggestions what we should test more?


More information about the isabelle-dev mailing list