我正在尝试使用Z3Prover验证003-23-80.cnf是否可以满足要求。我已经验证了使用Minisat可以满足要求，但是它花费了大约2个小时和500 MB的内存。
在bash中，我写道：
z3 -wcnf -st -T：9000-内存：500 003-23-80.cnf
我相信这应该将时间延长到9000秒，并将内存延长到500 MB，但是我的输出不满意：
我在做什么错？
[不考虑内存/时间等；如果minisat所说的基准是sat，而z3所说的基准是unsat，那么其中一个有bug！根据实际预期的错误，应将此错误报告给故障方。 （如果不确定，请向z3人员报告，表明他们不同意minisat。请在此处使用问题跟踪器：https://github.com/Z3Prover/z3/issues）