[isabelle-dev] Spare cycles on compute server
bulwahn at in.tum.de
Thu Apr 5 10:25:00 CEST 2012
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