Solver Tests changed