[isabelle-dev] Timeouts in Flyspeck_Tame

[Makarius]

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
https://isabelle.sketis.net/devel/build_status/AFP_bulky_64bit_6_threads/index.html

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.


	Makarius