Le lac du Cratère est souvent appelé le septième lac le plus profond du monde, mais cette liste excluait la profondeur approximative du lac subglaciaire Vostok en Antarctique, qui réside presque sous la glace, et le rapport récent d'une profondité maximale pour le lac O'Higgins / San Martin, situé à la frontière du Chili et de l'Argentine.