On the Complexity of General Solution DAGs