(benchmark arith_dl_52
  :logic UNKNOWN
  :extrafuns ((a Int) (b Int) (c Int))
  :formula
  (and (<= (~ 1) (- a b)) (<= (- a b) 1) (not (= (- a b) (~ 1))) (not (= (- a b) 0))  (not (= (- a b) 1)))
  :status unsat
)
