Generating an IPDB for a formula list