Gravity waves are used to trigger martian CO2 ice cloud formation in a 1D-model.
Observed crystal effective radii are reproduced for daytime and nighttime clouds.
The cloud evaporates fast (∼10–30 min) once the supersaturated pocket has vanished.
Average dust content does not allow to simulate observed opacities of clouds.
An exogenic (meteoritic) supply of nuclei allows to simulate the observed opacities.