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