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 |