MongoDB: remove results w/o covered index scan#64

rschu1ze merged 1 commit intomainClickHouse/JSONBench:mainfrom

mongo-standardClickHouse/JSONBench:mongo-standardCopy head branch name to clipboard