I believe that these algorithms are order deterministic for two order deterministic inputs.