java - タイムアウトを設定する Z3 JAVA-API のバグ

Question

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

Z3 は、「soft_timeout」の設定に関係なく、特定のベンチマークの 10 秒で停止します。