don't let a solver exception take down the whole metaSMT-server
update metaSMT-server test file