Old Benchmarks Page

Download new benchmarks. This tarball doesn't include the benchmarks from last year.

Download n-queens benchmarks.

Download WiSA benchmarks.

Download the complete SMT-COMP'05 benchmark suite (previous benchmark suite).

Browse SMT-COMP'05 benchmarks online

• Quantifier free with uninterpreted sort, function and predicate symbols
• Quantifier free real difference logic
• Quantifier free integer difference logic
• Quantifier free linear real arithmetic
• Quantifier free linear integer arithmetic
• Quantifier free integer difference logic and uninterpreted functions
• Quantifier free linear integer arithmetic, arrays, and uninterpreted functions

Answers for the benchmarks used in SMT-COMP'05.

Last modified: Tue 17 Feb 2015 15:02 UTC