Adding a realistic timeout and changing the depth increment for BMC.
Adding a realistic timeout and changing the depth increment for BMC.

adraghici/srtool,adraghici/srtool,adraghici/srtool,adraghici/srtool