Assertion violation at maxlex.cpp:162 (opt.maxsat_engine wmax, auto_config false, smt.case_split 3)

[rainoftime]

Hi, for the following formula,

(set-logic QF_AUFBV)
(set-option :opt.maxsat_engine wmax)
(set-option :auto_config false)
(set-option :smt.case_split 3)
(declare-const v1 Bool)
(declare-const v20 Bool)
(assert-soft (or v1 v20))
(check-sat)

z3 (commit 1f15033) throws an assertion violation

ASSERTION VIOLATION
File: ../src/opt/maxlex.cpp
Line: 162
soft.value == l_true || m.limit().get_cancel_flag()
(C)ontinue, (A)bort, (S)top, (T)hrow exception, Invoke (G)DB