I'm unable to build the HOL-ODE-Numerics sessions. Usually, it takes about ~1 hour of CPU time (0:45 on lxcisa*).

It's been running for almost 2 CPU hours now on lxcisa0 (threads=10) and over 1:30 CPU hours on my i7 (threads=8). It also doesn't appear to terminate with threads=2. I'm unsure what's causing it.

Even if it'll terminate eventually (I'll keep it running for a bit longer), it surely is a sign of a performance degradation.

Last known good state is:

isabelle-dev mailing list

Reply via email to