exact_solver_tests are quite organized now!