trying to cache feasibility check result