使用固定点求解器时性能回退 (从 4.13.2 到 4.14.1)

在从 Z3 版本 4.13.2 升级到 4.14.1 后,我注意到使用 OCaml 绑定调用 Fixedpoint (CHC) 求解器时性能出现了显著下降(从 1 秒降至 5 小时以上)。为了隔离问题,我使用 `Fixedpoint.to_string` 将查询转存为下面的 SMT2 文件。当我使用 Z3 命令行工具运行此文件时,求解器的响应速度非常快。但是,当我使用 OCaml 绑定加载和运行相同的查询时,求解器的速度明显降低。