我想对一些SMT求解器进行基准测试,而SMT-LIB基准测试库[1,2]似乎是一个很好的起点 .
但是,该链接已经停止了至少几天 . 有谁知道我能找到这些基准的任何其他地方?
[1] http://www.smtlib.org/
[2] http://smtexec.org/exec/smtlib-portal-benchmarks.php
承载SMTLIB基准测试的服务器已损坏,目前正在修复中 . 根据我从Cesare Tinelli那里获得的信息,它本周应该重新上线 .
1 回答
承载SMTLIB基准测试的服务器已损坏,目前正在修复中 . 根据我从Cesare Tinelli那里获得的信息,它本周应该重新上线 .