Just to add a bit more context. These are pretty detailed benchmarks showing relevance and latencies of the search engines across 4 different datasets. These are the sort of numbers I wish existed on the internet, but they did not. Or at least I couldn’t find any.