diff options
Diffstat (limited to 'test/regress/regress0/simple-lra.smt')
-rw-r--r-- | test/regress/regress0/simple-lra.smt | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/test/regress/regress0/simple-lra.smt b/test/regress/regress0/simple-lra.smt deleted file mode 100644 index c80632a96..000000000 --- a/test/regress/regress0/simple-lra.smt +++ /dev/null @@ -1,6 +0,0 @@ -(benchmark simple_lra - :logic QF_LRA - :status unsat - :extrafuns ((x Real) (y Real)) - :formula (not (implies (and (> x 0) (< (* 2 x) y)) (and (> y 0) (< x y)))) -) |