BVFP (Single Query Track)
Competition results for the BVFP
logic
in the Single Query Track. Chart
Results were generated on 2025-08-11
Benchmarks: 208
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
|
Bitwuzla
|
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
|
194
|
864.48 |
888.71 |
194 |
180 |
14 |
14 |
0 |
14 |
0 |
|
cvc5
|
0
|
176
|
1502.84 |
1524.64 |
176 |
169 |
7 |
32 |
0 |
31 |
1 |
|
UltimateEliminator+MathSAT
|
0
|
25
|
295.52 |
221.40 |
25 |
23 |
2 |
183 |
0 |
1 |
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
|
194
|
864.48 |
888.71 |
194 |
180 |
14 |
14 |
0 |
14 |
0 |
|
cvc5
|
0
|
176
|
1502.84 |
1524.64 |
176 |
169 |
7 |
32 |
0 |
31 |
1 |
|
UltimateEliminator+MathSAT
|
0
|
25
|
295.52 |
221.40 |
25 |
23 |
2 |
183 |
0 |
1 |
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
|
180
|
700.78 |
723.28 |
180 |
180 |
0 |
0 |
28 |
0 |
0 |
|
cvc5
|
0
|
169
|
1378.20 |
1399.11 |
169 |
169 |
0 |
11 |
28 |
11 |
0 |
|
UltimateEliminator+MathSAT
|
0
|
23
|
247.10 |
193.50 |
23 |
23 |
0 |
157 |
28 |
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 |
|
Bitwuzla
|
0
|
14
|
163.69 |
165.43 |
14 |
0 |
14 |
0 |
194 |
0 |
0 |
|
cvc5
|
0
|
7
|
124.64 |
125.53 |
7 |
0 |
7 |
7 |
194 |
7 |
0 |
|
UltimateEliminator+MathSAT
|
0
|
2
|
48.41 |
27.91 |
2 |
0 |
2 |
12 |
194 |
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 |
|
Bitwuzla
|
0
|
191
|
60.33 |
84.01 |
191 |
179 |
12 |
0 |
17 |
0 |
0 |
|
cvc5
|
0
|
172
|
100.08 |
121.20 |
172 |
167 |
5 |
0 |
36 |
0 |
0 |
|
UltimateEliminator+MathSAT
|
0
|
22
|
203.15 |
136.37 |
22 |
20 |
2 |
180 |
6 |
0 |
0 |