relax the criteria in isprobvec