Owi SMT benchmarks
收藏官方服务：
资源简介：
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
