FP (Single Query Track)
Competition results for the FP
logic
in the Single Query Track.
Results were generated on 2024-07-08
Benchmarks: 1334
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 | Bitwuzla | cvc5 |
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 | 1256 | 31446.673167 | 31580.169769 | 1256 | 121 | 1135 | 78 | 0 | 78 | 0 |
| cvc5 | 0 | 1221 | 33411.365339 | 33540.733646 | 1221 | 96 | 1125 | 113 | 0 | 110 | 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 | 1256 | 31446.673167 | 31580.169769 | 1256 | 121 | 1135 | 78 | 0 | 78 | 0 |
| cvc5 | 0 | 1221 | 33411.365339 | 33540.733646 | 1221 | 96 | 1125 | 113 | 0 | 110 | 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 | 121 | 14623.975416 | 14639.58391 | 121 | 121 | 0 | 0 | 1213 | 0 | 0 |
| cvc5 | 0 | 96 | 23893.644132 | 23908.384377 | 96 | 96 | 0 | 25 | 1213 | 25 | 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 | 1135 | 16822.697751 | 16940.585859 | 1135 | 0 | 1135 | 23 | 176 | 23 | 0 |
| cvc5 | 0 | 1125 | 9517.721207 | 9632.349269 | 1125 | 0 | 1125 | 33 | 176 | 30 | 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 |
|---|
| cvc5 | 0 | 1129 | 1814.312752 | 1927.323288 | 1129 | 45 | 1084 | 0 | 205 | 0 | 0 |
| Bitwuzla | 0 | 1122 | 1436.519743 | 1548.980928 | 1122 | 42 | 1080 | 0 | 212 | 0 | 0 |