QF_AUFNIA (Single Query Track)
Competition results for the QF_AUFNIA
logic
in the Single Query Track. Chart
Results were generated on 2025-08-11
Benchmarks: 9
Time Limit: 1200 seconds
Memory Limit: 30720 GB
Winners
| Sequential Performance |
Parallel Performance |
SAT Performance (parallel) |
UNSAT Performance (parallel) |
24 seconds Performance (parallel) |
|
Yices2
|
Yices2
|
SMTInterpol
|
Yices2
|
Yices2
|
Sequential Performance Performance
| Solver |
Error Score |
Correct Score |
CPU Time Score |
Wall Time Score |
Solved |
Solved SAT |
Solved UNSAT |
Unsolved |
Abstained |
Timeout |
Memout |
|
Yices2
|
0
|
9
|
6.08 |
7.20 |
9 |
2 |
7 |
0 |
0 |
0 |
0 |
|
SMTInterpol
|
0
|
9
|
38.37 |
14.09 |
9 |
2 |
7 |
0 |
0 |
0 |
0 |
|
cvc5
|
0
|
9
|
34.65 |
35.77 |
9 |
2 |
7 |
0 |
0 |
0 |
0 |
Parallel Performance Performance
| Solver |
Error Score |
Correct Score |
CPU Time Score |
Wall Time Score |
Solved |
Solved SAT |
Solved UNSAT |
Unsolved |
Abstained |
Timeout |
Memout |
|
Yices2
|
0
|
9
|
6.08 |
7.20 |
9 |
2 |
7 |
0 |
0 |
0 |
0 |
|
SMTInterpol
|
0
|
9
|
38.37 |
14.09 |
9 |
2 |
7 |
0 |
0 |
0 |
0 |
|
cvc5
|
0
|
9
|
34.65 |
35.77 |
9 |
2 |
7 |
0 |
0 |
0 |
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
|
2
|
6.15 |
2.36 |
2 |
2 |
0 |
0 |
7 |
0 |
0 |
|
Yices2
|
0
|
2
|
3.05 |
3.31 |
2 |
2 |
0 |
0 |
7 |
0 |
0 |
|
cvc5
|
0
|
2
|
3.66 |
3.91 |
2 |
2 |
0 |
0 |
7 |
0 |
0 |
UNSAT Performance Performance
| Solver |
Error Score |
Correct Score |
CPU Time Score |
Wall Time Score |
Solved |
Solved SAT |
Solved UNSAT |
Unsolved |
Abstained |
Timeout |
Memout |
|
Yices2
|
0
|
7
|
3.03 |
3.90 |
7 |
0 |
7 |
0 |
2 |
0 |
0 |
|
SMTInterpol
|
0
|
7
|
32.22 |
11.72 |
7 |
0 |
7 |
0 |
2 |
0 |
0 |
|
cvc5
|
0
|
7
|
30.99 |
31.87 |
7 |
0 |
7 |
0 |
2 |
0 |
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 |
|
Yices2
|
0
|
9
|
6.08 |
7.20 |
9 |
2 |
7 |
0 |
0 |
0 |
0 |
|
SMTInterpol
|
0
|
9
|
38.37 |
14.09 |
9 |
2 |
7 |
0 |
0 |
0 |
0 |
|
cvc5
|
0
|
9
|
34.65 |
35.77 |
9 |
2 |
7 |
0 |
0 |
0 |
0 |