The International Satisfiability Modulo Theories (SMT) Competition.
Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions
Competition results for the AUFLIRA division as of Fri Jul 13 00:02:11 GMT
Benchmarks in this division : 20011
Time limit: 1200s
| Sequential Performance | Parallel Performance |
|---|---|
| CVC4 | CVC4 |
| Solver | Error Score | Correctly Solved Score | CPU time Score | Solved | Unsolved |
|---|---|---|---|---|---|
| Alt-Ergo | 0.000 | 16407.063 | 159.101 | 19658 | 353 |
| CVC4 | 0.000 | 16961.904 | 193.990 | 19763 | 248 |
| Vampire 4.3 | 0.000 | 16278.986 | 251.420 | 19532 | 479 |
| veriT | 0.000 | 15049.918 | 273.923 | 19317 | 694 |
| z3-4.7.1n | 0.000 | 17811.287 | 108.778 | 19849 | 162 |
| Solver | Error Score | Correctly Solved Score | CPU time Score | WALL time Score | Solved | Unsolved |
|---|---|---|---|---|---|---|
| Alt-Ergo | 0.000 | 16526.108 | 393.858 | 141.392 | 19672 | 339 |
| CVC4 | 0.000 | 16961.904 | 194.259 | 195.661 | 19763 | 248 |
| Vampire 4.3 | 0.000 | 16868.126 | 784.406 | 197.366 | 19737 | 274 |
| veriT | 0.000 | 15049.918 | 274.337 | 273.931 | 19317 | 694 |
| z3-4.7.1n | 0.000 | 17811.287 | 108.779 | 108.797 | 19849 | 162 |
n. Non-competing.
1. Scores are computed according to Section 7 of the rules.