1 2 3 4 5 6 7 8
(set-logic UFBV) (set-option :cegqi-all true) (set-info :status unsat) (declare-sort S0 0) (declare-const S0-0 S0) (declare-const v6 Bool) (assert (forall ((q0 (_ BitVec 10)) (q1 S0) (q2 S0) (q3 Bool)) (xor true (and q3 q3 q3 v6 q3 q3) (= q2 q1 S0-0)))) (check-sat)