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 | 161 | 4349.3 |
| CVC3 v2.4.2 | 103 | 11823.9 |
| Z3, 2011 winnern | 202 | 215.1 |
n. Non-competitive.