1 2 3 4 5 6 7 8 9 10 11 12 13
; COMMAND-LINE: --no-check-unsat-cores ; EXPECT: unsat (set-logic QF_LRA) (declare-fun x () Real) (declare-fun y () Real) (declare-fun z () Real) (assert (< y 0)) (assert (> y x)) (assert (> y (- x))) (check-sat)