SAT ソルバーに対し、あるソリューションがほかのソリューションよりも望ましいと記述する方法はないため、最適化フェーズが必要になります。その代わりに、ソリューションが見つかると、IPS はその問題に制約を加えてあまり望ましくない選択肢を分離し、さらに現在のソリューションも分離します。その後、IPS は繰り返し MiniSAT を呼び出し、ソリューションがそれ以上見つからなくなるまで上記の操作を繰り返します。最後に成功したソリューションが最良のものとみなされます。
ソリューションを見つける難しさは、可能性のあるソリューションの数に比例します。望ましい結果についてより具体的にすると、ソリューションがより迅速に見つかります。
発生した問題をもっともよく満たす一連のパッケージ FMRI が見つかると、評価フェーズが開始されます。