Refactoring for exact_solver tests are under development, everything works fine ....