2 ms·

I think oracle separations are currently only useful as barrier results, showing that certain proof techniques can't solve the full problem.