add new test that checks whether multiple instances of a solver can be used simulaneously
add new test that checks whether multiple instances of a solver can be used simulaneously

hoangmle/metaSMT,hoangmle/metaSMT,hoangmle/metaSMT