UFNIRA (Single Query Track)
Competition results for the UFNIRA
logic
in the Single Query Track.
Results were generated on 2024-07-08
Benchmarks: 266
Time Limit: 1200 seconds
Memory Limit: 20480 GB
Winners
| Sequential Performance | Parallel Performance | SAT Performance (parallel) | UNSAT Performance (parallel) | 24 seconds Performance (parallel) |
|---|
| iProver v3.9 | cvc5 | - | iProver v3.9 | cvc5 |
Sequential Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| iProver v3.9 | 0 | 86 | 3434.336588 | 946.625706 | 102 | 0 | 102 | 164 | 0 | 164 | 0 |
| cvc5 | 0 | 82 | 1284.734366 | 1293.34431 | 82 | 0 | 82 | 184 | 0 | 48 | 0 |
| SMTInterpol | 0 | 18 | 11.154694 | 9.112418 | 18 | 0 | 18 | 248 | 0 | 132 | 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 | 82 | 1284.734366 | 1293.34431 | 82 | 0 | 82 | 184 | 0 | 48 | 0 |
| SMTInterpol | 0 | 18 | 11.154694 | 9.112418 | 18 | 0 | 18 | 248 | 0 | 132 | 0 |
| iProver v3.9 | 2 | 100 | 45437.013052 | 11571.712029 | 102 | 0 | 102 | 164 | 0 | 164 | 0 |
SAT Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| SMTInterpol | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 79 | 187 | 55 | 0 |
| cvc5 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 79 | 187 | 3 | 0 |
| iProver v3.9 | 2 | 0 | 4668.448944 | 1181.564623 | 2 | 0 | 2 | 77 | 187 | 77 | 0 |
UNSAT Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| iProver v3.9 | 0 | 100 | 40768.564108 | 10390.147406 | 100 | 0 | 100 | 87 | 79 | 87 | 0 |
| cvc5 | 0 | 82 | 1284.734366 | 1293.34431 | 82 | 0 | 82 | 105 | 79 | 45 | 0 |
| SMTInterpol | 0 | 18 | 11.154694 | 9.112418 | 18 | 0 | 18 | 169 | 79 | 77 | 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 | 78 | 111.150378 | 118.952448 | 78 | 0 | 78 | 136 | 52 | 0 | 0 |
| iProver v3.9 | 0 | 77 | 376.602718 | 149.027619 | 77 | 0 | 77 | 0 | 189 | 0 | 0 |
| SMTInterpol | 0 | 18 | 11.154694 | 9.112418 | 18 | 0 | 18 | 116 | 132 | 0 | 0 |