split up tests in test_solvers.py