Benchmark results for JavaSMT code-generator and parser-interpreter for SMT-LIB2
收藏NIAID Data Ecosystem2026-05-01 收录
下载链接：
https://zenodo.org/record/10307337
下载链接
链接失效反馈官方服务：
资源简介：
The new integration of a code-generator and parser-interpreter for SMT-LIB2 into JavaSMT [1] was benchmark tested with CPAchecker [2], the Benchexec framework [3] using the included run definition 'princess_run.xml' and SV-Benchmarks [4]. The results are available in 'results.2023-11-28_17-09-38.table.csv' and 'results.2023-11-28_17-09-38.table.csv'. The log files for each individual task can be found in results.zip.
[1] github.com/sosy-lab/java-smt/pull/343
[2] svn.sosy-lab.org/software/cpachecker/branches/javasmt-smtlib2-generator-parser/
[3] github.com/sosy-lab/benchexec/releases/tag/3.20
[4] gitlab.com/sosy-lab/benchmarking/sv-benchmarks, commit 509aa682
创建时间：
2023-12-18
