[613] % z3-4.8.5 small.smt2
unsat
sat
[614] % z3-4.8.6 small.smt2
unsat
sat
[615] % z3-4.8.7 small.smt2
unknown
sat
[616] % z3 small.smt2
unsat
sat
[617] % cat small.smt2
(assert (forall ((a Real)) (= a (/ 0 0))))
(check-sat)
(check-sat-using (then qfnra smt))
[618] %