1 2 3 4 5 6 7 8
(set-option :backend none) (get-info :version) (assert false) (check-sat) ------- RESULTS ------------------ (get-info :version) (assert false) (check-sat)