QF_FPLRA (Single Query Track)
Competition results for the QF_FPLRA
logic
in the Single Query Track.
Results were generated on 2024-07-08
Benchmarks: 55
Time Limit: 1200 seconds
Memory Limit: 20480 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 | 2300.238447 | 2306.39963 | 55 | 51 | 4 | 0 | 0 | 0 | 0 |
| COLIBRI | 0 | 53 | 58.83905 | 64.201489 | 53 | 49 | 4 | 2 | 0 | 2 | 0 |
| cvc5 | 0 | 46 | 832.286686 | 837.085601 | 46 | 44 | 2 | 9 | 0 | 9 | 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 | 2300.238447 | 2306.39963 | 55 | 51 | 4 | 0 | 0 | 0 | 0 |
| COLIBRI | 0 | 53 | 58.83905 | 64.201489 | 53 | 49 | 4 | 2 | 0 | 2 | 0 |
| cvc5 | 0 | 46 | 832.286686 | 837.085601 | 46 | 44 | 2 | 9 | 0 | 9 | 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 | 2150.82076 | 2156.514683 | 51 | 51 | 0 | 0 | 4 | 0 | 0 |
| COLIBRI | 0 | 49 | 48.821189 | 53.742862 | 49 | 49 | 0 | 2 | 4 | 2 | 0 |
| cvc5 | 0 | 44 | 770.932894 | 775.526492 | 44 | 44 | 0 | 7 | 4 | 7 | 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 | 10.017861 | 10.458627 | 4 | 0 | 4 | 0 | 51 | 0 | 0 |
| Bitwuzla | 0 | 4 | 149.417686 | 149.884946 | 4 | 0 | 4 | 0 | 51 | 0 | 0 |
| cvc5 | 0 | 2 | 61.353792 | 61.559109 | 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 | 53 | 58.83905 | 64.201489 | 53 | 49 | 4 | 0 | 2 | 0 | 0 |
| Bitwuzla | 0 | 46 | 40.018787 | 44.623111 | 46 | 44 | 2 | 0 | 9 | 0 | 0 |
| cvc5 | 0 | 42 | 18.245449 | 22.43116 | 42 | 41 | 1 | 0 | 13 | 0 | 0 |