BVFPLRA (Single Query Track)
Competition results for the BVFPLRA
logic
in the Single Query Track. Chart
Results were generated on 2025-08-11
Benchmarks: 266
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
|
257
|
101.82 |
133.76 |
257 |
232 |
25 |
9 |
0 |
9 |
0 |
|
cvc5
|
0
|
252
|
124.36 |
155.64 |
252 |
227 |
25 |
14 |
0 |
14 |
0 |
|
UltimateEliminator+MathSAT
|
0
|
16
|
93.59 |
57.62 |
16 |
13 |
3 |
250 |
0 |
0 |
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
|
257
|
101.82 |
133.76 |
257 |
232 |
25 |
9 |
0 |
9 |
0 |
|
cvc5
|
0
|
252
|
124.36 |
155.64 |
252 |
227 |
25 |
14 |
0 |
14 |
0 |
|
UltimateEliminator+MathSAT
|
0
|
16
|
93.59 |
57.62 |
16 |
13 |
3 |
250 |
0 |
0 |
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
|
232
|
79.36 |
108.19 |
232 |
232 |
0 |
1 |
33 |
1 |
0 |
|
cvc5
|
0
|
227
|
108.32 |
136.49 |
227 |
227 |
0 |
6 |
33 |
6 |
0 |
|
UltimateEliminator+MathSAT
|
0
|
13
|
77.81 |
48.63 |
13 |
13 |
0 |
220 |
33 |
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 |
|
cvc5
|
0
|
25
|
16.04 |
19.15 |
25 |
0 |
25 |
0 |
241 |
0 |
0 |
|
Bitwuzla
|
0
|
25
|
22.46 |
25.57 |
25 |
0 |
25 |
0 |
241 |
0 |
0 |
|
UltimateEliminator+MathSAT
|
0
|
3
|
15.78 |
9.00 |
3 |
0 |
3 |
22 |
241 |
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
|
257
|
101.82 |
133.76 |
257 |
232 |
25 |
0 |
9 |
0 |
0 |
|
cvc5
|
0
|
252
|
124.36 |
155.64 |
252 |
227 |
25 |
0 |
14 |
0 |
0 |
|
UltimateEliminator+MathSAT
|
0
|
16
|
93.59 |
57.62 |
16 |
13 |
3 |
250 |
0 |
0 |
0 |