re-factored solver tests