BDD size