diff options
Diffstat (limited to 'test/regress/regress0/auflia/a17.smt')
-rw-r--r-- | test/regress/regress0/auflia/a17.smt | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/test/regress/regress0/auflia/a17.smt b/test/regress/regress0/auflia/a17.smt deleted file mode 100644 index c9c1112e4..000000000 --- a/test/regress/regress0/auflia/a17.smt +++ /dev/null @@ -1,21 +0,0 @@ -(benchmark fuzzsmt -:logic QF_AUFLIA -:extrafuns ((a Array)) -:extrafuns ((x1 Int)) -:extrafuns ((y1 Int)) -:extrafuns ((z0 Int)) -:extrapreds ((p Array)) -:status sat -:formula -(and - (>= (select (store a (+ x1 z0) 1) x1) 1) - (p a) - (p (store a (+ x1 z0) 1)) - (p (store (store a (+ x1 z0) 1) y1 1)) - (>= x1 1) - (>= z0 0) - (<= z0 0) - (<= y1 1) - (>= y1 1) -) -) |