QF_UFBVDT (Single Query Track)
Competition results for the QF_UFBVDT
logic
in the Single Query Track. Chart
Results were generated on 2025-08-11
Benchmarks: 76
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
|
46
|
6032.36 |
6039.12 |
46 |
40 |
6 |
30 |
0 |
23 |
7 |
|
SMTInterpol
|
0
|
13
|
2898.53 |
2651.44 |
13 |
10 |
3 |
63 |
0 |
49 |
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
|
46
|
6032.36 |
6039.12 |
46 |
40 |
6 |
30 |
0 |
23 |
7 |
|
SMTInterpol
|
0
|
13
|
2898.53 |
2651.44 |
13 |
10 |
3 |
63 |
0 |
49 |
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
|
40
|
5871.10 |
5877.07 |
40 |
40 |
0 |
0 |
36 |
0 |
0 |
|
SMTInterpol
|
0
|
10
|
1800.59 |
1610.86 |
10 |
10 |
0 |
30 |
36 |
23 |
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
|
6
|
161.26 |
162.05 |
6 |
0 |
6 |
0 |
70 |
0 |
0 |
|
SMTInterpol
|
0
|
3
|
1097.93 |
1040.58 |
3 |
0 |
3 |
3 |
70 |
3 |
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
|
24
|
178.89 |
181.86 |
24 |
19 |
5 |
0 |
52 |
0 |
0 |
|
SMTInterpol
|
0
|
5
|
44.77 |
15.62 |
5 |
3 |
2 |
8 |
63 |
0 |
0 |