Z3/smt2_eval_CVC4 inconsistency: QF_BV/spear/wget_v1.10.2/src_wget_vc18197.smt2

[hriener]

QF_BV/spear/wget_v1.10.2/src_wget_vc18197.smt2 smt2_eval_CVC4 FAIL
QF_BV/spear/wget_v1.10.2/src_wget_vc18755.smt2 smt2_eval_CVC4 FAIL
QF_BV/spear/wget_v1.10.2/src_wget_vc18756.smt2 smt2_eval_CVC4 FAIL
QF_BV/spear/wget_v1.10.2/src_wget_vc18196.smt2 smt2_eval_CVC4 FAIL

[hriener]

After minimization:
$ cat out.smt2
(set-logic QF_BV)
(assert (= (_ bv0 64) (bvsdiv (_ bv0 64) (_ bv0 64))))
(exit)

$ smt2_eval_CVC4 out.smt2
[metaSMT] Instance is SAT
[z3] Instance is UNSAT

[hriener]

@finnhaedicke: Could look into the CVC4 backend?