Unify solver output to print just the result of verification.

- Solver output is redirected to a temporary file.
- Result is extracted by means of regexps from such temporary file.