The International Satisfiability Modulo Theories (SMT) Competition.
Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions
Competition results for the NIA division as of Fri Oct 30 12:49:29 GMT
Competition benchmarks = 9
Competition industrial benchmarks = 9
| Solver | Errors | Corrects | CPU |
|---|---|---|---|
| CVC3 | 0 | 0 | 0.07 |
| CVC4 | 0 | 3 | 0.12 |
| CVC4 (exp) | 0 | 3 | 0.20 |
| z3n | 0 | 9 | 0.33 |
| Solver | Errors | Corrects | CPU |
|---|---|---|---|
| CVC3 | 0 | 0 | 0.07 |
| CVC4 | 0 | 3 | 0.12 |
| CVC4 (exp) | 0 | 3 | 0.20 |
| z3n | 0 | 9 | 0.33 |
| Solver | Errors | Corrects | CPU | WALL |
|---|---|---|---|---|
| CVC3 | 0 | 0 | 0.07 | 0.09 |
| CVC4 | 0 | 3 | 0.12 | 0.16 |
| CVC4 (exp) | 0 | 3 | 0.20 | 0.25 |
| z3n | 0 | 9 | 0.33 | 0.33 |
| Solver | Errors | Corrects | CPU | WALL |
|---|---|---|---|---|
| CVC3 | 0 | 0 | 0.07 | 0.09 |
| CVC4 | 0 | 3 | 0.12 | 0.16 |
| CVC4 (exp) | 0 | 3 | 0.20 | 0.25 |
| z3n | 0 | 9 | 0.33 | 0.33 |
| Solver | Not Solved | Remaining |
|---|---|---|
| CVC3 | 9 | 0 |
| CVC4 | 6 | 0 |
| CVC4 (exp) | 6 | 0 |
| z3n | 0 | 0 |
n. Non-competitive.