1 2 3 4 5 6 7 8 9
; EXPECT: sat (set-logic ALL) (set-option :check-proofs true) (declare-const x Real) (declare-const x4 Real) (declare-const x8 Bool) (assert (<= x4 x)) (assert (not (xor (> x4 x) x8))) (check-sat)