Newer
Older
(set-info :smt-lib-version 2.6)
(set-logic QF_NRA)
(set-info :category |Crafted from GATeL POs|)
(set-info :status unsat)
(declare-fun x () Real)
(declare-fun y () Real)
(assert (not
(>= 0.0 (+ (* (- 1.0) x x) (* (- 1.0) y y) (* 2.0 x y)))
))
(check-sat)