AUFDTNIRA (Single Query Track)
Competition results for the AUFDTNIRA
logic
in the Single Query Track.
Results were generated on 2024-07-08
Benchmarks: 725
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 |
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 | 563 | 112.553474 | 168.739961 | 563 | 0 | 563 | 162 | 0 | 109 | 0 |
| iProver v3.9 | 0 | 487 | 49423.074957 | 12949.210079 | 503 | 0 | 503 | 222 | 0 | 222 | 0 |
| SMTInterpol | 0 | 442 | 1936.478055 | 855.396468 | 442 | 0 | 442 | 283 | 0 | 283 | 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 | 563 | 112.553474 | 168.739961 | 563 | 0 | 563 | 162 | 0 | 109 | 0 |
| iProver v3.9 | 0 | 503 | 92878.02923 | 23906.076504 | 503 | 0 | 503 | 222 | 0 | 222 | 0 |
| SMTInterpol | 0 | 442 | 1936.478055 | 855.396468 | 442 | 0 | 442 | 283 | 0 | 283 | 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 | 563 | 112.553474 | 168.739961 | 563 | 0 | 563 | 0 | 162 | 0 | 0 |
| iProver v3.9 | 0 | 496 | 85064.276354 | 21926.7107 | 496 | 0 | 496 | 67 | 162 | 67 | 0 |
| SMTInterpol | 0 | 442 | 1936.478055 | 855.396468 | 442 | 0 | 442 | 121 | 162 | 121 | 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 | 563 | 112.553474 | 168.739961 | 563 | 0 | 563 | 53 | 109 | 0 | 0 |
| SMTInterpol | 0 | 442 | 1936.478055 | 855.396468 | 442 | 0 | 442 | 0 | 283 | 0 | 0 |
| iProver v3.9 | 0 | 389 | 5697.414507 | 1737.252326 | 389 | 0 | 389 | 0 | 336 | 0 | 0 |