我想对一些 SMT 求解器进行基准测试,SMT-LIB 基准存储库 [1,2] 似乎是一个不错的起点。
但是,该链接已断开至少几天了。有谁知道我可以在其他地方找到这些基准吗?
[2] http://smtexec.org/exec/smtlib-portal-benchmarks.php
编辑:
基准现在在这里:
最佳答案
承载 SMTLIB 基准测试的服务器已发生故障,目前正在修复。根据我从 Cesare Tinelli 那里得到的信息,它应该会在本周的某个时候重新上线。
关于z3 - SMT-LIB 基准,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/22818634/