QF_UFNRA (Single Query Track)
Competition results for the QF_UFNRA
logic
in the Single Query Track. Chart
Results were generated on 2025-08-11
Benchmarks: 48
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
|
Yices2
|
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
|
47
|
221.49 |
227.30 |
47 |
31 |
16 |
1 |
0 |
1 |
0 |
|
cvc5
|
0
|
37
|
3704.48 |
3709.43 |
37 |
29 |
8 |
11 |
0 |
11 |
0 |
|
SMTInterpol
|
0
|
3
|
22.82 |
8.32 |
3 |
1 |
2 |
45 |
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
|
47
|
221.49 |
227.30 |
47 |
31 |
16 |
1 |
0 |
1 |
0 |
|
cvc5
|
0
|
37
|
3704.48 |
3709.43 |
37 |
29 |
8 |
11 |
0 |
11 |
0 |
|
SMTInterpol
|
0
|
3
|
22.82 |
8.32 |
3 |
1 |
2 |
45 |
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 |
|
Yices2
|
0
|
31
|
217.99 |
221.83 |
31 |
31 |
0 |
0 |
17 |
0 |
0 |
|
cvc5
|
0
|
29
|
3686.55 |
3690.54 |
29 |
29 |
0 |
2 |
17 |
2 |
0 |
|
SMTInterpol
|
0
|
1
|
0.44 |
0.45 |
1 |
1 |
0 |
30 |
17 |
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
|
16
|
3.50 |
5.47 |
16 |
0 |
16 |
0 |
32 |
0 |
0 |
|
cvc5
|
0
|
8
|
17.94 |
18.89 |
8 |
0 |
8 |
8 |
32 |
8 |
0 |
|
SMTInterpol
|
0
|
2
|
22.38 |
7.87 |
2 |
0 |
2 |
14 |
32 |
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
|
45
|
27.27 |
32.81 |
45 |
29 |
16 |
0 |
3 |
0 |
0 |
|
cvc5
|
0
|
19
|
71.92 |
74.22 |
19 |
11 |
8 |
0 |
29 |
0 |
0 |
|
SMTInterpol
|
0
|
3
|
22.82 |
8.32 |
3 |
1 |
2 |
43 |
2 |
0 |
0 |