In the past few weeks, we've had isatest problems with
HOL-Quickcheck_Benchmark and ISABELLE_FULL_TEST=true (as used with
mac-poly64-M4 and mac-poly64-M8).
After some experimentation and tinkering, it seems that the timeouts in
Isabelle/978200ae8473 from last Friday work: we've had successful isatest
runs over the weekend.
As far as I can see, the tests on macbroy2 terminate around 05:30 CET.
This might be relavant for later tests of AFP.
isabelle-dev mailing list