[isabelle-dev] Possible non-determinism in HOL-ODE-Numerics

Lars Hupel hupel at in.tum.de
Fri May 11 09:37:02 CEST 2018

(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:


More information about the isabelle-dev mailing list