Windows x86_64, Debug, Visual Studio 14,  MTd. Options:  z3:shared-False