Published March 14, 2026 | Version v1
Dataset Open

Owi SMT benchmarks

Authors/Creators

  • 1. OCamlPro, Paris, France

Description

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.

Files

Files (55.1 MB)

Name Size Download all
md5:de861f3a9f9c0c8388ac85a78b94d1e8
55.1 MB Download

Additional details

Dates

Submitted
2026-03-14