Z3 Prover 增加命令行中的时间和内存
Z3 Prover Increase Time and Memory in Command Line
我正在尝试使用 Z3Prover 验证 003-23-80.cnf 是否可满足。我已经使用 Minisat 验证了它是可以满足的，但是它花费了大约 2 个小时和 500 MB 的内存。
我在bash中写道：
z3 -wcnf -st -T:9000 -memory:500 003-23-80.cnf
我相信这应该将时间延长到 9000 秒，将内存延长到 500 兆字节，但我的输出不满意：
Terminal Output
我做错了什么？
不考虑memory/time等；如果 minisat 说这个基准是 sat 而 z3 说它是 unsat，那么其中一个有错误！根据实际预期的情况，您应该将此作为错误报告给故障方。 （如果您不确定，只需向 z3 人员报告，表明他们不同意 minisat。使用此处的问题跟踪器：https://github.com/Z3Prover/z3/issues）
我正在尝试使用 Z3Prover 验证 003-23-80.cnf 是否可满足。我已经使用 Minisat 验证了它是可以满足的，但是它花费了大约 2 个小时和 500 MB 的内存。
我在bash中写道：
z3 -wcnf -st -T:9000 -memory:500 003-23-80.cnf
我相信这应该将时间延长到 9000 秒，将内存延长到 500 兆字节，但我的输出不满意：
Terminal Output
我做错了什么？
不考虑memory/time等；如果 minisat 说这个基准是 sat 而 z3 说它是 unsat，那么其中一个有错误！根据实际预期的情况，您应该将此作为错误报告给故障方。 （如果您不确定，只需向 z3 人员报告，表明他们不同意 minisat。使用此处的问题跟踪器：https://github.com/Z3Prover/z3/issues）