Use manual mode to set on pressure cook (high) for 18 minutes.
The potatoes I used were all between 8 and 10 ounces. Cooking times may vary if your potatoes are significantly bigger or smaller than mine.