Using `RandomInitialization Time` will always generate seed 0. [/focus/src/focus/cputime.c](../blob/master/focus/src/focus/cputime.c) needs to be updated for Windows. Workaround: Set the seed manually
Using
RandomInitialization Timewill always generate seed 0./focus/src/focus/cputime.c needs to be updated for Windows.
Workaround: Set the seed manually