z3 - 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 から入手した情報によると、今週中にオンラインに戻るはずです。