Benchmarks

A new benchmark set is available. It includes all benchmarks used in the competition.

Download the complete benchmark suite (previous benchmark suite).

Browse 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 the competition.

Last modified: Fri 26 Jan 2007 11:31 CST