QF_BVFPLRA (Single Query Track)
Competition results for the QF_BVFPLRA
logic
in the Single Query Track. Chart
Results were generated on 2025-08-11
Benchmarks: 75
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
|
74
|
1610.89 |
1620.38 |
74 |
42 |
32 |
1 |
0 |
1 |
0 |
|
cvc5
|
0
|
69
|
4933.56 |
4942.66 |
69 |
41 |
28 |
6 |
0 |
6 |
0 |
|
COLIBRI
|
0
|
63
|
92.89 |
100.73 |
63 |
32 |
31 |
12 |
0 |
1 |
0 |
|
colibri2
|
0
|
55
|
101.96 |
108.81 |
55 |
35 |
20 |
20 |
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 |
|
Bitwuzla
|
0
|
74
|
1610.89 |
1620.38 |
74 |
42 |
32 |
1 |
0 |
1 |
0 |
|
cvc5
|
0
|
69
|
4933.56 |
4942.66 |
69 |
41 |
28 |
6 |
0 |
6 |
0 |
|
COLIBRI
|
0
|
63
|
92.89 |
100.73 |
63 |
32 |
31 |
12 |
0 |
1 |
0 |
|
colibri2
|
0
|
55
|
101.96 |
108.81 |
55 |
35 |
20 |
20 |
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 |
|
Bitwuzla
|
0
|
42
|
140.37 |
145.61 |
42 |
42 |
0 |
0 |
33 |
0 |
0 |
|
cvc5
|
0
|
41
|
473.69 |
478.80 |
41 |
41 |
0 |
1 |
33 |
1 |
0 |
|
colibri2
|
0
|
35
|
67.96 |
72.33 |
35 |
35 |
0 |
7 |
33 |
0 |
0 |
|
COLIBRI
|
0
|
32
|
61.31 |
65.30 |
32 |
32 |
0 |
10 |
33 |
1 |
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
|
32
|
1470.52 |
1474.77 |
32 |
0 |
32 |
0 |
43 |
0 |
0 |
|
COLIBRI
|
0
|
30
|
29.01 |
32.73 |
30 |
0 |
30 |
2 |
43 |
0 |
0 |
|
cvc5
|
0
|
28
|
4459.87 |
4463.86 |
28 |
0 |
28 |
4 |
43 |
4 |
0 |
|
colibri2
|
0
|
20
|
34.00 |
36.48 |
20 |
0 |
20 |
12 |
43 |
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
|
68
|
131.04 |
139.45 |
68 |
40 |
28 |
0 |
7 |
0 |
0 |
|
COLIBRI
|
0
|
62
|
55.10 |
62.81 |
62 |
31 |
31 |
11 |
2 |
0 |
0 |
|
colibri2
|
0
|
55
|
101.96 |
108.81 |
55 |
35 |
20 |
19 |
1 |
0 |
0 |
|
cvc5
|
0
|
53
|
179.92 |
186.43 |
53 |
37 |
16 |
0 |
22 |
0 |
0 |