UFDTLIRA (Single Query Track)
Competition results for the UFDTLIRA
logic
in the Single Query Track.
Results were generated on 2024-07-08
Benchmarks: 3382
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 | 3013 | 7559.144929 | 7862.045987 | 3013 | 556 | 2457 | 369 | 0 | 157 | 1 |
| SMTInterpol | 0 | 2819 | 15616.118721 | 10935.548125 | 2819 | 470 | 2349 | 563 | 0 | 137 | 0 |
| iProver v3.9 | 0 | 2302 | 62651.955048 | 17979.469209 | 2371 | 0 | 2371 | 1011 | 0 | 1011 | 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 | 3013 | 7559.144929 | 7862.045987 | 3013 | 556 | 2457 | 369 | 0 | 157 | 1 |
| SMTInterpol | 0 | 2819 | 15616.118721 | 10935.548125 | 2819 | 470 | 2349 | 563 | 0 | 137 | 0 |
| iProver v3.9 | 0 | 2371 | 272231.62701 | 71176.129942 | 2371 | 0 | 2371 | 1011 | 0 | 1011 | 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 | 556 | 7128.699274 | 7185.592541 | 556 | 556 | 0 | 15 | 2811 | 0 | 0 |
| SMTInterpol | 0 | 470 | 357.491018 | 251.114176 | 470 | 470 | 0 | 101 | 2811 | 0 | 0 |
| iProver v3.9 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 571 | 2811 | 571 | 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 | 2457 | 430.445655 | 676.453446 | 2457 | 0 | 2457 | 1 | 924 | 1 | 0 |
| iProver v3.9 | 0 | 2371 | 272231.62701 | 71176.129942 | 2371 | 0 | 2371 | 87 | 924 | 87 | 0 |
| SMTInterpol | 0 | 2349 | 15258.627703 | 10684.433949 | 2349 | 0 | 2349 | 109 | 924 | 87 | 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 | 2974 | 529.697514 | 827.002813 | 2974 | 519 | 2455 | 8 | 400 | 0 | 1 |
| SMTInterpol | 0 | 2786 | 6280.082074 | 2884.827353 | 2786 | 470 | 2316 | 406 | 190 | 0 | 0 |
| iProver v3.9 | 0 | 2166 | 16321.889156 | 5868.836635 | 2166 | 0 | 2166 | 0 | 1216 | 0 | 0 |