Owi SMT benchmarks
收藏Zenodo2026-03-14 更新2026-05-29 收录
下载链接：
https://zenodo.org/doi/10.5281/zenodo.19011779
下载链接
链接失效反馈官方服务：
资源简介：
This is a collection of 24664 SMT benchmarks, generated by running the Owi symbolic execution engine (commit f1249106d0a9d1b85ab8e7d63af79ed5e41fb06e), using the Smt.ml library (commit 69f8a14eac70ced2721a5d71a94196eb9736a571), on the C sv-benchmarks (commit e45a171d78c0a4c92806b889ecd760f5e1c2879a).
The compressed archive was created using the `zstd` compression algorithm using the `tar --zstd` command.
提供机构：
Zenodo创建时间：
2026-03-14
