Doesn't overt AsicBoost reduce the search space for a valid block header hash?
What difference could it possibly make? Each hash you do still has the same odds of mining a block so all that matters is how many hashes you can do per second. It makes no difference how big or small the search space is unless it's so small that the time to start a new search becomes significant, which 2^64 certainly isn't.