Benchmarks

You can browse the available benchmarks, indexed by their respective logic.

Current version: June 1, 2008

• AUFLIA benchmarks tarball
• AUFLIRA benchmarks tarball
• AUFNIRA benchmarks tarball
• QF_AUFBV benchmarks tarball
• QF_AUFLIA benchmarks tarball
• QF_AX benchmarks tarball
• QF_BV benchmarks tarball
• QF_IDL benchmarks tarball
• QF_LIA benchmarks tarball
• QF_LRA benchmarks tarball
• QF_RDL benchmarks tarball
• QF_UF benchmarks tarball
• QF_UFIDL benchmarks tarball
• QF_UFLIA benchmarks tarball
• QF_UFLRA benchmarks tarball
• QF_UFBV[32] benchmarks tarball

Preview of new library interface

Pending benchmarks

• UFNIA benchmarks tarball