[isabelle-dev] Timeouts in Flyspeck_Tame

Makarius makarius at sketis.net
Mon Feb 4 14:17:31 CET 2019

On 04/02/2019 10:37, Lars Hupel wrote:
> Is this related to the latest Poly/ML changes? The "slow" job still runs
> on the x86_64 platform. Last time it worked was 76fbd806ebc5. Hardware
> is 8-core LRZ VM.

I can confirm this: see

I have switched back to stable polyml-5.7.1-8 for now (see
Isabelle/a5732629cc46) and will be unavailable for the next few days.


More information about the isabelle-dev mailing list