Added new test for u != v that failed
Add additional info output
Refactored solver
Fix bug with u not= v and bad method selection