Schneiden Sie den Rinderbraten in gleichmäßige Stücke und würzen Sie ihn großzügig. Braten Sie die Würfel im Instant Pot bei hoher Hitze an, bis sie schön braun sind. Dies sollte etwa 5-7 Minuten dauern.

Fügen Sie Zwiebeln, Knoblauch, Karotten und Champignons hinzu. Kochen Sie alles unter gelegentlichem Rühren, bis das Gemüse weich ist, etwa 3-4 Minuten. Rühren Sie dann das Tomatenmark ein.

Gießen Sie den Rotwein in den Pot, um die angebrannten Stücke vom Boden zu lösen. Lassen Sie die Mischung für ca. 2 Minuten köcheln, damit der Alkohol verdampft.

Geben Sie die Rinderbrühe, Thymian und Lorbeerblätter dazu. Schließen Sie den Deckel des Instant Pots und stellen Sie ihn auf hohen Druck. Kochen Sie das Ganze für 35 Minuten.

Lassen Sie den Druck vollständig natürlich ab, was etwa 10-15 Minuten dauert. Überprüfen Sie die Konsistenz der Sauce und passen Sie die Gewürze nach Bedarf an.

Garnieren Sie das Gericht mit frischer Petersilie und genießen Sie es mit Beilagen wie cremigem Kartoffelpüree oder frischem Brot.