The International Satisfiability Modulo Theories (SMT) Competition.
Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions
Competition results for the AUFLIA division in the Unsat Core Track.
Page generated on 2020-07-04 11:49:32 +0000
Benchmarks: 996 Time Limit: 1200 seconds Memory Limit: 60 GB
| Sequential Performance | Parallel Performance |
|---|---|
| CVC4-uc | CVC4-uc |
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Abstained | Timeout | Memout |
|---|---|---|---|---|---|---|---|
| CVC4-uc | 0 | 28719 | 115292.213 | 115311.599 | 90 | 0 | |
| z3n | 0 | 25961 | 113587.38 | 113609.061 | 75 | 8 | |
| SMTInterpol | 0 | 20101 | 318296.122 | 316455.71 | 253 | 0 | |
| SMTInterpol-fixedn | 0 | 20099 | 318270.824 | 316440.148 | 253 | 0 | |
| UltimateEliminator+MathSAT | 0 | 14 | 44105.412 | 41649.394 | 32 | 0 |
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Abstained | Timeout | Memout |
|---|---|---|---|---|---|---|---|
| CVC4-uc | 0 | 28719 | 115311.173 | 115307.729 | 90 | 0 | |
| z3n | 0 | 25961 | 113601.68 | 113605.881 | 75 | 8 | |
| SMTInterpol | 0 | 20101 | 318845.282 | 315348.428 | 251 | 0 | |
| SMTInterpol-fixedn | 0 | 20099 | 318740.834 | 315953.385 | 252 | 0 | |
| UltimateEliminator+MathSAT | 0 | 14 | 44105.412 | 41649.394 | 32 | 0 |
n Non-competing.
Abstained: Total of benchmarks in logics in this division that solver chose to abstain from. For SAT/UNSAT scores, this column also includes benchmarks not known to be SAT/UNSAT.