(set-option :sat.prob_search true) 
(set-option :sat.xor.solver true) 
(set-option :parallel.enable true) 
(declare-fun x0 () Bool) 
(declare-fun x3 () Bool) 
(declare-fun x4 () Bool) 
(declare-fun x6 () Bool) 
(declare-fun x8 () Bool) 
(declare-fun x9 () Bool) 
(assert (not (and  (or x9 x8) (or x9 x3 x8)))) 
(assert (or (not x6) (not (or x0 x4))))  
(check-sat)     

[75] % z3/build/z3 small.smt2 
[1]    101024 segmentation fault  z3/build/z3 small.smt2
[76] % cat small.smt2 
(set-option :sat.prob_search true) 
(set-option :sat.xor.solver true) 
(set-option :parallel.enable true) 
(declare-fun x0 () Bool) 
(declare-fun x3 () Bool) 
(declare-fun x4 () Bool) 
(declare-fun x6 () Bool) 
(declare-fun x8 () Bool) 
(declare-fun x9 () Bool) 
(assert (not (and  (or x9 x8) (or x9 x3 x8)))) 
(assert (or (not x6) (not (or x0 x4))))  
(check-sat)            
[77] %