Figure 5.

Solution of a 4-clause 4-variable SAT problem, F = (b ∨ c ∨ ∼d) & (∼a ∨ b ∨ ∼c) & (a ∨ ∼b ∨ d) & (∼a ∨ c ∨ ∼d). Summary of the three experiments depicted in Figures 3 and 4. The arrows indicate those library molecules encoding those assignments which satisfy the problem.