Lessons Learned - User-Level Workflow Design: A Bioinformatics Perspective - page 145

unconstrained synthesis explores a total of 5,482,162,778 nodes, while the
most stringently constrained case visits 19,048,121 nodes, which has been
roughly 200 times faster (more precisely: about 45 seconds instead of about
2.5 hours).
Fig. 7.7 Synthesis statistics (visited nodes) for the FiatFlux-P scenario
The results for the FiatFlux-P scenario shown in Figure 7.7 are princi-
pally similar, only that even a search depth of 20 can still be reached within
acceptable execution times. In the unconstrained case 7,963,870,317 nodes
are expanded in search depth 11, which means that depth 12 can not be
explored within acceptable execution times. The domain constraints and the
additional enforcement of a particular service effectively tame the number of
visited nodes, so that an increase of the execution time is not noticeable be-
fore a search depth of 15, where 14,257,817 and 12,967,147 nodes are visited
Fig. 7.8 Synthesis statistics (visited nodes) for the microarray scenario