For timing, I sear the beef and get it started in the Instant Pot. While the beef is cooking, I first make the sauce and set it aside (if it cools a bit, no problem, the beef warms it up). Finally, about 20 minutes before the Instant Pot is done with the pressure mode, I start the potatoes.