[isabelle-dev] Spare cycles on compute server

Makarius makarius at sketis.net
Thu Apr 5 13:37:35 CEST 2012

On Thu, 5 Apr 2012, Lukas Bulwahn wrote:

> 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?

Anything that makes sense really to test should be tested, but not more. 
We do not have to burn all available cycles.

I have recently started to use lxbroy10 for occasional manual tests, where 
tons of GB are required, most notably AFP/JinjaThreads.


More information about the isabelle-dev mailing list