QF_UFDT (Single Query Track)
Competition results for the QF_UFDT
logic
in the Single Query Track. Chart
Results were generated on 2025-08-11
Benchmarks: 200
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
|
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
|
165
|
50355.66 |
50382.45 |
165 |
83 |
82 |
35 |
0 |
35 |
0 |
|
SMTInterpol
|
0
|
41
|
15826.92 |
11367.17 |
41 |
26 |
15 |
159 |
0 |
143 |
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
|
165
|
50355.66 |
50382.45 |
165 |
83 |
82 |
35 |
0 |
35 |
0 |
|
SMTInterpol
|
0
|
41
|
15826.92 |
11367.17 |
41 |
26 |
15 |
159 |
0 |
143 |
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
|
83
|
8905.65 |
8917.09 |
83 |
83 |
0 |
17 |
100 |
17 |
0 |
|
SMTInterpol
|
0
|
26
|
7016.82 |
6637.16 |
26 |
26 |
0 |
74 |
100 |
74 |
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
|
82
|
41450.01 |
41465.36 |
82 |
0 |
82 |
18 |
100 |
18 |
0 |
|
SMTInterpol
|
0
|
15
|
8810.10 |
4730.01 |
15 |
0 |
15 |
85 |
100 |
69 |
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
|
19
|
225.19 |
227.55 |
19 |
19 |
0 |
0 |
181 |
0 |
0 |
|
SMTInterpol
|
0
|
6
|
101.83 |
52.07 |
6 |
6 |
0 |
0 |
194 |
0 |
0 |