The cooking time can vary depending on your desired texture and the thickness of the green beans. Generally, cooking them for about 10 minutes with the lid on should result in tender yet crisp green beans. Adjust the cooking time as needed.