an option for function fpt, which specifies the number of "guess and check" tries to be performed. The first number checked is always the upper bound (ν+1)/pe, where e is the value of the option DepthOfSearch and ν=νf(pe). The second number checked is always the lower bound ν/(pe-1).