The International Satisfiability Modulo Theories (SMT) Competition.
Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions
Competition results for the QF_ANIA division as of Fri Oct 30 12:49:29 GMT
Competition benchmarks = 6
Competition industrial benchmarks = 6
| Solver | Errors | Corrects | CPU |
|---|---|---|---|
| CVC4 | 0 | 6 | 58.32 |
| CVC4 (exp) | 0 | 6 | 58.06 |
| z3n | 0 | 6 | 8.45 |
| Solver | Errors | Corrects | CPU |
|---|---|---|---|
| CVC4 | 0 | 6 | 58.32 |
| CVC4 (exp) | 0 | 6 | 58.06 |
| z3n | 0 | 6 | 8.45 |
| Solver | Errors | Corrects | CPU | WALL |
|---|---|---|---|---|
| CVC4 | 0 | 6 | 58.32 | 58.31 |
| CVC4 (exp) | 0 | 6 | 58.06 | 58.05 |
| z3n | 0 | 6 | 8.45 | 8.45 |
| Solver | Errors | Corrects | CPU | WALL |
|---|---|---|---|---|
| CVC4 | 0 | 6 | 58.32 | 58.31 |
| CVC4 (exp) | 0 | 6 | 58.06 | 58.05 |
| z3n | 0 | 6 | 8.45 | 8.45 |
| Solver | Not Solved | Remaining |
|---|---|---|
| CVC4 | 0 | 0 |
| CVC4 (exp) | 0 | 0 |
| z3n | 0 | 0 |
n. Non-competitive.