1 2 3 4 5 6 7 8 9 10 11 12
(benchmark ConstantRewrite :logic QF_LRA :status sat :extrafuns ((v0 Real)) :formula (and (not (<= v0 0)) (not (iff (= v0 0) (= v0 (/ 1 2)))) ) )