How should this recipe be modified for large beans, such as Corona?

If they the corona beans have not been soaked, I'd cook these Instant Pot Beans at high pressure for 40 minutes, do a quick release after five minutes, and test two or three. If they need more time, clamp the lid back on right away and cook for another five minutes. Then, test again. ;o)