diff options
Diffstat (limited to 'test/regress/regress0/arith/delta-minimized-row-vector-bug.smt')
-rw-r--r-- | test/regress/regress0/arith/delta-minimized-row-vector-bug.smt | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/test/regress/regress0/arith/delta-minimized-row-vector-bug.smt b/test/regress/regress0/arith/delta-minimized-row-vector-bug.smt deleted file mode 100644 index 5cf44c94e..000000000 --- a/test/regress/regress0/arith/delta-minimized-row-vector-bug.smt +++ /dev/null @@ -1,12 +0,0 @@ -(benchmark delta_minimized_row_vector_bug.smt -:logic QF_LRA -:extrafuns ((x_120 Real)) -:extrafuns ((x_11 Real)) -:extrafuns ((x_102 Real)) -:status sat -:formula - (and (>= x_11 0) - (or (= x_120 x_102) (<= x_102 (~ x_11)) (= x_120 (+ x_102 x_11) )) - ) - -) |