ABVFPLRA (Single Query Track)
Competition results for the ABVFPLRA
logic
in the Single Query Track. Chart
Results were generated on 2025-08-11
Benchmarks: 77
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
|
54
|
619.62 |
626.40 |
54 |
50 |
4 |
23 |
0 |
23 |
0 |
|
Bitwuzla
|
0
|
33
|
5.86 |
9.95 |
33 |
32 |
1 |
44 |
0 |
0 |
0 |
|
UltimateEliminator+MathSAT
|
0
|
3
|
18.35 |
11.15 |
3 |
3 |
0 |
74 |
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
|
54
|
619.62 |
626.40 |
54 |
50 |
4 |
23 |
0 |
23 |
0 |
|
Bitwuzla
|
0
|
33
|
5.86 |
9.95 |
33 |
32 |
1 |
44 |
0 |
0 |
0 |
|
UltimateEliminator+MathSAT
|
0
|
3
|
18.35 |
11.15 |
3 |
3 |
0 |
74 |
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
|
50
|
15.66 |
21.87 |
50 |
50 |
0 |
0 |
27 |
0 |
0 |
|
Bitwuzla
|
0
|
32
|
5.68 |
9.64 |
32 |
32 |
0 |
18 |
27 |
0 |
0 |
|
UltimateEliminator+MathSAT
|
0
|
3
|
18.35 |
11.15 |
3 |
3 |
0 |
47 |
27 |
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
|
4
|
603.95 |
604.53 |
4 |
0 |
4 |
0 |
73 |
0 |
0 |
|
Bitwuzla
|
0
|
1
|
0.19 |
0.31 |
1 |
0 |
1 |
3 |
73 |
0 |
0 |
|
UltimateEliminator+MathSAT
|
0
|
0
|
0.00 |
0.00 |
0 |
0 |
0 |
4 |
73 |
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
|
52
|
18.15 |
24.60 |
52 |
50 |
2 |
0 |
25 |
0 |
0 |
|
Bitwuzla
|
0
|
33
|
5.86 |
9.95 |
33 |
32 |
1 |
43 |
1 |
0 |
0 |
|
UltimateEliminator+MathSAT
|
0
|
3
|
18.35 |
11.15 |
3 |
3 |
0 |
74 |
0 |
0 |
0 |