Boolean manipulation with free BDD's first experimental results (1993)