[781] % z3-4.8.7 small.smt2
sat
unknown
[782] % 
[782] % z3 small.smt2
sat
Segmentation fault
[783] % 
[783] % z3release small.smt2
sat
Segmentation fault
[784] % 
[784] % cat small.smt2
(declare-fun x () Int)
(assert (= x (div 1)))
(check-sat)
(check-sat-using horn)
[785] %