time limits in non-deterministic threads