Non-deterministic search design