AUFBVFP (Single Query Track)
Competition results for the AUFBVFP
logic
in the Single Query Track. Chart
Results were generated on 2025-08-11
Benchmarks: 57
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
|
39
|
1504.82 |
1509.92 |
39 |
9 |
30 |
18 |
0 |
18 |
0 |
|
cvc5
|
0
|
21
|
2380.07 |
2383.11 |
21 |
1 |
20 |
36 |
0 |
31 |
0 |
|
UltimateEliminator+MathSAT
|
0
|
0
|
0.00 |
0.00 |
0 |
0 |
0 |
57 |
0 |
0 |
28 |
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
|
39
|
1504.82 |
1509.92 |
39 |
9 |
30 |
18 |
0 |
18 |
0 |
|
cvc5
|
0
|
21
|
2380.07 |
2383.11 |
21 |
1 |
20 |
36 |
0 |
31 |
0 |
|
UltimateEliminator+MathSAT
|
0
|
0
|
0.00 |
0.00 |
0 |
0 |
0 |
57 |
0 |
0 |
28 |
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
|
9
|
92.34 |
93.50 |
9 |
9 |
0 |
0 |
48 |
0 |
0 |
|
cvc5
|
0
|
1
|
554.08 |
554.30 |
1 |
1 |
0 |
8 |
48 |
4 |
0 |
|
UltimateEliminator+MathSAT
|
0
|
0
|
0.00 |
0.00 |
0 |
0 |
0 |
9 |
48 |
0 |
6 |
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
|
30
|
1412.48 |
1416.42 |
30 |
0 |
30 |
1 |
26 |
1 |
0 |
|
cvc5
|
0
|
20
|
1825.99 |
1828.81 |
20 |
0 |
20 |
11 |
26 |
10 |
0 |
|
UltimateEliminator+MathSAT
|
0
|
0
|
0.00 |
0.00 |
0 |
0 |
0 |
31 |
26 |
0 |
11 |
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
|
32
|
115.71 |
119.66 |
32 |
7 |
25 |
0 |
25 |
0 |
0 |
|
cvc5
|
0
|
16
|
110.65 |
112.65 |
16 |
0 |
16 |
0 |
41 |
0 |
0 |
|
UltimateEliminator+MathSAT
|
0
|
0
|
0.00 |
0.00 |
0 |
0 |
0 |
24 |
33 |
0 |
0 |