1 2 3 4 5 6 7 8 9 10 11
(benchmark ineq_basic :status unsat :logic QF_LRA :extrafuns ((x Real)) :extrafuns ((y Real)) :formula (and (<= (+ x y) 0) (< 1 x) (<= 0 y) ) )