问题
Hi Leonardo: Looks like z3 (v3.2) accepts the command line switch "-T:10" for specifying time-outs on Mac and Linux, but ignores it. (Haven't tried on windows.) It'd be really nice if timeouts were supported on linux/mac releases as well.
回答1:
Yes, the -T switch is Windows only in Z3 3.2. This will be fixed in the next release.
来源：https://stackoverflow.com/questions/9273091/z3-timeout-on-linux-mac