SMT-LIB基准

Question

我想对一些SMT求解器进行基准测试，而SMT-LIB Benchmark存储库[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。我编辑了这个问题以避免混淆。