QF_AUFNIA (Single Query Track)
Competition results for the QF_AUFNIA
logic
in the Single Query Track.
Results were generated on 2024-07-08
Benchmarks: 9
Time Limit: 1200 seconds
Memory Limit: 20480 GB
Winners
| winner_seq | winner_par | winner_sat | winner_unsat | winner_24s |
|---|
| Yices2 | Yices2 | SMTInterpol | Yices2 | Yices2 |
Sequential Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| Yices2 | 0 | 9 | 7.232127 | 8.134799 | 9 | 2 | 7 | 0 | 0 | 0 | 0 |
| SMTInterpol | 0 | 9 | 46.799343 | 16.587975 | 9 | 2 | 7 | 0 | 0 | 0 | 0 |
| cvc5 | 0 | 9 | 32.94352 | 33.848143 | 9 | 2 | 7 | 0 | 0 | 0 | 0 |
Parallel Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| Yices2 | 0 | 9 | 7.232127 | 8.134799 | 9 | 2 | 7 | 0 | 0 | 0 | 0 |
| SMTInterpol | 0 | 9 | 46.799343 | 16.587975 | 9 | 2 | 7 | 0 | 0 | 0 | 0 |
| cvc5 | 0 | 9 | 32.94352 | 33.848143 | 9 | 2 | 7 | 0 | 0 | 0 | 0 |
SAT Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| SMTInterpol | 0 | 2 | 7.4725 | 2.729709 | 2 | 2 | 0 | 0 | 7 | 0 | 0 |
| cvc5 | 0 | 2 | 3.131404 | 3.331365 | 2 | 2 | 0 | 0 | 7 | 0 | 0 |
| Yices2 | 0 | 2 | 3.202182 | 3.403776 | 2 | 2 | 0 | 0 | 7 | 0 | 0 |
UNSAT Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| Yices2 | 0 | 7 | 4.029945 | 4.731023 | 7 | 0 | 7 | 0 | 2 | 0 | 0 |
| SMTInterpol | 0 | 7 | 39.326843 | 13.858266 | 7 | 0 | 7 | 0 | 2 | 0 | 0 |
| cvc5 | 0 | 7 | 29.812117 | 30.516778 | 7 | 0 | 7 | 0 | 2 | 0 | 0 |
24 seconds Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| Yices2 | 0 | 9 | 7.232127 | 8.134799 | 9 | 2 | 7 | 0 | 0 | 0 | 0 |
| SMTInterpol | 0 | 9 | 46.799343 | 16.587975 | 9 | 2 | 7 | 0 | 0 | 0 | 0 |
| cvc5 | 0 | 9 | 32.94352 | 33.848143 | 9 | 2 | 7 | 0 | 0 | 0 | 0 |