fixed some random index iterations in solver::examine