improved solver check output for clarity