Skip to content
Snippets Groups Projects
sq_id_nra_14_unsat.smt2 241 B
Newer Older
Bruno Marre's avatar
Bruno Marre committed
(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 (+ (* 4.0 x x) (* 3.0 x) 1.0))
	))
(check-sat)