(I meant "non-termination", of course, not "non-determinism".)
> Even if it'll terminate eventually (I'll keep it running for a bit > longer), it surely is a sign of a performance degradation. This run (threads=8) confirms that HOL-ODE-Numerics doesn't terminate within 2 elapsed hours: https://ci.isabelle.systems/jenkins/job/isabelle-nightly-slow/754/consoleFull _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
