【发布时间】：2014-05-14 03:50:41
【问题描述】：
我想对一些 SMT 求解器进行基准测试，而 SMT-LIB 基准存储库 [1,2] 似乎是一个不错的起点。
但是，该链接已关闭至少几天。有谁知道我可以找到这些基准的其他地方吗？
[2]http://smtexec.org/exec/smtlib-portal-benchmarks.php
编辑：
基准测试现在在这里：
【问题讨论】：
【发布时间】：2014-05-14 03:50:41
【问题描述】：
服务器现在位于：http://smtlib.cs.uiowa.edu/，基准测试现在位于：http://smtlib.cs.uiowa.edu/benchmarks.shtml。我编辑了问题以避免混淆。
【讨论】：
-
链接在过去 5 年的某个时间点发生了变化。 smtlib.cs.uiowa.edu (= smtlib.org) 和 starexec.org 目前都在运行。
承载 SMTLIB 基准测试的服务器出现故障，目前正在维修中。根据我从 Cesare Tinelli 那里得到的信息，它应该会在本周的某个时间重新上线。
【讨论】：