We also report results on a larger problem that has 44,928 members, based on the same overall geometry as the smaller problem but with more “layers.” Evaluating the validity of a solution for this structure requires approximately 75 seconds on the same machine.