UFBV (Single Query Track)
Competition results for the UFBV
logic
in the Single Query Track. Chart
Results were generated on 2025-08-11
Benchmarks: 144
Time Limit: 1200 seconds
Memory Limit: 30720 GB
Winners
| Sequential Performance |
Parallel Performance |
SAT Performance (parallel) |
UNSAT Performance (parallel) |
24 seconds Performance (parallel) |
|
Bitwuzla
|
Bitwuzla
|
Bitwuzla
|
cvc5
|
Bitwuzla
|
Sequential Performance Performance
| Solver |
Error Score |
Correct Score |
CPU Time Score |
Wall Time Score |
Solved |
Solved SAT |
Solved UNSAT |
Unsolved |
Abstained |
Timeout |
Memout |
|
Bitwuzla
|
0
|
96
|
481.39 |
493.43 |
96 |
19 |
77 |
48 |
0 |
48 |
0 |
|
cvc5
|
0
|
96
|
6826.59 |
6839.34 |
96 |
17 |
79 |
48 |
0 |
18 |
0 |
|
UltimateEliminator+MathSAT
|
0
|
6
|
42.41 |
16.70 |
6 |
0 |
6 |
138 |
0 |
3 |
24 |
|
SMTInterpol
|
0
|
0
|
0.00 |
0.00 |
0 |
0 |
0 |
144 |
0 |
85 |
0 |
Parallel Performance Performance
| Solver |
Error Score |
Correct Score |
CPU Time Score |
Wall Time Score |
Solved |
Solved SAT |
Solved UNSAT |
Unsolved |
Abstained |
Timeout |
Memout |
|
Bitwuzla
|
0
|
96
|
481.39 |
493.43 |
96 |
19 |
77 |
48 |
0 |
48 |
0 |
|
cvc5
|
0
|
96
|
6826.59 |
6839.34 |
96 |
17 |
79 |
48 |
0 |
18 |
0 |
|
UltimateEliminator+MathSAT
|
0
|
6
|
42.41 |
16.70 |
6 |
0 |
6 |
138 |
0 |
3 |
24 |
|
SMTInterpol
|
0
|
0
|
0.00 |
0.00 |
0 |
0 |
0 |
144 |
0 |
85 |
0 |
SAT Performance Performance
| Solver |
Error Score |
Correct Score |
CPU Time Score |
Wall Time Score |
Solved |
Solved SAT |
Solved UNSAT |
Unsolved |
Abstained |
Timeout |
Memout |
|
Bitwuzla
|
0
|
19
|
155.05 |
157.43 |
19 |
19 |
0 |
18 |
107 |
18 |
0 |
|
cvc5
|
0
|
17
|
2577.68 |
2580.15 |
17 |
17 |
0 |
20 |
107 |
1 |
0 |
|
SMTInterpol
|
0
|
0
|
0.00 |
0.00 |
0 |
0 |
0 |
37 |
107 |
25 |
0 |
|
UltimateEliminator+MathSAT
|
0
|
0
|
0.00 |
0.00 |
0 |
0 |
0 |
37 |
107 |
1 |
17 |
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
|
79
|
4248.91 |
4259.19 |
79 |
0 |
79 |
7 |
58 |
3 |
0 |
|
Bitwuzla
|
0
|
77
|
326.34 |
336.00 |
77 |
0 |
77 |
9 |
58 |
9 |
0 |
|
UltimateEliminator+MathSAT
|
0
|
6
|
42.41 |
16.70 |
6 |
0 |
6 |
80 |
58 |
2 |
3 |
|
SMTInterpol
|
0
|
0
|
0.00 |
0.00 |
0 |
0 |
0 |
86 |
58 |
47 |
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 |
|
Bitwuzla
|
0
|
92
|
200.90 |
212.36 |
92 |
18 |
74 |
0 |
52 |
0 |
0 |
|
cvc5
|
0
|
60
|
134.12 |
141.52 |
60 |
1 |
59 |
0 |
84 |
0 |
0 |
|
UltimateEliminator+MathSAT
|
0
|
6
|
42.41 |
16.70 |
6 |
0 |
6 |
108 |
30 |
0 |
0 |
|
SMTInterpol
|
0
|
0
|
0.00 |
0.00 |
0 |
0 |
0 |
31 |
113 |
0 |
0 |