The International Satisfiability Modulo Theories (SMT) Competition.
Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions
Competition results for the LIA division as of Fri Oct 30 12:49:29 GMT
Competition benchmarks = 201
Competition industrial benchmarks = 201
| Sequential Performance | Sequential Performance (industrial) | Parallel Performance | Parallel Performance (industrial) |
|---|---|---|---|
| CVC4 (exp) | CVC4 (exp) | CVC4 (exp) | CVC4 (exp) |
| Solver | Errors | Corrects | CPU |
|---|---|---|---|
| CVC3 | 0 | 179 | 21.09 |
| CVC4 | 0 | 194 | 13451.66 |
| CVC4 (exp) | 0 | 201 | 1.95 |
| z3n | 0 | 201 | 7.29 |
| veriT | 0 | 159 | 1.36 |
| Solver | Errors | Corrects | CPU |
|---|---|---|---|
| CVC3 | 0 | 179 | 21.09 |
| CVC4 | 0 | 194 | 13451.66 |
| CVC4 (exp) | 0 | 201 | 1.95 |
| z3n | 0 | 201 | 7.29 |
| veriT | 0 | 159 | 1.36 |
| Solver | Errors | Corrects | CPU | WALL |
|---|---|---|---|---|
| CVC3 | 0 | 179 | 21.09 | 21.39 |
| CVC4 | 0 | 194 | 13453.67 | 13452.56 |
| CVC4 (exp) | 0 | 201 | 1.95 | 2.54 |
| z3n | 0 | 201 | 7.29 | 7.38 |
| veriT | 0 | 159 | 1.36 | 2.68 |
| Solver | Errors | Corrects | CPU | WALL |
|---|---|---|---|---|
| CVC3 | 0 | 179 | 21.09 | 21.39 |
| CVC4 | 0 | 194 | 13453.67 | 13452.56 |
| CVC4 (exp) | 0 | 201 | 1.95 | 2.54 |
| z3n | 0 | 201 | 7.29 | 7.38 |
| veriT | 0 | 159 | 1.36 | 2.68 |
| Solver | Not Solved | Remaining |
|---|---|---|
| CVC3 | 22 | 0 |
| CVC4 | 7 | 0 |
| CVC4 (exp) | 0 | 0 |
| z3n | 0 | 0 |
| veriT | 42 | 0 |
n. Non-competitive.