The recipe is flexible enough using the Instant Pot warm function to get the roast to the temperature desired.
We cooked a 7 pound roast for 4 minutes, natural release, then kept it on warm until the internal temp reached our desired doneness which took about 40 minutes.