protected override ZingerResult IterativeSearchStateSpace() { //NDF does not work for Iterative DFS try { SearchStateSpace(0); } catch { return lastErrorFound; } return ZingerResult.Success; }