For a 100% success rate, it would have to be of the size of the minimal BDD.
If you can allow for some errors, this becomes an interesting problem.
What I'm talking about is the size that is required so that the neural net can learn it. This may be different.