The International Satisfiability Modulo Theories (SMT) Competition.
Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions
Benchmarks in this division: 206
Time Limit: 1200s
| Solver | Score | Time |
|---|---|---|
| CVC4 1.0rc.3931 | 124 | 4734.8 |
| CVC3 v2.4.2 | 81 | 3326.1 |
| Z3, 2011 winnern | 202 | 251.6 |
n. Non-competitive.