Z3验证程序在命令行中增加时间和内存

我正在尝试验证003-23-80.cnf是否可以使用Z3Prover。我已经用Minisat验证过它是可以满足的，但是它花费了大约2小时和500 MB的内存

在bash中，我写道：

z3-wcnf-st-T:9000-内存：500003-23-80.cnf

我相信这会将时间延长到9000秒，将内存延长到500兆字节，但我的输出是不安全的：

---

我做错了什么？

不考虑内存/时间等。；如果miniat说这个基准是

sat

，而z3说它是

unsat

，那么其中一个就有一个bug！根据实际需要的是哪一个，您应该将其作为错误报告给故障方。（如果您不确定，只需向z3人员报告，表明他们不同意minisat。请在此处使用问题追踪器：）