switched configuration options to those for unstable Z3 (since this seems to eliminate some bugs)
switched configuration options to those for unstable Z3 (since this seems to eliminate some bugs)

sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors