QF_UFDTNIA (Single Query Track)
Competition results for the QF_UFDTNIA
logic
in the Single Query Track. Chart
Results were generated on 2025-08-11
Benchmarks: 80
Time Limit: 1200 seconds
Memory Limit: 30720 GB
Winners
| Sequential Performance |
Parallel Performance |
SAT Performance (parallel) |
UNSAT Performance (parallel) |
24 seconds Performance (parallel) |
|
cvc5
|
cvc5
|
cvc5
|
SMTInterpol
|
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
|
38
|
6529.60 |
6535.19 |
38 |
29 |
9 |
42 |
0 |
42 |
0 |
|
SMTInterpol
|
0
|
28
|
2492.70 |
2030.70 |
28 |
18 |
10 |
52 |
0 |
7 |
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
|
38
|
6529.60 |
6535.19 |
38 |
29 |
9 |
42 |
0 |
42 |
0 |
|
SMTInterpol
|
0
|
28
|
2492.70 |
2030.70 |
28 |
18 |
10 |
52 |
0 |
7 |
0 |
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
|
29
|
5632.65 |
5637.01 |
29 |
29 |
0 |
0 |
51 |
0 |
0 |
|
SMTInterpol
|
0
|
18
|
1076.28 |
798.38 |
18 |
18 |
0 |
11 |
51 |
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 |
|
SMTInterpol
|
0
|
10
|
1416.43 |
1232.32 |
10 |
0 |
10 |
4 |
66 |
0 |
0 |
|
cvc5
|
0
|
9
|
896.95 |
898.18 |
9 |
0 |
9 |
5 |
66 |
5 |
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
|
18
|
69.97 |
72.21 |
18 |
11 |
7 |
0 |
62 |
0 |
0 |
|
SMTInterpol
|
0
|
13
|
175.82 |
71.99 |
13 |
8 |
5 |
22 |
45 |
0 |
0 |