The option "show hosts without static map" should not show the static hosts, and yes the allocated through DHCP.
It Should also be the option to delete the "allocation" and see the total amount of used and available hosts for dhcp server/scope.
It Should also be the option to delete the "allocation" and see the total amount of used and available hosts for dhcp server/scope.