The server that hosts the SMTLIB benchmarks has broken down and is currently being repaired. According to information I got from Cesare Tinelli, it should be back online some time this week.
Question
I would like to benchmark some SMT solvers and the SMT-LIB Benchmark repository [1,2] seems to be a good place to start.
However, the link has been down for at least some days. Does anyone know any other place where I can find these benchmarks?
[2] http://smtexec.org/exec/smtlib-portal-benchmarks.php
EDIT:
The benchmarks are now here:
Solution
OTHER TIPS
The server is now at: http://smtlib.cs.uiowa.edu/ and the benchmarks are now at: http://smtlib.cs.uiowa.edu/benchmarks.shtml. I edited the question to avoid confusion.
Licensed under: CC-BY-SA with attribution
Not affiliated with StackOverflow