UFNIA (Single Query Track)
Competition results for the UFNIA
logic
in the Single Query Track.
Results were generated on 2024-07-08
Benchmarks: 6279
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 | 3688 | 215367.668668 | 215781.763987 | 3688 | 760 | 2928 | 2591 | 0 | 2590 | 0 |
| iProver v3.9 | 0 | 1631 | 198240.340599 | 52199.831753 | 1906 | 0 | 1906 | 4373 | 0 | 4373 | 0 |
| SMTInterpol | 0 | 1010 | 9879.694392 | 6978.486076 | 1010 | 80 | 930 | 5269 | 0 | 2693 | 65 |
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 | 3688 | 215367.668668 | 215781.763987 | 3688 | 760 | 2928 | 2591 | 0 | 2590 | 0 |
| iProver v3.9 | 0 | 1906 | 980403.777054 | 249779.584482 | 1906 | 0 | 1906 | 4373 | 0 | 4373 | 0 |
| SMTInterpol | 0 | 1010 | 9879.694392 | 6978.486076 | 1010 | 80 | 930 | 5269 | 0 | 2693 | 65 |
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 | 760 | 29535.234185 | 29617.304999 | 760 | 760 | 0 | 4 | 5515 | 3 | 0 |
| SMTInterpol | 0 | 80 | 259.675272 | 209.896321 | 80 | 80 | 0 | 684 | 5515 | 7 | 0 |
| iProver v3.9 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 764 | 5515 | 764 | 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 | 2928 | 185832.434483 | 186164.458988 | 2928 | 0 | 2928 | 99 | 3252 | 99 | 0 |
| iProver v3.9 | 0 | 1878 | 929951.095742 | 237031.230753 | 1878 | 0 | 1878 | 1149 | 3252 | 1149 | 0 |
| SMTInterpol | 0 | 930 | 9620.01912 | 6768.589755 | 930 | 0 | 930 | 2097 | 3252 | 1232 | 44 |
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 | 2992 | 2808.196494 | 3107.408182 | 2992 | 693 | 2299 | 0 | 3287 | 0 | 0 |
| iProver v3.9 | 0 | 1179 | 20098.898886 | 6148.364361 | 1179 | 0 | 1179 | 0 | 5100 | 0 | 0 |
| SMTInterpol | 0 | 984 | 3168.399274 | 1340.493397 | 984 | 79 | 905 | 2222 | 3073 | 0 | 0 |