AUFBVDTLIA (Single Query Track)
Competition results for the AUFBVDTLIA
logic
in the Single Query Track.
Results were generated on 2024-07-08
Benchmarks: 784
Time Limit: 1200 seconds
Memory Limit: 20480 GB
Winners
| Sequential Performance | Parallel Performance | SAT Performance (parallel) | UNSAT Performance (parallel) | 24 seconds Performance (parallel) |
|---|
| cvc5 | cvc5 | cvc5 | cvc5 | cvc5 |
Sequential Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| cvc5 | 0 | 386 | 64734.340997 | 64786.991188 | 386 | 190 | 196 | 398 | 0 | 362 | 0 |
| SMTInterpol | 0 | 135 | 1988.990394 | 1546.505485 | 135 | 0 | 135 | 649 | 0 | 479 | 0 |
Parallel Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| cvc5 | 0 | 386 | 64734.340997 | 64786.991188 | 386 | 190 | 196 | 398 | 0 | 362 | 0 |
| SMTInterpol | 0 | 135 | 1988.990394 | 1546.505485 | 135 | 0 | 135 | 649 | 0 | 479 | 0 |
SAT Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| cvc5 | 0 | 190 | 45247.302065 | 45276.313158 | 190 | 190 | 0 | 0 | 594 | 0 | 0 |
| SMTInterpol | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 190 | 594 | 119 | 0 |
UNSAT Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| cvc5 | 0 | 196 | 19487.038933 | 19510.67803 | 196 | 0 | 196 | 0 | 588 | 0 | 0 |
| SMTInterpol | 0 | 135 | 1988.990394 | 1546.505485 | 135 | 0 | 135 | 61 | 588 | 60 | 0 |
24 seconds Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| cvc5 | 0 | 148 | 48.600864 | 63.343353 | 148 | 6 | 142 | 0 | 636 | 0 | 0 |
| SMTInterpol | 0 | 132 | 579.477616 | 242.601605 | 132 | 0 | 132 | 134 | 518 | 0 | 0 |