J'utilise Dolphin HD depuis un certain temps maintenant, mais chaque fois que j'essaie de comparer ses fonctionnalités avec Dolphin Mini, je suis frustré, il n'y a pas de documentation claire partout.
Ceci dit, Dolphin Mini est une version du navigateur qui est optimisée pour la vitesse et l'utilisation de ressources réduites, donc je suis arrivé à la conclusion que Dolphin HD est la bonne voie à suivre si vous avez un terminal avec des ressources décentes (700Mhz ou processeur plus puissant, 512Mb de RAM ou plus, résolution 800x400, etc....) tandis que la version Mini est là pour ceux qui n'ont pas ce genre de terminaux ou qui préfèrent un navigateur plus rapide même au prix de manquer certaines fonctionnalités.
Donc avec les deux versions gratuites, je choisis Dolphin HD si le terminal est assez puissant pour vous permettre de maintenir 3 onglets ou plus ouverts et un utilisateur flash.