So the bug is in ... their deterministic execution environment not stubbing out the current time, so that different runs are not actually deterministic but dependent on that non-deterministic input called the clock.

Well, and that they are side-loading some library which can change.