Z3 SMT-LIB基准测试

我想对一些SMT解算器进行基准测试，SMT-LIB基准测试库[1,2]似乎是一个很好的起点

然而，这种联系至少已经中断了几天。有人知道我还能在哪里找到这些基准吗

[1]

[2]

编辑：

现在的基准如下：

---

[1]

承载SMTLIB基准测试的服务器出现故障，目前正在修复。根据我从Cesare Tinelli那里得到的信息，它应该会在本周某个时候重新上线。

服务器现在位于：，基准测试现在位于：。为了避免混淆，我编辑了这个问题。

在过去5年中，这个链接在某些时候发生了变化。（=）和目前都在运行。