The former is correct. These RNG make big difference of time, so we thought they should be specified.

前者です．これらの乱数要素はタイムに大きく影響するので，明示すべきだと考えました．