In general, if SPEN ranks every pair of output structures identical to the score function, the optimum points of the score function match those of SPEN.
forcing the ranking constraint for every pair of output structures is not tractable, so we need to approximate it by sampling some candidate pairs.