Bug in Z3 JAVA-API to set timeout

Question

Context ctx = getZ3Context();
solver = ctx.MkSolver();
Params p = ctx.MkParams();
p.Add("soft_timeout", 1);
solver.setParameters(p);

Z3 will stop in 10 secs of a particular benchmark, no matter what I set for "soft_timeout".

Answer 1

See the following related questions:

• Z3 JAVA-API for solver timeout
• Z3 C API Changing Timeout at Runtime
• Incorrect Behavior for tactic solver for timeout
• Z3 Timeout with Solver