I asked on the issue, but is Pex slower than Pip here? If not, much creativity will be needed to not undo moving from a bespoke resolver to Pip. If so, sounds buggy / fixable.