Fixed bugs on multi solver approach for queries.
Changed the protocol of multi solver in case of shrinking the upper estimate.