Removed Boogie/Z3 options that are not helping with performance
Removed Boogie/Z3 options that are not helping with performance

My preliminary exploration indicates that this is maybe the
best setup.

boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral