z3 - SMT-LIB 基准测试

Question

我想对一些 SMT 求解器进行基准测试，而 SMT-LIB 基准存储库 [1,2] 似乎是一个不错的起点。

但是，该链接已关闭至少几天。有谁知道我可以找到这些基准的其他地方吗？

[1] http://www.smtlib.org/

[2] http://smtexec.org/exec/smtlib-portal-benchmarks.php

编辑：

基准现在在这里：

[1] http://smtlib.cs.uiowa.edu/benchmarks.shtml

Answer 1

托管 SMTLIB 基准测试的服务器已发生故障，目前正在修复中。根据我从 Cesare Tinelli 那里得到的信息，它应该会在本周的某个时间重新上线。

Answer 2

服务器现在位于：http ://smtlib.cs.uiowa.edu/ ，基准测试现在位于：http ://smtlib.cs.uiowa.edu/benchmarks.shtml 。我编辑了问题以避免混淆。