QF_ABVFP (Single Query Track)
Competition results for the QF_ABVFP
logic
in the Single Query Track. Chart
Results were generated on 2025-08-11
Benchmarks: 627
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
|
624
|
950.15 |
1027.11 |
624 |
111 |
513 |
3 |
0 |
3 |
0 |
|
cvc5
|
0
|
617
|
18592.85 |
18671.11 |
617 |
110 |
507 |
10 |
0 |
10 |
0 |
|
colibri2
|
0
|
344
|
5485.41 |
5528.42 |
344 |
20 |
324 |
283 |
0 |
114 |
0 |
|
COLIBRI
|
1
|
506
|
1112.26 |
1174.92 |
507 |
96 |
411 |
120 |
0 |
37 |
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
|
624
|
950.15 |
1027.11 |
624 |
111 |
513 |
3 |
0 |
3 |
0 |
|
cvc5
|
0
|
617
|
18592.85 |
18671.11 |
617 |
110 |
507 |
10 |
0 |
10 |
0 |
|
colibri2
|
0
|
344
|
5485.41 |
5528.42 |
344 |
20 |
324 |
283 |
0 |
114 |
0 |
|
COLIBRI
|
1
|
506
|
1112.26 |
1174.92 |
507 |
96 |
411 |
120 |
0 |
37 |
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
|
111
|
51.50 |
65.23 |
111 |
111 |
0 |
1 |
515 |
1 |
0 |
|
cvc5
|
0
|
110
|
1907.66 |
1921.41 |
110 |
110 |
0 |
2 |
515 |
2 |
0 |
|
colibri2
|
0
|
20
|
221.09 |
223.57 |
20 |
20 |
0 |
92 |
515 |
5 |
0 |
|
COLIBRI
|
1
|
96
|
194.19 |
206.19 |
97 |
96 |
1 |
15 |
515 |
4 |
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
|
513
|
898.65 |
961.88 |
513 |
0 |
513 |
0 |
114 |
0 |
0 |
|
cvc5
|
0
|
507
|
16685.19 |
16749.69 |
507 |
0 |
507 |
6 |
114 |
6 |
0 |
|
COLIBRI
|
0
|
409
|
900.18 |
950.71 |
409 |
0 |
409 |
104 |
114 |
32 |
0 |
|
colibri2
|
0
|
324
|
5264.32 |
5304.86 |
324 |
0 |
324 |
189 |
114 |
107 |
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
|
618
|
471.43 |
547.55 |
618 |
111 |
507 |
0 |
9 |
0 |
0 |
|
cvc5
|
0
|
503
|
1784.25 |
1846.03 |
503 |
89 |
414 |
0 |
124 |
0 |
0 |
|
colibri2
|
0
|
323
|
399.93 |
439.63 |
323 |
18 |
305 |
143 |
161 |
0 |
0 |
|
COLIBRI
|
1
|
503
|
990.37 |
1052.62 |
504 |
96 |
408 |
83 |
40 |
0 |
0 |