Slightly increased number of models checked