Update estimate size in QBF