- if there are other solvers found, we should handle all solvers equally - also reduce amount of console output on every analysis run
- if there are other solvers found, we should handle all solvers equally - also reduce amount of console output on every analysis run