Benchmarks

New: The first version of the benchmark library is available.

The benchmarks are also available in the SMT-LIB website.

Link to the old benchmark page.

Current version: 28-06-2005

• QF_AUFLIA: tarball
• QF_IDL: tarball
• QF_LIA: tarball
• QF_LRA: tarball
• QF_RDL: tarball
• QF_UF: tarball
• QF_UFIDL: tarball

Pending

The following sets of benchmarks have been submitted for inclusion in SMT-LIB, pending testing and categorization.

• cellar: tarball
• queens_bench: tarball
• smtlib-new-benchmarks: tarball
• smtlib-predabs: tarball
• wisas: tarball
• job shop scheduling: tarball
• piVC: tarball
• haRVey: tarball
• Averest: tarball
• Big proof engines as little engines: tarball
• qlock revised: tarball

Last modified: Tue 17 Feb 2015 15:01 UTC