I'll bet you an Airbus that if we managed to FOIA the source code it would use an LCG seeded from the system clock.
Additionally, by observing several passengers being directed this way or that, you could brute force the seed and the system becomes deterministic.