123456File "tests/model/misc/missing_answer.smt2", line 2, character 0-14:2 | (assert false) ^^^^^^^^^^^^^^Error This statement requires a model in the response file in order to be evaluated, but no model was found.
