4 ms·

Or allow users to specify precisely how to weight the results? (Popular with linkers, best matching results first, etc.)