UFDTNIRA (Single Query Track)
Competition results for the UFDTNIRA
logic
in the Single Query Track.
Results were generated on 2024-07-08
Benchmarks: 2043
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 | 1873 | 1664.743267 | 1852.433954 | 1873 | 0 | 1873 | 170 | 0 | 91 | 0 |
| iProver v3.9 | 0 | 1445 | 59948.898905 | 16318.042428 | 1561 | 0 | 1561 | 482 | 0 | 482 | 0 |
| SMTInterpol | 0 | 1388 | 13965.183872 | 8936.527026 | 1388 | 0 | 1388 | 655 | 0 | 468 | 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 | 1873 | 1664.743267 | 1852.433954 | 1873 | 0 | 1873 | 170 | 0 | 91 | 0 |
| iProver v3.9 | 0 | 1561 | 369301.094788 | 94487.326249 | 1561 | 0 | 1561 | 482 | 0 | 482 | 0 |
| SMTInterpol | 0 | 1388 | 13965.183872 | 8936.527026 | 1388 | 0 | 1388 | 655 | 0 | 468 | 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 | 1873 | 1664.743267 | 1852.433954 | 1873 | 0 | 1873 | 2 | 168 | 2 | 0 |
| iProver v3.9 | 0 | 1555 | 365229.623319 | 93451.052745 | 1555 | 0 | 1555 | 320 | 168 | 320 | 0 |
| SMTInterpol | 0 | 1388 | 13965.183872 | 8936.527026 | 1388 | 0 | 1388 | 487 | 168 | 322 | 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 | 1869 | 372.297719 | 558.922572 | 1869 | 0 | 1869 | 79 | 95 | 0 | 0 |
| SMTInterpol | 0 | 1356 | 6538.225591 | 2500.495715 | 1356 | 0 | 1356 | 78 | 609 | 0 | 0 |
| iProver v3.9 | 0 | 1292 | 9004.882951 | 3127.414989 | 1292 | 0 | 1292 | 0 | 751 | 0 | 0 |