QF_ABVFPLRA (Single Query Track)
Competition results for the QF_ABVFPLRA
logic
in the Single Query Track. Chart
Results were generated on 2025-08-11
Benchmarks: 25
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
|
25
|
70.31 |
73.41 |
25 |
20 |
5 |
0 |
0 |
0 |
0 |
|
cvc5
|
0
|
25
|
273.01 |
276.14 |
25 |
20 |
5 |
0 |
0 |
0 |
0 |
|
COLIBRI
|
0
|
24
|
55.26 |
58.20 |
24 |
20 |
4 |
1 |
0 |
1 |
0 |
|
colibri2
|
0
|
16
|
103.86 |
105.84 |
16 |
14 |
2 |
9 |
0 |
2 |
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
|
25
|
70.31 |
73.41 |
25 |
20 |
5 |
0 |
0 |
0 |
0 |
|
cvc5
|
0
|
25
|
273.01 |
276.14 |
25 |
20 |
5 |
0 |
0 |
0 |
0 |
|
COLIBRI
|
0
|
24
|
55.26 |
58.20 |
24 |
20 |
4 |
1 |
0 |
1 |
0 |
|
colibri2
|
0
|
16
|
103.86 |
105.84 |
16 |
14 |
2 |
9 |
0 |
2 |
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
|
20
|
10.55 |
13.02 |
20 |
20 |
0 |
0 |
5 |
0 |
0 |
|
COLIBRI
|
0
|
20
|
43.12 |
45.57 |
20 |
20 |
0 |
0 |
5 |
0 |
0 |
|
cvc5
|
0
|
20
|
67.35 |
69.83 |
20 |
20 |
0 |
0 |
5 |
0 |
0 |
|
colibri2
|
0
|
14
|
100.31 |
102.05 |
14 |
14 |
0 |
6 |
5 |
2 |
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
|
5
|
59.76 |
60.38 |
5 |
0 |
5 |
0 |
20 |
0 |
0 |
|
cvc5
|
0
|
5
|
205.66 |
206.31 |
5 |
0 |
5 |
0 |
20 |
0 |
0 |
|
COLIBRI
|
0
|
4
|
12.14 |
12.64 |
4 |
0 |
4 |
1 |
20 |
1 |
0 |
|
colibri2
|
0
|
2
|
3.55 |
3.79 |
2 |
0 |
2 |
3 |
20 |
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
|
24
|
17.13 |
20.10 |
24 |
20 |
4 |
0 |
1 |
0 |
0 |
|
COLIBRI
|
0
|
24
|
55.26 |
58.20 |
24 |
20 |
4 |
0 |
1 |
0 |
0 |
|
cvc5
|
0
|
23
|
57.80 |
60.64 |
23 |
19 |
4 |
0 |
2 |
0 |
0 |
|
colibri2
|
0
|
14
|
21.60 |
23.33 |
14 |
12 |
2 |
6 |
5 |
0 |
0 |