ABVFP (Single Query Track)
Competition results for the ABVFP
logic
in the Single Query Track. Chart
Results were generated on 2025-08-11
Benchmarks: 60
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
|
37
|
615.13 |
619.77 |
37 |
35 |
2 |
23 |
0 |
23 |
0 |
|
Bitwuzla
|
0
|
24
|
13.47 |
16.40 |
24 |
24 |
0 |
36 |
0 |
3 |
0 |
|
UltimateEliminator+MathSAT
|
0
|
15
|
147.18 |
102.37 |
15 |
15 |
0 |
45 |
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 |
|
cvc5
|
0
|
37
|
615.13 |
619.77 |
37 |
35 |
2 |
23 |
0 |
23 |
0 |
|
Bitwuzla
|
0
|
24
|
13.47 |
16.40 |
24 |
24 |
0 |
36 |
0 |
3 |
0 |
|
UltimateEliminator+MathSAT
|
0
|
15
|
147.18 |
102.37 |
15 |
15 |
0 |
45 |
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 |
|
cvc5
|
0
|
35
|
13.60 |
17.91 |
35 |
35 |
0 |
1 |
24 |
1 |
0 |
|
Bitwuzla
|
0
|
24
|
13.47 |
16.40 |
24 |
24 |
0 |
12 |
24 |
0 |
0 |
|
UltimateEliminator+MathSAT
|
0
|
15
|
147.18 |
102.37 |
15 |
15 |
0 |
21 |
24 |
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
|
2
|
601.53 |
601.85 |
2 |
0 |
2 |
0 |
58 |
0 |
0 |
|
Bitwuzla
|
0
|
0
|
0.00 |
0.00 |
0 |
0 |
0 |
2 |
58 |
0 |
0 |
|
UltimateEliminator+MathSAT
|
0
|
0
|
0.00 |
0.00 |
0 |
0 |
0 |
2 |
58 |
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 |
|
cvc5
|
0
|
35
|
13.60 |
17.91 |
35 |
35 |
0 |
0 |
25 |
0 |
0 |
|
Bitwuzla
|
0
|
24
|
13.47 |
16.40 |
24 |
24 |
0 |
33 |
3 |
0 |
0 |
|
UltimateEliminator+MathSAT
|
0
|
14
|
119.50 |
77.20 |
14 |
14 |
0 |
45 |
1 |
0 |
0 |