Windows x86_64, Release, Visual Studio 16,  MD. Options:  z3:shared-False