The cooking times will depend on your personal preferences when it comes to how you like your cabbage. If you prefer cabbage with a bit of crunch, then cook for less time and stick closer to 8 minutes, if you prefer tender perfection then 10 minutes will likely work, and if you prefer your cabbage to have crispy edges or a more crispy texture, then you'll need to cook for closer to 12 minutes.