1 2 3 4 5 6 7 8 9 10
(set-logic ALL_SUPPORTED) (set-info :status unsat) (declare-fun P (Real) Bool) (assert (forall ((x Int)) (P x))) (declare-fun a () Real) (assert (is_int a)) (assert (not (P a))) (check-sat)