Isomap generation failed because there is not enough data available in QF_UFDTLIA. This could be because the logic does not have enough benchmarks, or the solvers do not have enough benchmarks in common.