Skip to content

Latest commit

 

History

History
22 lines (17 loc) · 862 Bytes

README.md

File metadata and controls

22 lines (17 loc) · 862 Bytes

Pending Benchmarks

The benchmarks collected in this repository use features that will be included in future SMT-LIB releases. They are not currently SMT-LIB compliant, and are not part of the official benchmark release. They are collected here to allow the community to experiment with these features.

When the non-standard features used by a problem set becomes part of the SMT-LIB standard, this set will be included in the next official benchmark release.

All benchmarks collected here follow the style guidelines of the official benchmark release.

Benchmark Sets

  • non-incremental/AUFBVDTNIA/20240618-LibMLKEM/
    • uses nat2bv and bv2nat
    • checked using Dolmen with --ext=bvconv.
  • non-incremental/QF_AUFBV/20240117-hevm-msoos
    • uses (as const
    • not checked with Dolmen.