QF_FPArith (Model Validation Track)
Competition results for the QF_FPArith
division
in the Model Validation Track.
Results were generated on 2024-07-08
Benchmarks: 24360
Time Limit: 1200 seconds
Memory Limit: 20480 GB
Logics:Winners
| Sequential Performance | Parallel Performance | SAT Performance (parallel) | UNSAT Performance (parallel) | 24 seconds Performance (parallel) |
|---|
| cvc5 | cvc5 | cvc5 | - | cvc5 |
Sequential Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| cvc5 | 0 | 24346 | 10371.934967 | 12799.533854 | 24346 | 24346 | 0 | 14 | 0 | 10 | 0 |
| Bitwuzla | 1 | 24326 | 6061.074551 | 8498.10005 | 24326 | 24326 | 0 | 10 | 24 | 6 | 0 |
Parallel Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| cvc5 | 0 | 24346 | 10371.934967 | 12799.533854 | 24346 | 24346 | 0 | 14 | 0 | 10 | 0 |
| Bitwuzla | 1 | 24326 | 6061.074551 | 8498.10005 | 24326 | 24326 | 0 | 10 | 24 | 6 | 0 |
SAT Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| cvc5 | 0 | 24346 | 10371.934967 | 12799.533854 | 24346 | 24346 | 0 | 14 | 0 | 10 | 0 |
| Bitwuzla | 1 | 24326 | 6061.074551 | 8498.10005 | 24326 | 24326 | 0 | 10 | 24 | 6 | 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 | 24289 | 4629.120304 | 7049.538328 | 24289 | 24289 | 0 | 4 | 67 | 0 | 0 |
| Bitwuzla | 1 | 24306 | 3573.081961 | 6007.578195 | 24306 | 24306 | 0 | 4 | 50 | 0 | 0 |