The International Satisfiability Modulo Theories (SMT) Competition.
Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions
Benchmarks in this division: 182
Time Limit: 1200s
| Solver | Score | Time |
|---|---|---|
| CVC3 v2.4.2 | 182 | 0.7 |
| CVC3 v2.4, 2011 winnern | 182 | 0.5 |
n. Non-competitive.