He estado usando Dolphin HD por un tiempo, pero cada vez que intento comparar sus características con las de Dolphin Mini me frustro, no hay documentación clara en ningún lugar.
Dicho esto, Dolphin Mini es una versión del navegador optimizada para la velocidad y el uso reducido de recursos, así que llegué a la conclusión de que Dolphin HD es el camino correcto a seguir si tienes un terminal con recursos decentes (procesador de 700Mhz o más potente, 512Mb de RAM o más, resolución de 800x400, etc.) mientras que la versión Mini está aquí para aquellos que no tienen este tipo de terminales o que prefieren un navegador más rápido incluso a costa de perder algunas funciones.
Así que con las dos versiones siendo gratuitas, elijo Dolphin HD si el terminal es lo suficientemente potente como para permitirte mantener abiertas 3 o más pestañas y usar flash.