The International Satisfiability Modulo Theories (SMT) Competition.
Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions
Competition results for the UFLRA division as of Fri Oct 30 12:49:29 GMT
Competition benchmarks = 25
Competition industrial benchmarks = 20
| Sequential Performance | Sequential Performance (industrial) | Parallel Performance | Parallel Performance (industrial) |
|---|---|---|---|
| CVC3 | veriT | CVC3 | veriT |
| Solver | Errors | Corrects | CPU |
|---|---|---|---|
| CVC3 | 0 | 20 | 1.93 |
| CVC4 | 0 | 20 | 12000.05 |
| CVC4 (exp) | 0 | 20 | 12000.16 |
| z3n | 0 | 20 | 12000.60 |
| veriT | 0 | 20 | 4449.55 |
| Solver | Errors | Corrects | CPU |
|---|---|---|---|
| CVC3 | 0 | 20 | 0.11 |
| CVC4 | 0 | 20 | 0.16 |
| CVC4 (exp) | 0 | 20 | 0.16 |
| z3n | 0 | 20 | 0.60 |
| veriT | 0 | 20 | 0.04 |
| Solver | Errors | Corrects | CPU | WALL |
|---|---|---|---|---|
| CVC3 | 0 | 20 | 1.93 | 2.02 |
| CVC4 | 0 | 20 | 12030.75 | 12000.26 |
| CVC4 (exp) | 0 | 20 | 12003.64 | 12000.26 |
| z3n | 0 | 20 | 12005.24 | 12000.66 |
| veriT | 0 | 20 | 4450.50 | 4449.25 |
| Solver | Errors | Corrects | CPU | WALL |
|---|---|---|---|---|
| CVC3 | 0 | 20 | 0.11 | 0.20 |
| CVC4 | 0 | 20 | 0.16 | 0.21 |
| CVC4 (exp) | 0 | 20 | 0.16 | 0.21 |
| z3n | 0 | 20 | 0.60 | 0.61 |
| veriT | 0 | 20 | 0.04 | 0.17 |
| Solver | Not Solved | Remaining |
|---|---|---|
| CVC3 | 5 | 0 |
| CVC4 | 5 | 0 |
| CVC4 (exp) | 5 | 0 |
| z3n | 5 | 0 |
| veriT | 5 | 0 |
n. Non-competitive.