Examination Solver Status