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