phase solvers can access full list of unsolved cases