[isabelle-dev] Spare cycles on compute server

[Lukas Bulwahn]

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?


Lukas