QF_FPLRA (Single Query Track)
Competition results for the QF_FPLRA
logic
in the Single Query Track. Chart
Results were generated on 2025-08-11
Benchmarks: 55
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
|
COLIBRI
|
COLIBRI
|
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
|
55
|
907.79 |
914.91 |
55 |
51 |
4 |
0 |
0 |
0 |
0 |
|
COLIBRI
|
0
|
54
|
65.18 |
71.86 |
54 |
50 |
4 |
1 |
0 |
1 |
0 |
|
colibri2
|
0
|
51
|
84.49 |
90.83 |
51 |
48 |
3 |
4 |
0 |
1 |
0 |
|
cvc5
|
0
|
47
|
960.78 |
966.70 |
47 |
45 |
2 |
8 |
0 |
8 |
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
|
55
|
907.79 |
914.91 |
55 |
51 |
4 |
0 |
0 |
0 |
0 |
|
COLIBRI
|
0
|
54
|
65.18 |
71.86 |
54 |
50 |
4 |
1 |
0 |
1 |
0 |
|
colibri2
|
0
|
51
|
84.49 |
90.83 |
51 |
48 |
3 |
4 |
0 |
1 |
0 |
|
cvc5
|
0
|
47
|
960.78 |
966.70 |
47 |
45 |
2 |
8 |
0 |
8 |
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
|
51
|
827.95 |
834.56 |
51 |
51 |
0 |
0 |
4 |
0 |
0 |
|
COLIBRI
|
0
|
50
|
51.16 |
57.34 |
50 |
50 |
0 |
1 |
4 |
1 |
0 |
|
colibri2
|
0
|
48
|
77.51 |
83.47 |
48 |
48 |
0 |
3 |
4 |
1 |
0 |
|
cvc5
|
0
|
45
|
914.78 |
920.45 |
45 |
45 |
0 |
6 |
4 |
6 |
0 |
UNSAT Performance Performance
| Solver |
Error Score |
Correct Score |
CPU Time Score |
Wall Time Score |
Solved |
Solved SAT |
Solved UNSAT |
Unsolved |
Abstained |
Timeout |
Memout |
|
COLIBRI
|
0
|
4
|
14.03 |
14.53 |
4 |
0 |
4 |
0 |
51 |
0 |
0 |
|
Bitwuzla
|
0
|
4
|
79.84 |
80.35 |
4 |
0 |
4 |
0 |
51 |
0 |
0 |
|
colibri2
|
0
|
3
|
6.98 |
7.36 |
3 |
0 |
3 |
1 |
51 |
0 |
0 |
|
cvc5
|
0
|
2
|
46.00 |
46.25 |
2 |
0 |
2 |
2 |
51 |
2 |
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 |
|
COLIBRI
|
0
|
54
|
65.18 |
71.86 |
54 |
50 |
4 |
0 |
1 |
0 |
0 |
|
colibri2
|
0
|
51
|
84.49 |
90.83 |
51 |
48 |
3 |
3 |
1 |
0 |
0 |
|
Bitwuzla
|
0
|
48
|
56.16 |
62.12 |
48 |
45 |
3 |
0 |
7 |
0 |
0 |
|
cvc5
|
0
|
42
|
14.64 |
19.84 |
42 |
41 |
1 |
0 |
13 |
0 |
0 |