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